package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Security analysis.

val run_whole_analysis : (unit -> unit) Stdlib.ref

Run all the security analysis.

val run_ai_analysis : (unit -> unit) Stdlib.ref

Only run the analysis by abstract interpretation.

val run_slicing_analysis : (unit -> Project.t) Stdlib.ref

Only run the security slicing pre-analysis.

val self : State.t Stdlib.ref