maat

C++ ★ 649 updated 2mo ago

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

No plain-English explanation yet — one is being written right now. Check back in a minute.