Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
AlphaUncommon

trailofbits/maat

Open-source symbolic execution framework: https://maat.re

Owner
trailofbits (organization)
Stars
Stars: 651
Forks
Forks: 44
Language
C++
License
None
Created
2021
Tier
Alpha (250 to 699 ★) What this tier means
View on GitHub

More repos by trailofbits

All 75 repos by trailofbits

Nearby in C++

All C++ repos