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
Runtime pointer disambiguation, OOPSLA, pp.589-606, 2015. ,
DOI : 10.1145/2858965.2814285
URL : https://hal.archives-ouvertes.fr/hal-01234086
Program Analysis and Specialization for the C Programming Language, 1994. ,
Analyzing Memory Accesses in x86 Executables, CC, pp.5-23, 2004. ,
DOI : 10.1007/978-3-540-24723-4_2
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
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
ABCD: eliminating array bounds checks on demand, PLDI, pp.321-333, 2000. ,
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
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
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
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
Static Contract Checking with Abstract Interpretation, FoVeOOS, pp.10-30, 2010. ,
DOI : 10.1007/978-3-540-79124-9_10
The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code, PLDI, pp.290-299, 2007. ,
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
SPEC CPU2006 benchmark descriptions, ACM SIGARCH Computer Architecture News, vol.34, issue.4, pp.1-17, 2006. ,
DOI : 10.1145/1186736.1186737
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
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
Pentagons, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.184-188, 2008. ,
DOI : 10.1145/1363686.1363736
Pentagons, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.796-807, 2010. ,
DOI : 10.1145/1363686.1363736
The octagon abstract domain, Higher-Order and Symbolic Computation, vol.2477, issue.3, pp.31-100, 2006. ,
DOI : 10.1007/s10990-006-8609-1
Validation of memory accesses through symbolic analyses, OOPSLA, pp.791-809, 2014. ,
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
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
Wave propagation and deep propagation for pointer analysis, CGO, pp.126-135, 2009. ,
A fast and low overhead technique to secure programs against integer overflows, CGO, pp.1-13, 2013. ,
Symbolic bounds analysis of pointers, array indices, and accessed memory regions, PLDI, pp.182-195, 2000. ,
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
Hybrid analysis, Proceedings of the 16th international conference on Supercomputing , ICS '02, pp.251-283, 2002. ,
DOI : 10.1145/514191.514229
Addresssanitizer: a fast address sanity checker, ATC, pp.28-28 ,
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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.3368
Loop-oriented array-and fieldsensitive pointer analysis for automatic SIMD vectorization, LCTES, pp.41-51, 2016. ,
Inter-iteration Scalar Replacement Using Array SSA Form, CC, pp.40-60, 2014. ,
DOI : 10.1007/978-3-642-54807-9_3
Parameterized construction of program representations for sparse dataflow analyses, CC, pp.2-21, 2014. ,
A unified framework for nonlinear dependence testing and symbolic analysis, ICS, pp.106-115, 2004. ,
Efficient context-sensitive pointer analysis for c programs, PLDI, pp.1-12, 1995. ,
High Performance Compilers for Parallel Computing, 1996. ,
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 ,