The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems, Science of Computer Programming, vol.72, issue.1-2, 2006. ,
DOI : 10.1016/j.scico.2007.08.001
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages, Science of Computer Programming, vol.30, issue.1-2, pp.119-155, 1998. ,
DOI : 10.1016/S0167-6423(97)00009-9
Static analysis by abstract interpretation of embedded critical software, ACM SIGSOFT Software Engineering Notes, vol.36, issue.1, pp.1-8, 2011. ,
DOI : 10.1145/1921532.1921553
URL : https://hal.archives-ouvertes.fr/inria-00528632
The DaCapo benchmarks: Java benchmarking development and analysis, OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications, pp.169-190, 2006. ,
Compositional shape analysis by means of bi-abduction, J. ACM, vol.58, issue.6, p.26, 2011. ,
Relational inductive shape analysis, POPL, pp.247-260, 2008. ,
Shape analysis with structural invariant checkers, SAS, pp.384-401, 2007. ,
Combinations of abstract domains for logic programming: open product and generic pattern construction, Science of Computer Programming, vol.38, issue.1-3, pp.27-71, 2000. ,
DOI : 10.1016/S0167-6423(99)00045-3
Static determination of dynamic properties of programs, Proceedings of the Second International Symposium on Programming, pp.106-130, 1976. ,
Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, issue.4, pp.511-547, 1992. ,
DOI : 10.1093/logcom/2.4.511
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/inria-00528590
The Reduced Product of Abstract Domains and the Combination of Decision Procedures, FOSSACS, pp.456-472, 2011. ,
DOI : 10.1007/978-3-642-19805-2_31
Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-96, 1978. ,
DOI : 10.1145/512760.512770
A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations, Proceedings of the 1992 International Conference on Computer Languages, pp.2-13, 1992. ,
DOI : 10.1109/ICCL.1992.185463
Context-sensitive interprocedural points-to analysis in the presence of function pointers, PLDI, pp.242-256, 1994. ,
Static Contract Checking with Abstract Interpretation, FoVeOOS, pp.10-30, 2010. ,
DOI : 10.1007/978-3-540-79124-9_10
Static Analysis of Numerical Properties in the Presence of Pointers, 2013. ,
URL : https://hal.archives-ouvertes.fr/tel-00918593
Numeric Domains with Summarized Dimensions, TACAS, pp.512-529, 2004. ,
DOI : 10.1007/978-3-540-24730-2_38
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.8931
TVLA: A System for Implementing Static Analyses, SAS, pp.280-301, 2000. ,
DOI : 10.1007/978-3-540-45099-3_15
Scaling Java Points-to Analysis Using Spark, Compiler Construction, 12th International Conference, pp.153-169, 2003. ,
DOI : 10.1007/3-540-36579-6_12
Statically Inferring Complex Heap, Array, and Numeric Invariants, SAS, pp.71-99, 2010. ,
DOI : 10.1007/978-3-642-15769-1_6
Weakly Relational Numerical Abstract Domains, 2004. ,
Field-sensitive value analysis of embedded c programs with union types and pointer arithmetics, LCTES, pp.54-63, 2006. ,
The octagon abstract domain. Higher-Order and Symbolic Computation, pp.31-100, 2006. ,
Combining interprocedural pointer analysis and conditional constant propagation, 1999. ,
Parametric shape analysis via 3-valued logic, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '99, pp.105-118, 1999. ,
Value-Range Analysis of C Programs, 2008. ,
DOI : 10.1007/978-1-84800-017-9
Reduced Product Combination of Abstract Domains for Shapes, VMCAI, pp.375-395, 2013. ,
DOI : 10.1007/978-3-642-35873-9_23
URL : https://hal.archives-ouvertes.fr/hal-00760428
Soot -a java bytecode optimization framework, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, CASCON '99, p.13, 1999. ,
Jimple: Simplifying java bytecode for analyses and transformations, 1998. ,
Towards the Integration of Symbolic and Numerical Static Analysis, VSTTE, pp.227-236, 2005. ,
DOI : 10.1007/978-3-540-27864-1_13
Scalable Shape Analysis for Systems Code, CAV, pp.385-398, 2008. ,
DOI : 10.1007/978-3-540-70545-1_36