Dynamic vs. static flowsensitive security analysis (2010)

by Alejandro Russo, Andrei Sabelfeld
Venue:In IEEE Computer Security Foundations Symposium. IEEE Computer Society