Value.Call_Type_Value_Callbacks
Actions to perform at each treatment of a "call" statement. state
is the state before the call.
type param =
[ `Builtin of Value_types.call_froms
| `Spec of Cil_types.funspec
| `Def
| `Memexec ]
* state
* callstack
Type of the parameter of the functions registered in the hook.
Type of the result of the functions. result can be unit (for iterative hooks) or param (for folding hooks)
Same as extend
, but the hook is added only if it is not already present; the comparison is made using (==)
Apply all the functions of the hook on the given parameter. These functions are applied from the least recently entered to the most recently entered.