Frama-C API - `Mem_exec`

val new_counter : unit -> int

Counter that must be used each time a new call is analyzed, in order to refer to it later

val cleanup_results : unit -> unit

Clean all previously stored results

module Make (Value : Frama_c_kernel.Datatype.S) (Domain : Engine_abstractions_sig.Domain) : sig ... end

Frama-C API - Mem_exec