sig
val mark_kf_as_called : Cil_types.kernel_function -> unit
val add_kf_caller :
caller:Cil_types.kernel_function * Cil_types.stmt ->
Cil_types.kernel_function -> unit
val is_non_terminating_instr : Cil_types.stmt -> bool
type results
val get_results : unit -> Value_results.results
val set_results : Value_results.results -> unit
val merge :
Value_results.results -> Value_results.results -> Value_results.results
val change_callstacks :
(Value_types.callstack -> Value_types.callstack) ->
Value_results.results -> Value_results.results
val print_summary : unit -> unit
end