A. Gmbh and G. Saarbrücken, AbsInt Advanced Analyzer for PowerPC, 2016.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/hal-00930103

E. Eide and J. Regehr, Volatiles are miscompiled, and what to do about it, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.255-264, 2008.
DOI : 10.1145/1450058.1450093

L. George and A. W. Appel, Iterated register coalescing, ACM Transactions on Programming Languages and Systems, vol.18, issue.3, pp.300-324, 1996.
DOI : 10.1145/229542.229546

URL : ftp://ftp.cs.princeton.edu/reports/1995/498.ps.Z

I. Iec, Information Technology ? Programming Languages, Their Environments and System Software Interfaces ? Secure Coding Rules (ISO/IEC TS 17961), 2013.

J. Jourdan, F. Pottier, and X. Leroy, Validating LR(1) Parsers, ESOP 2012: 21st European Symposium on Programming, pp.397-416
DOI : 10.1007/978-3-642-28869-2_20

URL : https://hal.archives-ouvertes.fr/hal-01077321

D. Kästner and C. Ferdinand, Proving the Absence of Stack Overflows, SAFECOMP '14: Proceedings of the 33th International Conference on Computer Safety, Reliability and Security, pp.202-213, 2014.
DOI : 10.1007/978-3-319-10506-2_14

D. Kästner, X. Leroy, S. Blazy, B. Schommer, M. Schmidt et al., Closing the gap ? the formally verified optimizing compiler CompCert, SSS'17: Developments in System Safety Engineering: Proceedings of the Twenty-fifth Safety-critical Systems Symposium, pp.163-180, 2017.

D. Kästner, A. Miné, L. Mauborgne, X. Rival, J. Feret et al., Finding All Potential Runtime Errors and Data Races in Automotive Software, SAE World Congress 2017, 2017.

D. Kästner, A. Miné, A. Schmidt, H. Hille, L. Mauborgne et al., Finding All Potential Run-Time Errors and Data Races in Automotive Software, SAE Technical Paper Series, 2017.
DOI : 10.4271/2017-01-0054

D. Kästner, M. Pister, G. Gebhard, M. Schlickling, and C. Ferdinand, Confidence in Timing, 2013.

X. Leroy, S. Blazy, D. Kästner, B. Schommer, M. Pister et al., CompCert -A Formally Verified Optimizing Compiler, ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress, 2016.
DOI : 10.1007/s10817-009-9155-4

URL : https://hal.archives-ouvertes.fr/hal-01238879

A. Miné, L. Mauborgne, X. Rival, J. Feret, P. Cousot et al., Taking Static Analysis to the Next Level: Proving the Absence of Run- Time Errors and Data Races with Astrée, Embedded Real Time Software and Systems Congress ERTS 2, 2016.

. Misra-working-group and . Misra-c, 2012 Guidelines for the use of the C language in critical systems, 2013.

X. Yang, Y. Chen, E. Eide, and J. Regehr, Finding and understanding bugs in C compilers, PLDI '11, pp.283-294, 2011.
DOI : 10.1145/2345156.1993532