# GaloisInc/MATE

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

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

GaloisInc/MATE, dépôt open source à 199 étoiles sur GitHub. Carte Prototype de RepoMasters. MATE is a suite of tools for interactive program analysis with a…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [GaloisInc](https://repo.masters-masters.com/owners/GaloisInc) |
| Étoiles | 199 |
| Forks | 14 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | BSD-3-Clause |
| Création | 2022 |
| Sujets | code-property-graph, llvm, program-analysis, security, security-research, static-analysis, symbolic-execution |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [GaloisInc/MATE](https://github.com/GaloisInc/MATE) |

## Fiche du dépôt

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.

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de GaloisInc

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

## D’autres dépôts Python

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.