Manticore UI: Link bug reports to source 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

Open langston-barrett opened 2 years ago

langston-barrett commented 2 years ago

The Manticore UI currently reports virtual addresses of potential bugs; it should use the CPG to map back to source spans.