Modeling And Discovering Vulnerabilities With Code Property Graphs