Runtime Pointer Disambiguation, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, part of SPLASH 2015, pp.589-606, 2015. ,
DOI : 10.1145/2858965.2814285
URL : https://hal.archives-ouvertes.fr/hal-01234086
The Static Single Information Form, 1997. ,
Program Analysis and Specialization for the C Programming Language, 1994. ,
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
Symmetric binary B-Trees: Data structure and maintenance algorithms, Acta Informatica, vol.1, issue.4, pp.290-306, 1972. ,
DOI : 10.1007/BF00289509
Symbolic range propagation, Proceedings of 9th International Parallel Processing Symposium, pp.357-363, 1994. ,
DOI : 10.1109/IPPS.1995.395956
ABCD: eliminating array bounds checks on demand, Proceedings of Conference on Programming Language Design and Implementation PLDI, pp.321-333, 2000. ,
A static analyzer for large safety-critical software, Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation PLDI, pp.196-207, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00128135
Efficient chaotic iteration strategies with widenings, pp.128-141, 1993. ,
DOI : 10.1007/BFb0039704
Analyzing memory accesses in x86 executables, Compiler Construction, 13th International Conference CC, Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS Proceedings, pp.5-23, 2004. ,
Structure-Sensitive Points-To Analysis for C and C++, Static Analysis -23rd International Symposium, SAS 2016, pp.84-104, 2016. ,
DOI : 10.1145/1328438.1328464
Fast copy coalescing and live-range identification, Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI, pp.25-32, 2002. ,
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic, Static Analysis, 13th International Symposium SAS Proceedings, pp.182-203, 2006. ,
DOI : 10.1007/11823230_13
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-00930103
Comparing the Galois connection and widening/narrowing approaches to abstract interpretation, Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, pp.269-295, 1992. ,
DOI : 10.1007/3-540-55844-6_142
Automatic construction of sparse data flow evaluation graphs, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.55-66, 1991. ,
DOI : 10.1145/99583.99594
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logics of Programs, pp.52-71, 1981. ,
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
CFL Alias Analysis. Google's Summer of Code Report, 2016. ,
Introduction to Compiler Construction in a Java World, 2012. ,
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
Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991. ,
DOI : 10.1145/115372.115320
Mechanizing conventional SSA for a verified destruction with coalescing, Proceedings of the 25th International Conference on Compiler Construction, CC 2016 ,
DOI : 10.1145/2491956.2462164
URL : https://hal.archives-ouvertes.fr/hal-01378393
A practical interprocedural alias analysis for an optimizing/parallelizing C compiler, 1993. ,
A Unified Framework for Nonlinear Dependence Testing and Symbolic Analysis, ICS. ACM, pp.106-115, 2004. ,
Invited Talk Static and dynamic analysis, Proceedings of the ACM-SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering , PASTE '04, p.35, 2004. ,
DOI : 10.1145/996821.996823
Partial Online Cycle Elimination in Inclusion Constraint Graphs, Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation PLDI, pp.85-96, 1998. ,
The Polyhedron Model " . In: Encyclopedia of Parallel Programming, 2011. ,
The program dependence graph and its use in optimization, In: ACM Transactions on Programming Languages and Systems TOPLAS, vol.93, pp.319-349, 1987. ,
Towards a Certified Petri Net Model-Checker, Proceedings of APLAS'11, pp.322-336, 2011. ,
DOI : 10.1007/3-540-44464-5_13
URL : https://hal.archives-ouvertes.fr/hal-00666660
Selective Runtime Memory Disambiguation in a Dynamic Binary Translator, Proceedings of European Joint Conferences on Theory and Practice of Software, pp.65-79, 2006. ,
DOI : 10.1109/TC.1981.1675827
Improving the Cache Locality of Memory Allocation, Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation PLDI, pp.177-186, 1993. ,
Automatically verified data transfer protocol, 4th International Conference on Computer Communication (ICCC), pp.749-756, 1978. ,
SPEC CPU2006 benchmark descriptions, ACM SIGARCH Computer Architecture News, vol.34, issue.4, pp.1-17, 2006. ,
DOI : 10.1145/1186736.1186737
Register Allocation for Programs in SSA-Form, 15th International Conference CC, Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS Proceedings, pp.247-262, 2006. ,
DOI : 10.1007/11575467_21
Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis, Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation PLDI, pp.97-105, 1998. ,
The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation 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
The Model Checker SPIN, IEEE Transactions on Software Engineering, vol.235, pp.279-295, 1997. ,
Precise flow-insensitive may-alias analysis is NP-hard, ACM Transactions on Programming Languages and Systems, vol.19, issue.1, pp.1-6, 1997. ,
DOI : 10.1145/239912.239913
Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second, Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI, pp.254-263, 2001. ,
A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures, Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, pp.66-74, 1982. ,
Architecture for a Next-Generation GCC, Proc. First Annual GCC Developers' Summit, 2003. ,
LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., pp.20-24, 2004. ,
DOI : 10.1109/CGO.2004.1281665
Undecidability of static analysis, ACM Letters on Programming Languages and Systems, vol.1, issue.4, pp.323-337, 1992. ,
DOI : 10.1145/161494.161501
Shape Analysis for Unstructured Sharing, Static Analysis -22nd International Symposium SAS, 2015. ,
DOI : 10.1007/978-3-662-48288-9_6
URL : https://hal.archives-ouvertes.fr/hal-01249418
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
Context-Sensitive Points-to Analysis: Is It Worth It? In: Compiler Construction, 15th International Conference CC, Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS, pp.47-64, 2006. ,
Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs, Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, pp.6-12, 2005. ,
Pointer-Induced Aliasing: A Problem Classification, In: ACM Transactions on Programming Languages and Systems TOPLAS, pp.93-103, 1991. ,
Semantic analysis of interval congruences, Programming and Their Applications, International Conference, pp.142-155, 1993. ,
DOI : 10.1007/BFb0039705
Into the Depths of C: Elaborating the De Facto Standards, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI, pp.1-15, 2016. ,
The octagon abstract domain, Higher-Order and Symbolic Computation, vol.2477, issue.3, pp.31-100, 2006. ,
DOI : 10.1007/978-1-4020-8157-6_30
Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics, CoRR abs, p.703074, 2007. ,
Abstract domains for bit-level machine integer and floating-point operations, 4th International Workshop on invariant Generation, 2012. ,
Dynamic points-to sets, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering , PASTE '01, pp.66-72, 2001. ,
DOI : 10.1145/379605.379671
Dynamic Analysis from the Bottom Up, Proceedings of International Conference on Software Engineering, 2003. ,
Alias Analysis by Means of a Model Checker, Proceedings of Compiler Construction, pp.3-19, 2001. ,
DOI : 10.1007/3-540-45306-7_2
Validation of memory accesses through symbolic analyses, Proceedings of Object-Oriented Programming, Systems, Languages & Applications, pp.791-809, 2014. ,
The Wrapping Effect, Ellipsoid Arithmetic, Stability and Confidence Regions, pp.175-190, 1993. ,
DOI : 10.1007/978-3-7091-6918-6_14
Approximating flow-sensitive pointer analysis using frequent itemset mining, 2015 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), pp.225-234, 2015. ,
DOI : 10.1109/CGO.2015.7054202
Applications of SMT solvers to Program Verification ,
Hanne Riis Nielson, and Chris Hankin. Principles of program analysis, 2005. ,
Efficient Transitive Closure Computation in Large Digraphs, Math Computer Engineering, vol.74, pp.1-124, 1995. ,
References Low-cost memory analyses for efficient compilers Design and implementation of sparse global analyses for C-like languages, ACM SIG- PLAN Conference on Programming Language Design and Implementation, PLDI, pp.229-238, 2012. ,
Selective context-sensitivity guided by impact pre-analysis, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, p.49, 2014. ,
Wave Propagation and Deep Propagation for Pointer Analysis, 2009 International Symposium on Code Generation and Optimization, pp.126-135, 2009. ,
DOI : 10.1109/CGO.2009.9
Efficient field-sensitive pointer analysis for C, Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering PASTE, pp.37-42, 2004. ,
The SSA Representation Framework: Semantics, Analyses and GCC Implementation url: https://pastel.archives-ouvertes, Theses. École Nationale Supérieure des Mines de Paris, p.2281, 2006. ,
The Undecidability of Aliasing, In: ACM Transactions on Programming Languages and Systems TOPLAS, vol.165, pp.1467-1471, 1994. ,
Static Single Assignment Book, 2016. ,
A fast and low-overhead technique to secure programs against integer overflows, Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2013. ,
DOI : 10.1109/CGO.2013.6494996
Sparse representation of implicit flows with applications to side-channel detection, Proceedings of the 25th International Conference on Compiler Construction, CC 2016, pp.110-120, 2016. ,
DOI : 10.1145/2491956.2462164
Symbolic bounds analysis of pointers, array indices, and accessed memory regions, Proceedings of Programming Language Design and Implementation, pp.182-195, 2000. ,
Symbolic bounds analysis of pointers, array indices, and accessed memory regions, In: ACM Transactions on Programming Languages and Systems TOPLAS, vol.272, pp.185-235, 2005. ,
Hybrid analysis, Proceedings of the 16th international conference on Supercomputing , ICS '02, pp.274-284, 2002. ,
DOI : 10.1145/514191.514229
A Schema for Interprocedural Modification Side-effect Analysis with Pointer Aliasing, In: ACM Transactions on Programming Languages and Systems TOPLAS, vol.23, issue.2, pp.105-186, 2001. ,
Fast and accurate flow-insensitive points-to analysis, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.15-17, 1997. ,
DOI : 10.1145/263699.263703
Static Program Analysis Based on Virtual Register Renaming, 2006. ,
Solving Shape-Analysis Problems in Languages with Destructive Updating, In: ACM Transactions on Programming Languages and Systems TOPLAS, vol.201, pp.1-50, 1998. ,
Implementing Sparse Flow-Sensitive Andersen Analysis, Research Report. Feb, 2009. ,
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
Proving Termination and Memory Safety for Programs with Pointer Arithmetic, Proceedings of International Joint Conference on Automated Reasoning, pp.208-223, 2014. ,
DOI : 10.1007/978-3-319-08587-6_15
Loop-oriented Array and Field-sensitive Pointer Analysis for Automatic SIMD Vectorization, Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems LCTES, pp.41-51, 2016. ,
Inter-iteration Scalar Replacement Using Array SSA Form, Compiler Construction -23rd International Conference CC, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, pp.40-60, 2014. ,
DOI : 10.1007/978-3-642-54807-9_3
Parameterized Construction of Program Representations for Sparse Dataflow Analyses, Compiler Construction -23rd International Conference CC, Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS, pp.2-21, 2014. ,
Precise and efficient static array bound checking for large embedded C programs, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation PLDI, pp.231-242, 2004. ,
Incrementalized Pointer and Escape Analysis, Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.35-46, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00808284
Partitioned Memory Models for Program Analysis, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, pp.539-558, 2017. ,
DOI : 10.1145/301618.301647
An Automated Technique of Communications Protocol Validation, IEEE Transactions on Communications, vol.26, issue.8, pp.1271-1275, 1989. ,
DOI : 10.1109/TCOM.1978.1094201
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation PLDI, pp.131-144, 2004. ,
High Performance Compilers for Parallel Computing, 1996. ,
Effective dynamic detection of alias analysis errors, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, pp.279-289, 2013. ,
DOI : 10.1145/2491411.2491439
Finding and Understanding Bugs in C Compilers, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI, pp.283-294, 2011. ,
Pointer-Range Analysis, Proceedings of Static Analysis Symposium, pp.133-148, 2004. ,
Region-Based Selective Flow-Sensitive Pointer Analysis, Proceedings of Static Analysis Symposium, pp.319-336, 2014. ,
Demand-driven context-sensitive alias analysis for Java, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, pp.155-165, 2011. ,
DOI : 10.1145/2001420.2001440
Fast Algorithms for Dyck-CFL-reachability with Applications to Alias Analysis, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, pp.435-446, 2013. ,
Formal verification of SSA-based optimizations for LLVM, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, pp.175-186, 2013. ,
Efficient subcubic alias analysis for C, pp.829-845, 2014. ,
Demand-driven Alias Analysis for C, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.197-208, 2008. ,
Dynamic memory optimization using pool allocation and prefetching, ACM SIGARCH Computer Architecture News, vol.33, issue.5, pp.27-32, 2005. ,
DOI : 10.1145/1127577.1127584
Combining Range and Inequality Information for Pointer Disambiguation url: https, Science of Computer Programming, 2017. ,
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
Do we still need new Alias Analyses? Research Report RR-8812, ENS Lyon ,
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/1127577.1127584