Mate: Interactive Program Analysis with Code Property Graphs (opens in new tab)

(galois.com)

13 pointsshpat3y ago2 comments

2 comments

Weird that they'd put out a blog post when their docs <https://galoisinc.github.io/MATE/overview.html#status> say

> MATE is not actively developed by Galois, Inc. Please reach out to the email address “mate at galois dot com” if you’d like to discuss further work on MATE!

but I'm guessing maybe it's just stale docs, since they pushed the repo 2 weeks ago: https://github.com/GaloisInc/MATE/commits/main

thinkmoore3y ago

Developer here: "not actively developed" might be a little strong---we currently don't have resources dedicated to quickly responding to issues, but we're not planning on abandoning it.

j / k navigate · click thread line to collapse

2 comments

mdaniel3y ago

Weird that they'd put out a blog post when their docs <https://galoisinc.github.io/MATE/overview.html#status> say

> MATE is not actively developed by Galois, Inc. Please reach out to the email address “mate at galois dot com” if you’d like to discuss further work on MATE!

but I'm guessing maybe it's just stale docs, since they pushed the repo 2 weeks ago: https://github.com/GaloisInc/MATE/commits/main

thinkmoore3y ago

Developer here: "not actively developed" might be a little strong---we currently don't have resources dedicated to quickly responding to issues, but we're not planning on abandoning it.

j / k navigate · click thread line to collapse