SAFES: A Static Analysis for Field Security in Java Components.

Aiwu Shi, Gleb Naumovich

Browse the full SEKE paper archive.