The subset of C supported by CompCert

CompCert supports all of ISO C 99, with the following exceptions:

With that, CompCert supports the full MISRA-C 2004 subset of C, plus many features that are excluded by MISRA (such as recursive functions and dynamic heap memory allocation).

Additionally, a number of ISO C 2011 features are supported:

Furthermore, CompCert supports some extensions to ISO C taken from the GNU and Diab compilers:

Free trial

Request your free trial package today, complete with training and support via WebEx and email.