Towards Practical Reactive Security Audit Using Extended Static Checkers | IEEE Conference Publication | IEEE Xplore