Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

GaloisInc/MATE

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.

Owner
GaloisInc (organization)
Stars
Stars: 199
Forks
Forks: 14
Language
Python
License
BSD-3-Clause
Created
2022
Topics
code-property-graphllvmprogram-analysissecuritysecurity-researchstatic-analysissymbolic-execution
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

More repos by GaloisInc

All 15 repos by GaloisInc

Nearby in Python

All Python repos