B. Alpern, M. N. Wegman, and F. K. Zadeck, Detecting equality of variables in programs, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.1-11, 1988.
DOI : 10.1145/73560.73561

P. Alves, F. Gruber, J. Doerfert, A. Lamprineas, T. Grosser et al., Runtime pointer disambiguation, OOPSLA, pp.589-606, 2015.
DOI : 10.1145/2858965.2814285
URL : https://hal.archives-ouvertes.fr/hal-01234086

L. O. Andersen, Program Analysis and Specialization for the C Programming Language, 1994.

G. Balakrishnan and T. Reps, Analyzing Memory Accesses in x86 Executables, CC, pp.5-23, 2004.
DOI : 10.1007/978-3-540-24723-4_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.2863

G. Balatsouras and Y. Smaragdakis, Structure-Sensitive Points-To Analysis for C and C++, SAS, pp.84-104, 2016.
DOI : 10.1007/978-3-319-26529-2_26
URL : https://zenodo.org/record/61898/files/cclyzer.pdf

W. Blume and R. Eigenmann, Symbolic range propagation, Proceedings of 9th International Parallel Processing Symposium, pp.357-363, 1994.
DOI : 10.1109/IPPS.1995.395956
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.8201

R. Bodik, R. Gupta, and V. Sarkar, ABCD: eliminating array bounds checks on demand, PLDI, pp.321-333, 2000.

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/hal-01108790

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

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., The ASTRE?? Analyzer, European symposium on programming (ESOP), number 3444 in Lecture Notes in Computer Science, pp.21-30, 2005.
DOI : 10.1007/978-3-540-31987-0_3

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, An efficient method of computing static single assignment form, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.25-35, 1989.
DOI : 10.1145/75277.75280

M. Davis, Y. Matiyasevich, and J. Robinson, Hilbert???s tenth problem: Diophantine equations: positive aspects of a negative solution, Symposia in Pure Mathematics, pp.323-378, 1976.
DOI : 10.1090/pspum/028.2/0432534

J. Dietrich, N. Hollingum, and B. Scholz, Giga-scale exhaustive points-to analysis for java in under a minute, OOPSLA, pp.535-551, 2015.

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

J. Ferrante, J. Ottenstein, and D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems, vol.9, issue.3, pp.319-349, 1987.
DOI : 10.1145/24039.24041

B. Hardekopf and C. Lin, The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code, PLDI, pp.290-299, 2007.

B. Hardekopf and C. Lin, Flow-sensitive pointer analysis for millions of lines of code, International Symposium on Code Generation and Optimization (CGO 2011), pp.265-280, 2011.
DOI : 10.1109/CGO.2011.5764696

J. L. Henning, SPEC CPU2006 benchmark descriptions, ACM SIGARCH Computer Architecture News, vol.34, issue.4, pp.1-17, 2006.
DOI : 10.1145/1186736.1186737

J. Henry, D. Monniaux, and M. Moy, Succinct Representations for Abstract Interpretation, SAS, pp.283-299, 2012.
DOI : 10.1007/978-3-642-33125-1_20
URL : https://hal.archives-ouvertes.fr/hal-00709833

M. Hind, Pointer analysis, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering , PASTE '01, pp.54-61, 2001.
DOI : 10.1145/379605.379665

A. Johnson, L. Waye, S. Moore, and S. Chong, Exploring and enforcing security guarantees via program dependence graphs, PLDI, pp.291-302, 2015.
DOI : 10.1145/2813885.2737957

C. Lattner and V. S. Adve, LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., pp.75-88, 2004.
DOI : 10.1109/CGO.2004.1281665

F. Logozzo and M. Fähndrich, Pentagons, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.184-188, 2008.
DOI : 10.1145/1363686.1363736

F. Logozzo and M. Fähndrich, Pentagons, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.796-807, 2010.
DOI : 10.1145/1363686.1363736

