Auditing Code for Security Vulnerabilities with CodeSonar | IEEE Conference Publication | IEEE Xplore