Module Register


module Register: sig .. end
Register external functions into Db.

val compute : Cil_types.kernel_function -> PdgTypes.Pdg.t
val pretty : ?bw:bool -> Format.formatter -> PdgTypes.Pdg.t -> unit
val pretty_node : bool -> Format.formatter -> PdgTypes.Node.t -> unit
val print_dot : PdgTypes.Pdg.t -> string -> unit
module Tbl: Kernel_function.Make_Table(PdgTypes.Pdg)(sig
val name : string
val dependencies : 'a list
val size : int
val kind : [> `Correctness ]
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: 
functor (C : PdgMarks.T_Config) -> Marks.F_Proj(C)
val output : unit -> unit
val main : unit -> unit