Experimental Comparison of call string and functional Approaches to Interprocedural Analysis

@inproceedings{Martin1999ExperimentalCO,
  title={Experimental Comparison of call string and functional Approaches to Interprocedural Analysis},
  author={Florian Martin},
  booktitle={CC},
  year={1999}
}
The techniques which are used to implement (non-trivial) interprocedural data ow analyzers can be generally divided into two subsets: the call string and the functional approach as presented in Sharir and Pnueli, 1981]. Both diier in their time and space complexity as well as in the precision due to properties of the abstract domains and transfer functions. We have developed a data ow analyzer generator PAG which is able to produce interprocedural analyzers for both techniques. We speciied two… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS
12 Citations
8 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Precise interpro - cedural data ow analysis via graph reachability

  • M. Sagiv, T. Reps, S. Horwitz
  • 1995
2 Excerpts

Precise interproceduraldata ow analysis with application to constant propagation

  • A. Pnueli
  • TAPSOFT ' 95 , Arhus , Denmark , LNCS
  • 1995

The Interprocedural Coincidence Theorem

  • F. Martin
  • Proceedings of the 4 th International Conference…
  • 1992

Similar Papers

Loading similar papers…