A Practical Context-Sensitive Interprocedural Analysis Framework for C Compilers (1993)

by Laurie J Hendren, Maryam Emami, Rakesh Ghiya, Clark Verbrugge