Selective X-sensitive analysis guided by impact pre-analysis
We present a method for selectively applying context-sensitivity during interprocedural program analysis. Our method applies context-sensitivity only when and where doing so is likely to improve the precision that matters for resolving given queries. The idea is to use a pre-analysis to estimate the...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Published: |
Association for Computing Machinery
2015
|