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.
This would be a low-effort way to vastly expand the set of programs that the compilation pipeline can handle. For example, many of the programs in the [gllvm examples](https://github.com/SRI-CSL/gllvm/tree/master/examples) would...
We might want to define and test for some high level CPG invariants, such as: * Do we expect our CPG to be connected, i.e. for there to be a...
Update the CPG to better account for exceptions. Some tasks: * [ ] Add CallReturn nodes for exceptional return values (perhaps `CallThrow`?) * [ ] Distinguish between regular and exceptional...
We repeatedly have questions like these, which I haven't thought through the answers to thoroughly enough. I'd like to take the time to consider them more deeply, list pros and...
This functionality has bitrotted. Associated documentation `doc/traces.rst` should also go. Migrated from internal (Gitlab) MATE issue number(s) 476.
We've been testing MATE on codebases that are either C++ or C, but many real-world codebases are both. We should confirm that, particularly on the machine code mapping side, having...
`endpoints.json` would be a useful addition to the generated CPG schema documentation. Migrated from internal (Gitlab) MATE issue number(s) 258.
MATE's support for varargs functions is limited. We don't create `Argument` nor `ParamBinding` CPG nodes for these functions. Migrated from internal (Gitlab) MATE issue number(s) 149, 178.
