Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects - Pereira, Jose D'Abruzzo (2021)