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.
Flowfinder has more UI elements now that should be documented and added to the screenshots.
We should add a visual indicator that a state ended with an error, the same way we indicate states that contain potential bugs. I'm thinking either adding text like `State...
Many places in the documentation refer to node/edge IDs as UUIDs, but this is incorrect.
We should have configuration settings (checkboxes?) that allow us to enable or disable Manticore's various detectors (e.g. concrete OOB) for a particular under-constrained Manticore run. Detectors can de enabled/disabled with...
It would be nice to group all memory locations that are aliases of one another, just like how instructions in the same function are grouped and collapsible.
The REST API should have an endpoint that reports the overall health of the MATE instance, maybe a few top-level statistics about the DB.
If I'm looking at a dataflow query from user input to some dangerous sink... I probably don't care about constant nodes. We could have a toggle for these similar to...
I think it would be useful and quite general to add two new context menu items that work on any kind of node, one for showing incoming edges and one...
The tests for all the different MATE packages live in a top-level `tests/` directotry, some should be put in `{package_name}/test` subdirectories depending on which package they test. Project-wide/integration tests (such...
This came up during yesterday's dogfooding session: `DWARFType`s are a little bit easier to query for, but they're difficult to relate back to the LLVM-level CPG components. To get from...