A correspondence between two approaches to interprocedural analysis in the presence of join
Many interprocedural static analyses perform a lossy join for reasons of termination or efficiency. We study the relationship between two predominant approaches to interprocedural analysis, the summary- based (or functional) approach and the call-strings (or k-CFA) approach, in the presence of a los...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2014
|