GitHub repository: GaloisInc/MATE
Primary language: Python
Description: MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.