Automated vulnerability detection in source code - Batista, Arthur Quintino (2023)