A Russo, A Sabelfeld - Proceedings of the 2010 23rd IEEE Computer …, 2010 - dl.acm.org
This paper seeks to answer fundamental questions about trade-offs between static and
dynamic security analysis. It has been previously shown that flow-sensitive static information …