Interprocedural shape analysis for cutpointfree programs (2005)

by Noam Rinetzky , Mooly Sagiv , Eran Yahav
Venue:In International Static Analysis Symposium (SAS
Citations:42 - 7 self