module Register: sig
.. end
Register external functions into Db.
val compute : Db_types.kernel_function -> PdgTypes.Pdg.t
val pretty : ?bw:bool -> Format.formatter -> PdgTypes.InternalPdg.t -> unit
val pretty_node : bool -> Format.formatter -> Print.N.t -> unit
val pretty_key : Format.formatter -> Print.K.t -> unit
val print_dot : Print.Printer.t -> string -> unit
module Tbl: Kernel_function.Make_Table
(
PdgTypes.Pdg.Datatype
)
(
sig
end
)
val translate_marks_to_prop : PdgTypes.Pdg.t ->
'a PdgMarks.t_info_inter ->
?in_m2m:'a PdgMarks.t_call_m2m ->
?out_m2m:'a PdgMarks.t_call_m2m ->
'a PdgMarks.t_pdg_select -> 'a PdgMarks.t_pdg_select
val call_out_marks_to_called : PdgTypes.Pdg.t ->
'a PdgMarks.t_m2m ->
?rqs:'a PdgMarks.t_select ->
(PdgIndex.Signature.t_out_key * 'a) list -> 'a PdgMarks.t_select
val in_marks_to_caller : PdgTypes.Pdg.t ->
Cil_types.stmt ->
'a PdgMarks.t_m2m ->
?rqs:'a PdgMarks.t_select ->
'a PdgMarks.t_info_caller_inputs -> 'a PdgMarks.t_select
val translate_in_marks : PdgTypes.Pdg.t ->
'a PdgMarks.t_info_caller_inputs ->
?m2m:'a PdgMarks.t_call_m2m ->
'a PdgMarks.t_pdg_select -> 'a PdgMarks.t_pdg_select
module F_Proj:
val main : unit -> unit