Generation of efficient interprocedural analyzers with PAG (1995)

by Martin Alt, Florian Martin
Venue:In Proceedings of the Second INternational Symposium on Static Analysis