Hooks
Registration of a hook, i.e. a function that modifies directly the three abstractions after their building by the engine and before the start of each analysis.
type hook = (module S) -> (module S)
val register : hook -> unit
Frama-C