Constant_Propagation plugin

API Documentation

The Constant_Propagation plugin is integrated with the Frama-C kernel:

Internal Documentation