Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_main

val register_analysis_hook : (Mt_thread.analysis_state -> unit) -> unit

Registers a hook called at the end of the Mthread analysis.

val apply_analysis_hooks : unit -> unit

Apply registered hooks on the current analysis.