Modular and Constraint-based Information Flow Inference for an Object-oriented Language (2004)

by Qi Sun , Anindya Banerjee , David A. Naumann
Venue:In Proc. of the Eleventh International Static Analysis Symposium (SAS
Citations:26 - 9 self