TVLA: A system for implementing static analyses. (2000)

by T Lev-Ami, M Sagiv
Venue:In Proc. 7th International Static Analysis Symposium,