B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., A Static Analyzer for Large Safety-Critical Software, Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), pp.196-207, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00128135

P. Cousot and R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, 4 th POPL, pp.238-252, 1977.

J. Giet, L. Mauborgne, D. Kästner, and C. Ferdinand, Towards zero alarms in sound static analysis of finite state machines, Computer Safety, Reliability, and Security, pp.3-18, 2019.

S. Horwitz, T. Reps, and D. Binkley, Interprocedural slicing using dependence graphs, ACM Trans. Program. Lang. Syst, vol.12, issue.1, pp.26-60, 1990.

D. Kästner, L. Mauborgne, and C. Ferdinand, Detecting Safety-and Security-Relevant Programming Defects by Sound Static Analysis, The Second International Conference on Cyber-Technologies and Cyber-Systems (CY-BER 2017, vol.2, pp.26-31, 2017.

D. Kästner, L. Mauborgne, and C. Ferdinand, Detecting Spectre Vulnerabilities by Sound Static Analysis, The Fourth International Conference on Cyber-Technologies and Cyber-Systems (CYBER 2019), vol.4, pp.29-67, 2019.

D. Kästner, L. Mauborgne, N. Grafe, and C. Ferdinand, Advanced Sound Static Analysis to Detect Safety-and Security-Relevant Programming Defects, 8th International Journal on Advances in Security, vol.1, pp.149-159, 2018.

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.

D. Kästner, B. Schmidt, M. Schlund, L. Mauborgne, S. Wilhelm et al., Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software, Proceedings of the SAE World Congress 2019 (SAE Technical Paper). SAE International, 2019.

P. Kocher, D. Genkin, D. Gruss, W. Haas, M. Hamburg et al., Spectre attacks: Exploiting speculative execution, 2018.

M. Lipp, M. Schwarz, D. Gruss, T. Prescher, W. Haas et al., , 2018.

A. Miné, Static analysis of run-time errors in embedded real-time parallel C programs, Logical Methods in Computer Science (LMCS), vol.8, issue.26, p.63, 2012.

A. Miné and D. Delmas, Towards an Industrial Use of Sound Static Analysis for the Verification of Concurrent Embedded Avionics Software, Proc. of the 15th International Conference on Embedded Software (EM-SOFT'15), pp.65-74, 2015.

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.

, SCSC Data Safety Initiative Working Group

, Data Safety (Version 2.0) [SCSC-127B]. Technical report, Safety-Critical Systems Club, 2017.

G. Wang, S. Chattopadhyay, I. Gotovchits, T. Mitra, and A. Roychoudhury, oo7: Low-overhead defense against spectre attacks via binary analysis, 2018.

. Wired and . Com, The jeep hackers are back to prove car hacking can get much worse, 2016.