Up
–
frama-c-sparecode
» Sparecode
Module
Sparecode
Sparecode analysis.
Interface for the unused code detection.
module
Register
:
sig
...
end