An Incremental Points-to Analysis with CFL-Reachability
Authors:
- 1 January 2013
- book chapter
- Published by Springer Nature
- p. 61-81
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Taming reflection2011
- Practical change impact analysis based on static program slicing for industrial software systems2011
- Using impact analysis in industry2011
- Flow-sensitive pointer analysis for millions of lines of code2011
- An eclectic approach for change impact analysis2010
- Bootstrapping2008
- Subcubic algorithms for recursive state machines2008
- A critical analysis of incremental iterative data flow analysis algorithmsIEEE Transactions on Software Engineering, 1990
- An interval-based approach to exhaustive and incremental interprocedural data-flow analysisACM Transactions on Programming Languages and Systems, 1990
- Incremental data flow analysis via dominator and attribute update1988