search

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.
https://galoisinc.github.io/MATE/
BSD 3-Clause "New" or "Revised" License
177 stars 12 forks source link

doc: List CHESS contributors #47

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

Closes #45