Machine learning for finding bugs: An initial report
ALETHEIA: Improving the Usability of Static Security Analysis