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 get_component : (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
val get_direct_component : (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
val get_indirect_backward_component : (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
val get_forward_component : (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
val impact_analysis : (Db_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt list)
Pervasives.ref
val self : Project.Computation.t Pervasives.ref