Frama-C API Documentation

• Frama-C Kernel
• Aorai
• Constant Propagation
• From
• Impact
• Inout
• Metrics
• Occurrence
• Pdg
• Postdominators
• Report
• RteGen
• Scope
• Security slicing
• Semantic callgraph
• Slicing
• Sparecode
• Syntactic callgraph
• Users
• Value
• Wp
• Dynamically registered plugins