<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-03-17 11:33:42Data types Frama-C Source code Function Pointer Subroutine Computer programming Computing Software engineering |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-03-17 11:33:42Data types Frama-C Source code Function Pointer Subroutine Computer programming Computing Software engineering |
Add to Reading List |
Value Analysis Frama-C’s value analysis plug-in Sodium[removed]rc2 Pascal Cuoq and Boris Yakobowski with Virgile Prevosto