⭐ Star AlbumentationsX on GitHub — 448+ stars and counting!
trailofbits/maat
Open-source symbolic execution framework: https://maat.re
