Frama-C API Documentation

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