A survey of static code analysis methods for security vulnerabilities detection | IEEE Conference Publication | IEEE Xplore