Re:The Case for Formal Verification (2013)
by andor on Monday April 21, 2014 @01:59PM
(#7622543)
It's not a drop-in replacement for gcc. For example:
In the second form above, main is called with argc equal to zero and argv equal to the NULL pointer. The program does not, therefore, have access to command-line arguments.
In the second form above, main is called with argc equal to zero and argv equal to the NULL pointer. The program does not, therefore, have access to command-line arguments.
http://compcert.inria.fr/man/manual004.html#toc11