https://github.com/GaloisInc/MATE
GitHub - GaloisInc/MATE: MATE is a suite of tools for interactive program analysis with a focus on...
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. - GaloisInc/MATE