EvilCoder: automated bug insertion
Modeling and Discovering Vulnerabilities with Code Property Graphs