Constant_Propagation plugin
API Documentation
The Constant_Propagation plugin is integrated with the Frama-C kernel:
Frama-C
complete kernel API
Constant_Propagation
available kernel API
Internal Documentation
Constant_Propagation
architecture (SVG format)
Index of
Modules
Index of
Types
Index of
Values
Index of
Exceptions