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.
BSD 3-Clause "New" or "Revised" License
177
stars
12
forks
source link
Intermittent CI failure: `cannot import name 'config' from 'manticore.utils'` #35
Open
langston-barrett opened 2 years ago
https://github.com/GaloisInc/MATE/runs/7997547235?check_suite_focus=true