Set Constraints, Shape, Interprocedural Analysis
More on set constraints:
Pointer and Shape Analysis
Continuing lecture24 on aliasing, pointer, and shape analysis.
Galois Connection for Heap Analysis
Allocation-Site Based Model and Instrumented Semantics
Representation of Pointer Analysis Using Set Constraints
Flow Sensitive vs Flow Insensitive Analysis - constraining facts at all points to be equal
Path Sensitivity through Powerset Domain
Merging Control Flow Graphs and False Paths
Modular Analysis with Supplied Contracts
Using Set Constraints with Projections to Eliminate False Paths
Control-Flow Analysis and Dynamic Dispatch
More on interprocedural analysis:
- M. Sharir, and A. Pnueli. Two Approaches to Inter-Procedural Data-Flow Analysis. In Jones and Muchnik, editors, Program Flow Analysis: Theory and Applications. Prentice-Hall, 1981.
- F. Nielson, H. R. Nielson, C. Hankin: Principles of program analysis, 2005. Chapter 2.5.