MATE
MATE copied to clipboard
GaloisInc
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.
Hi there, I am crazy about MATE. When I tried to put a [sample C code with UAF vulnerabilities (Link attached)](https://github.com/yuawn/NTU-Computer-Security/blob/d6af31d7b71304ff6f44c8faa454815783923035/week3/src/uaf.c), MATE showed nothing and just an empty page in...
This is a test program developed by Apogee Research that we used extensively in MATE's tests. They intend to go through the necessary steps to get approval for us to...
The notebook tutorial is currently a sequence of code blocks and their outputs embedded into markup. But this is exactly what Jupyter notebooks are for! We should convert the tutorial...
The CI build does not yet lint and check code formatting.
Right now, if you have a `DWARFType` `foo` and you want to get some of its common derivations (e.g. `foo *`, `const foo *`), you need to jump through some...
We should provide a link to the MATE documentation for the constraint DSL, to help users when writing custom constraints.
MATE currently isn't safe to expose to the public facing internet, and won't be without a decent amount of service hardening. We should document the current security considerations required during...
When there are no compilations, builds, or snapshots, the MATE UI is pretty bare: it just shows some empty tables. If I were a novice user, it might not be...
The Manticore UI currently reports virtual addresses of potential bugs; it should use the CPG to map back to source spans.
``` ImportError: cannot import name 'config' from 'manticore.utils' (/mate/.out/bdist/local/lib/python3.8/site-packages/manticore/utils/__init__.py) ``` https://github.com/GaloisInc/MATE/runs/7997547235?check_suite_focus=true