3 ms·Towards practical reactive security audit using extended static checkers [pdf]1 points by lelf 12y ago