a static analysis tool for finding vulnerabilities in C/C++ source code - View it on GitHub