Manticore UI: Link to DSL docs

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

We should provide a link to the MATE documentation for the constraint DSL, to help users when writing custom constraints.