Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits
PrototypeCommune

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.

Propriétaire
GaloisInc (organisation)
Étoiles
Étoiles : 199
Forks
Forks : 14
Langage
Python
Licence
BSD-3-Clause
Création
2022
Sujets
code-property-graphllvmprogram-analysissecuritysecurity-researchstatic-analysissymbolic-execution
Rang
Prototype (100 à 249 ★) Ce que veut dire ce rang
Voir sur GitHub

Autres dépôts de GaloisInc

Les 15 dépôts de GaloisInc

D’autres dépôts Python

Tous les dépôts Python