The Def-inite Approach to Dependency Analysis
No abstract available.
Related papers
- The Semantics of Program Dependence PLDI 1989
- Dependence-Based Program Analysis PLDI 1993
- An Extended Form of Must Alias Analysis for Dynamic Allocation POPL 1995
- Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA TOPLAS 1995
- Object Versioning for Flow-Sensitive Pointer Analysis CGO 2021
- Practical memory leak detection using guarded value-flow analysis PLDI 2007
- SVF: interprocedural static value-flow analysis in LLVM CC 2016
- Load/Store Range Analysis for Global Register Allocation PLDI 1993