Generation of Efficient Interprocedural Analyzers with PAG (1995)

by M Alt, F Martin
Venue:in SAS95, Static Analysis Symposium