Frama-C API - Initialization
type state = Dom.tval initial_state_with_formals : lib_entry:bool -> Frama_c_kernel.Cil_types.kernel_function -> state Eva.Eval.or_bottomCompute the initial state for an analysis (as in initial_state), but also bind the formal parameters of the function given as argument.
val initialize_local_variable : pos:Eva__.Position.t -> Frama_c_kernel.Cil_types.varinfo -> Eva__.Eva_ast_types.init -> state -> state Eva.Eval.or_bottomInitializes a local variable in the current state.