Frama-C API Documentation

• Frama-C Kernel
• Constant Propagation
• From
• Impact
• Inout
• Ltl to acsl
• Metrics
• Occurrence
• Pdg
• Postdominators
• Scope
• Security
• Semantic callgraph
• Slicing
• Sparecode
• Syntactic callgraph
• Users
• Value