Module HooksSource

Hook to collect widening thresholds.

Sourcemodule Function_profiler : sig ... end

Hook to profile time spent in analyzing function calls

Sourcemodule Gctest : sig ... end

Hook for displaying analysis logs as a tree

Sourcemodule Logs : sig ... end

Hook for displaying analysis logs as a tree

Sourcemodule Loop_profiler : sig ... end

Hook to profile loops iterations

Sourcemodule Progress : sig ... end

Hook for displaying progress of the analysis