Frama-C:
Kernel
Analysis scripts
Plug-ins:
Crowbar Utils
Acsl Importer
Alias
Aorai
Api Generator
Callgraph
Constant Propagation
Dive
E-ACSL
Eva
From
Impact
Inout
Instantiate
Loop Analysis
Markdown Report
Metrics
Nonterm
Obfuscator
Occurrence
PDG
Ptests
Reduc
Region
Report
Rtegen
Scope
Security Slicing
Server
Slicing
Sparecode
Studia
Volatile
WP
Libraries:
Qed
Frama-C
Features
Documentation
Publications
Blog
Jobs
Contact
Download
API
>
Index
>
frama-c-eva
>
Eva
>
Domain_builder
>
Restrict
>
_
Frama-C API -
_
val
functions :
(
Frama_c_kernel.Kernel_function.t
*
Eva__.Domain_mode.mode
)
list
Frama-C Frama-C