Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects - View it on GitHub