A Flow-Insensitive-Complete Program Representation
Abstract
International audience
Related papers
- Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C SAS 2000
- The Flow-Insensitive Precision of Andersen's Analysis in Practice SAS 2011
- Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis SAS 2002
- Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis PLDI 1998
- Precise Flow-Insensitive May-Alias Analysis is NP-Hard TOPLAS 1997
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects POPL 1993
- Flow-sensitive pointer analysis for millions of lines of code CGO 2011
- Efficient computation of flow insensitive interprocedural summary information PLDI 1984