Flowfinder: Group aliased memory locations

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

Flowfinder: Group aliased memory locations #20

Open langston-barrett opened 2 years ago

langston-barrett commented 2 years ago

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.