Module Db.Security

module Security: sig .. end
Security analysis.
See also internal documentation.

val run_whole_analysis : (unit -> unit) Pervasives.ref
Run all the security analysis.
val run_ai_analysis : (unit -> unit) Pervasives.ref
Only run the analysis by abstract interpretation.
val run_slicing_analysis : (unit -> Project.t) Pervasives.ref
Only run the security slicing pre-analysis.
val self : State.t Pervasives.ref