https://galoisinc.github.io/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/

code-property-graph llvm program-analysis security security-research static-analysis symbolic-execution

Last synced: 4 months ago
JSON representation

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.

• Host: GitHub
• URL: https://galoisinc.github.io/MATE/
• Owner: GaloisInc
• License: bsd-3-clause
• Created: 2022-01-26T21:02:32.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-10-29T22:50:06.000Z (over 1 year ago)
• Last Synced: 2024-01-17T19:20:01.961Z (6 months ago)
• Topics: code-property-graph, llvm, program-analysis, security, security-research, static-analysis, symbolic-execution
• Language: Python
• Homepage: https://galoisinc.github.io/MATE/
• Size: 117 MB
• Stars: 163
• Watchers: 14
• Forks: 10
• Open Issues: 37
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• static-analysis - MATE - specific and low-level vulnerability analysis using code property graphs (CPGs), enabling the discovery of highly application-specific vulnerabilities that depend on both implementation details and the high-level semantics of target C/C++ programs. (Programming Languages)

README

        
# MATE

MATE is a suite of tools for interactive program analysis with a focus on

hunting for bugs in C and C++ code. MATE unifies application-specific and

low-level vulnerability analysis using code property graphs (CPGs), enabling the

discovery of highly application-specific vulnerabilities that depend on both

implementation details and the high-level semantics of target C/C++ programs.

See [the online documentation][docs] for more information.

## Acknowledgements

This material is based upon work supported by the United States Air Force and

Defense Advanced Research Project Agency (DARPA) under

Contract No. FA8750-19-C-0004. Any opinions, findings and conclusions or

recommendations expressed in this material are those of the author(s) and do

not necessarily reflect the views of the United States Air Force or DARPA.

Approved for Public Release, Distribution Unlimited.

[docs]: https://galoisinc.github.io/MATE/