Up
–
frama-c-constant_propagation
» Constant_Propagation
Module
Constant_Propagation
Constant propagation analysis.
module
Api
:
sig
...
end