Frama-C API - Types
type pointer = Frama_c_kernel.Cil_types.varinfo * intPointers are the adress of a variable, with a potential offset, and are used to refer in a simple way to an adress in memory
module Pointer : Frama_c_kernel.Datatype.S_with_collections with type t = pointertype state = Frama_c_kernel.Cvalue.Model.ttype value = Frama_c_kernel.Cvalue.V.ttype zone = Frama_c_kernel.Locations.Zone.ttype slice = Frama_c_kernel.Cvalue.V_Offsetmap.ttype functions_states = state Frama_c_kernel.Cil_datatype.Stmt.Hashtbl.ttype map_functions_states = state Frama_c_kernel.Cil_datatype.Stmt.Map.tval map_functions_states_to_get_state : map_functions_states -> Frama_c_kernel.Cil_types.stmt -> stateval iter_requests : state_accesser -> Frama_c_kernel.Cil_types.stmt -> (Eva.Results.request -> unit) -> unitval merge_map_non_map_functions_states : map_functions_states -> functions_states -> map_functions_statesval merge_map_functions_states : map_functions_states -> map_functions_states -> map_functions_states