Structuring Abstract Interpreters Through State and Value Abstractions, Verification, Model Checking, and Abstract Interpretation, pp.112-130, 2017. ,
IKOS: A Framework for Static Analysis Based on Abstract Interpretation, Software Engineering and Formal Methods, pp.271-277, 2014. ,
Moving Fast with Software Verification, 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. ,
DOI : 10.1145/567752.567778
Combination of abstractions in the Astrée static analyzer, Proc. of ASIAN'06, vol.4435, pp.272-300, 2006. ,
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 (LNCS), 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01782390
, , pp.185-202
Numeric Domains with Summarized Dimensions, Proc. of TACAS'04, vol.2988, pp.512-529, 2004. ,
DOI : 10.1007/978-3-540-24730-2_38
Modular static analysis of string manipulations in C programs, Proc. of SAS'18 (LNCS), 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01884772
Astrée: Proving the absence of runtime errors, Proc. of, 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. ,
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, vol.17, 2005. ,