Mthread.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.