module PrintSlice: sig
.. end
Everything needed to print the result
val find_sub_stmts : Cil_types.stmt -> Cil_types.stmt list
val str_call_sig : T.t_fct_slice -> Cil_types.stmt -> Format.formatter -> unit
class printerClass : Fct_slice.t_fct_slice option ->
object
.. end
val print_fct_from_pdg : Format.formatter -> ?ff:Fct_slice.t_fct_slice -> PdgTypes.Pdg.t -> unit
val print_marked_ff : Format.formatter -> Fct_slice.t_fct_slice -> unit
val print_original_glob : Format.formatter -> Cil_types.global -> unit
module PrintProject: sig
.. end
module PrintProjGraph: Graph.Graphviz.Dot
(
PrintProject
)
val build_dot_project : string -> string -> T.t_project -> unit