👷 Мы всегда заняты разработкой... что вы хотите увидеть в Audit Wizard в следующий раз?

- Fuzz-тестеры, такие как Foundry/Echidna/Medusa
- Инструменты формальной проверки, такие как Certora/Kontrol/Scribble
- Инструменты символического исполнения, такие как Simbolik/Pyrometer/Halmos
- Инструменты мутационного тестирования, такие как Gambit