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.

语言：Python · GitHub 星标：199 · Fork：14

话题：code-property-graph · llvm · program-analysis · security · security-research · static-analysis · symbolic-execution

在 GitHub 上查看原仓库