<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-06-01 04:33:34Subroutines Frama-C Data types Abstract interpretation Parameter Pointer Expected value Constant |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2016-06-01 04:33:34Subroutines Frama-C Data types Abstract interpretation Parameter Pointer Expected value Constant |
Add to Reading List |
Value Analysis Frama-C’s value analysis plug-in AluminiumPascal Cuoq and Boris Yakobowski with Matthieu Lemerre, André Maroneze, Valentin