Module Universal.Hooks

module Constant_widening_thresholds : sig ... end

Hook to collect widening thresholds.

module Function_profiler : sig ... end

Hook to profile time spent in analyzing function calls

module Gctest : sig ... end

Hook for displaying analysis logs as a tree

module Logs : sig ... end

Hook for displaying analysis logs as a tree

module Loop_profiler : sig ... end

Hook to profile loops iterations

module Progress : sig ... end

Hook for displaying progress of the analysis