package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=0c80dae8074fcb3f6a33d7a41faf9939a2a336478a8d2c79e20e2d7bab953735

Security analysis.

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