Recency-abstraction for heap-allocated storage, Static Analysis: 13th International Symposium, pp.221-239, 2006. ,
Static analysis and verification of aerospace software by abstract interpretation, pp.1-38, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00528611
Moving fast with software verification, NFM, pp.3-11, 2015. ,
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. of POPL'77, pp.238-252, 1977. ,
Systematic design of program analysis frameworks, Proc. of POPL'79, pp.269-282, 1979. ,
Combination of abstractions in the Astrée static analyzer, Proc. of ASIAN'06, vol.4435, pp.272-300, 2006. ,
The reduced product of abstract domains and the combination of decision procedures, Proc. of FoSSaCS '11, vol.6604, pp.456-472, 2011. ,
Automatic discovery of linear restraints among variables of a program, Conf. Rec. of the 5th Annual ACM SIGPLAN/SIGACT Symp. on Principles of Programming Languages (POPL'78), pp.84-97, 1978. ,
Frama-C: A software analysis perspective, Formal Aspects of Computing, vol.27, pp.573-609, 2012. ,
Static value analysis of Python programs by abstract interpretation, Proc. of NFM'18, pp.185-202, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01782390
Modular static analysis of string manipulations in C programs, Proc. of SAS'18, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01884772
An abstract domain for trees with numeric relations, ESOP. Lecture Notes in Computer Science, vol.11423, pp.724-751, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02197107
Astrée: Proving the absence of runtime errors, Proc. of ERTS2 2010, 2010. ,
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation, Proc. of CGO'04, 2004. ,
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics, Proc. of LCTES'06, pp.54-63, 2006. ,
Tutorial on static inference of numeric invariants by abstract interpretation, Foundations and Trends in Programming Languages (FnTPL), vol.4, issue.3-4, pp.120-372, 2017. ,
Design of a modular platform for static analysis, Proc. of 9h Workshop on Tools for Automatic Program Analysis (TAPAS'18). p. 4. Lecture Notes in Computer Science, 2018. ,
The impact of program transformations on static program analysis, Static Analysis, pp.306-325, 2018. ,
Design and implementation of sparse global analyses for C-like languages, SIGPLAN Not, vol.47, issue.6, pp.229-238, 2012. ,
Julia: A generic static analyser for the Java bytecode, Proc. of FTfJP'2005, p.17, 2005. ,