Galois Open Sources Tools for Scanning C and C++ Code for Vulnerabilities