# GaloisInc/MATE

<https://repo.masters-masters.com/en/repos/GaloisInc/MATE>

[Home](https://repo.masters-masters.com/en) › [GaloisInc](https://repo.masters-masters.com/en/owners/GaloisInc) › [MATE](https://repo.masters-masters.com/en/repos/GaloisInc/MATE)

GaloisInc/MATE has 199 stars on GitHub. Its RepoMasters card: Prototype tier. MATE is a suite of tools for interactive program analysis with a focus on…

| Field | Value |
| --- | --- |
| Owner | [GaloisInc](https://repo.masters-masters.com/en/owners/GaloisInc) |
| Stars | 199 |
| Forks | 14 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | BSD-3-Clause |
| Created | 2022 |
| Topics | code-property-graph, llvm, program-analysis, security, security-research, static-analysis, symbolic-execution |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [GaloisInc/MATE](https://github.com/GaloisInc/MATE) |

## Repository

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.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by GaloisInc

- [GaloisInc/cryptol · ★ 1,227 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/cryptol)
- [GaloisInc/HaLVM · ★ 1,069 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/HaLVM)
- [GaloisInc/crucible · ★ 781 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/crucible)
- [GaloisInc/saw-script · ★ 525 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/saw-script)
- [GaloisInc/ivory · ★ 417 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/ivory)
- [GaloisInc/swanky · ★ 366 · Sieve · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/swanky)

## Nearby in Python

- [chenkanglin198904/Personal\_External\_Brain · ★ 199 · Python · Prototype](https://repo.masters-masters.com/en/repos/chenkanglin198904/Personal_External_Brain)
- [amiya-special/Dynaflow · ★ 199 · Python · Prototype](https://repo.masters-masters.com/en/repos/amiya-special/Dynaflow)
- [Ha11oWe1t/agent-learning · ★ 199 · Python · Prototype](https://repo.masters-masters.com/en/repos/Ha11oWe1t/agent-learning)
- [vascop/Python-Arduino-Proto-API-v2 · ★ 199 · Python · Prototype](https://repo.masters-masters.com/en/repos/vascop/Python-Arduino-Proto-API-v2)
- [mjhea0/Scrapy-Samples · ★ 199 · Python · Prototype](https://repo.masters-masters.com/en/repos/mjhea0/Scrapy-Samples)
- [Linutronix/elbe · ★ 199 · Python · Prototype](https://repo.masters-masters.com/en/repos/Linutronix/elbe)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.