R. Bagnara, P. M. Hill, and E. Zaffanella, 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

R. Bagnara, 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

J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., 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

S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. Mckinley et al., 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.

C. Calcagno, D. Distefano, P. W. Hearn, and H. Yang, Compositional shape analysis by means of bi-abduction, J. ACM, vol.58, issue.6, p.26, 2011.

. Bor-yuh-evan, X. Chang, and . Rival, Relational inductive shape analysis, POPL, pp.247-260, 2008.

X. Bor-yuh-evan-chang, G. C. Rival, and . Necula, Shape analysis with structural invariant checkers, SAS, pp.384-401, 2007.

A. Cortesi, P. Baudouin-le-charlier, and . Van-hentenryck, 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

P. Cousot and R. Cousot, Static determination of dynamic properties of programs, Proceedings of the Second International Symposium on Programming, pp.106-130, 1976.

P. Cousot and R. Cousot, Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, issue.4, pp.511-547, 1992.
DOI : 10.1093/logcom/2.4.511

P. Cousot and R. Cousot, 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

P. Cousot, R. Cousot, and L. Mauborgne, 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

P. Cousot and N. Halbwachs, 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. Deutsch, 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

M. Emami, R. Ghiya, and L. J. Hendren, Context-sensitive interprocedural points-to analysis in the presence of function pointers, PLDI, pp.242-256, 1994.

M. Fähndrich and F. Logozzo, Static Contract Checking with Abstract Interpretation, FoVeOOS, pp.10-30, 2010.
DOI : 10.1007/978-3-540-79124-9_10

Z. Fu, Static Analysis of Numerical Properties in the Presence of Pointers, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00918593

D. Gopan, F. Dimaio, N. Dor, T. W. Reps, and S. Sagiv, 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

T. Lev-ami and S. Sagiv, TVLA: A System for Implementing Static Analyses, SAS, pp.280-301, 2000.
DOI : 10.1007/978-3-540-45099-3_15

O. Lhoták and L. Hendren, Scaling Java Points-to Analysis Using Spark, Compiler Construction, 12th International Conference, pp.153-169, 2003.
DOI : 10.1007/3-540-36579-6_12

B. Mccloskey, T. W. Reps, and M. Sagiv, Statically Inferring Complex Heap, Array, and Numeric Invariants, SAS, pp.71-99, 2010.
DOI : 10.1007/978-3-642-15769-1_6

A. Miné, Weakly Relational Numerical Abstract Domains, 2004.

A. Miné, Field-sensitive value analysis of embedded c programs with union types and pointer arithmetics, LCTES, pp.54-63, 2006.

A. Miné, The octagon abstract domain. Higher-Order and Symbolic Computation, pp.31-100, 2006.

A. Pioli, M. Hind, I. T. Watson-research, and . Center, Combining interprocedural pointer analysis and conditional constant propagation, 1999.

M. Sagiv, T. Reps, and R. Wilhelm, 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.

A. Simon, Value-Range Analysis of C Programs, 2008.
DOI : 10.1007/978-1-84800-017-9

A. Toubhans, . Bor-yuh-evan, X. Chang, and . Rival, 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

R. Vallée-rai, P. Co, E. Gagnon, L. Hendren, P. Lam et al., 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.

R. Vallee-rai and L. J. Hendren, Jimple: Simplifying java bytecode for analyses and transformations, 1998.

A. Venet, Towards the Integration of Symbolic and Numerical Static Analysis, VSTTE, pp.227-236, 2005.
DOI : 10.1007/978-3-540-27864-1_13

H. Yang, O. Lee, J. Berdine, C. Calcagno, B. Cook et al., Scalable Shape Analysis for Systems Code, CAV, pp.385-398, 2008.
DOI : 10.1007/978-3-540-70545-1_36