, and CEA have an ongoing partnership to improve the Frama-C tool with regard to identified weaknesses: improved management of absolute addresses, and improved interprocedural analysis. Conflicts of interest The author declares no conflicts of interest

, MathWorks [Internet]. PolySpace Code Prover

]. N. Thuy and A. Ourghanlian, Dependability Assessment of safetycritical system software by static analysis methods, Proceedings of 2003 International Conference on Dependable Systems and Network (DSN 2003), 2003.

. Absint, Astr ee Run-Time Error Analyzer

F. Internet, Value plug-in presentation

P. Couzot and R. Couzot, Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fix points, Proceedings of the Sixth Annual ACM SIGPLAN-SIGACT Symposium, 1977.