Module Direct_analysis.Analyze

Parameters

Signature

module VarMap = C2Codex.VarMap
module StringMap = C2Codex.StringMap
module CallingContextHash : sig ... end
module C2Codex : sig ... end
module Analyze_Function : sig ... end
val print_value_of_exp : (('a * Frama_c_kernel.Cil_types.exp) -> Stdlib.String.t CallingContextHash.t) -> Stdlib.out_channel -> (int * 'b * Frama_c_kernel.Cil_types.exp) -> unit
val dump_exp_table : Stdlib.out_channel -> unit
val dump_alarms : Stdlib.out_channel -> unit
val dump_assertions : Stdlib.out_channel -> unit
val print_html : string -> unit
val dump_html : unit -> unit
val parse_ctypes : unit -> unit
val run : Frama_c_kernel.Kernel_function.t -> 'a