Frama-C API Documentation

• Frama-C Kernel
• Aorai
• Callgraph
• Constant Propagation
• Dynamically registered plugins
• E ACSL
• Eva
• From
• Impact
• Inout
• LoopAnalysis
• Metrics
• Nonterm
• Occurrence
• Pdg
• Postdominators
• Report
• RteGen
• Scope
• Security slicing
• Slicing
• Sparecode
• Users
• Variadic
• Wp