Module Direct_analysis.Analyze
Parameters
Signature
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