An exploration into modern static analysis tools for vulnerability research