M. Maalej, V. Paisante, P. Ramos, L. Gonnord, and F. Pereira, Pointer disambiguation via strict inequalities, 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), pp.134-147, 2017.
DOI : 10.1109/CGO.2017.7863735
URL : https://hal.archives-ouvertes.fr/hal-01387031

A. Miné, The octagon abstract domain, Higher-Order and Symbolic Computation, vol.2477, issue.3, pp.31-100, 2006.
DOI : 10.1007/s10990-006-8609-1

H. Nazaré, I. Maffra, W. Santos, L. Barbosa, L. Gonnord et al., Validation of memory accesses through symbolic analyses, OOPSLA, pp.791-809, 2014.

F. Nielson, H. R. Nielson, and C. Hankin, Principles of program analysis, 2005.
DOI : 10.1007/978-3-662-03811-6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.5329

M. Vitor-paisante, L. Maalej, L. Barbosa, F. Gonnord, and . Pereira, Symbolic range analysis of pointers, Proceedings of the 2016 International Symposium on Code Generation and Optimization, CGO 2016, pp.171-181, 2016.
DOI : 10.1145/2854038.2854050

F. Magno, Q. Pereira, and D. Berlin, Wave propagation and deep propagation for pointer analysis, CGO, pp.126-135, 2009.

D. Petrashko, V. Ureche, O. Lhoták, and M. Odersky, Call graphs for languages with parametric polymorphism, OOPSLA, pp.394-409, 2016.
DOI : 10.1145/2983990.2983991
URL : https://infoscience.epfl.ch/record/217276/files/paper.pdf

R. Ernani-rodrigues, V. Hugo-sperle-campos, and F. Pereira, A fast and low overhead technique to secure programs against integer overflows, CGO, pp.1-13, 2013.

R. Rugina and M. C. Rinard, Symbolic bounds analysis of pointers, array indices, and accessed memory regions, PLDI, pp.182-195, 2000.

R. Rugina and M. C. Rinard, Symbolic bounds analysis of pointers, array indices, and accessed memory regions, ACM Transactions on Programming Languages and Systems, vol.27, issue.2, pp.185-235, 2005.
DOI : 10.1145/1057387.1057388
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.8252

S. Rus, L. Rauchwerger, and J. Hoeflinger, Hybrid analysis, Proceedings of the 16th international conference on Supercomputing , ICS '02, pp.251-283, 2002.
DOI : 10.1145/514191.514229

K. Serebryany, D. Bruening, A. Potapenko, and D. Vyukov, Addresssanitizer: a fast address sanity checker, ATC, pp.28-28

J. Singer, Static Program Analysis Based on Virtual Register Renaming, 2006.

B. Steensgaard, Points-to analysis in almost linear time, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.32-41, 1996.
DOI : 10.1145/237721.237727

Y. Sui, X. Fan, H. Zhou, and J. Xue, Loop-oriented array-and fieldsensitive pointer analysis for automatic SIMD vectorization, LCTES, pp.41-51, 2016.
DOI : 10.1145/2980930.2907957

R. Surendran, R. Barik, J. Zhao, and V. Sarkar, Inter-iteration Scalar Replacement Using Array SSA Form, CC, pp.40-60, 2014.
DOI : 10.1007/978-3-642-54807-9_3

L. C. Andre, B. Tavares, F. M. Boissinot, F. Pereira, and . Rastello, Parameterized construction of program representations for sparse dataflow analyses, CC, pp.2-21, 2014.

A. Robert, J. Van-engelen, Y. Birch, B. Shou, K. A. Walsh et al., A unified framework for nonlinear dependence testing and symbolic analysis, ICS, pp.106-115, 2004.

P. Robert, M. S. Wilson, and . Lam, Efficient context-sensitive pointer analysis for c programs, PLDI, pp.1-12, 1995.

M. Wolfe, High Performance Compilers for Parallel Computing, 1996.

R. N°-9076 and R. Centre-grenoble-?-rhône-alpes, Inovallée 655 avenue de l'Europe Montbonnot 38334 Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria, pp.249-6399