DMC is a tool for detecting potentially malicious behavior in C/C++ codebases using static information-flow analysis. - View it on GitHub