Open-source symbolic execution framework: https://maat.re - View it on GitHub