Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers
No abstract available.
Related papers
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects POPL 1993
- Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables POPL 1980
- Interprocedural pointer alias analysis TOPLAS 1999
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers PLDI 1994
- SVF: interprocedural static value-flow analysis in LLVM CC 2016
- Parallel sparse flow-sensitive points-to analysis CC 2018
- Flow-Sensitive Interprocedural Constant Propagation PLDI 1995