You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Db.Security
Security analysis.
internal documentation.
val run_whole_analysis : (unit -> unit) ref
Run all the security analysis.
val run_ai_analysis : (unit -> unit) ref
Only run the analysis by abstract interpretation.
val run_slicing_analysis : (unit -> Project.t) ref
Only run the security slicing pre-analysis.
val self : State.t ref