Julien Vanegue, Shuvendu K. Lahiri. Towards Practical Reactive Security Audit Using Extended Static Checkers. In 2013 IEEE Symposium on Security and Privacy, SP 2013, Berkeley, CA, USA, May 19-22, 2013. pages 33-47, IEEE Computer Society, 2013. [doi]
Abstract is missing.