Maat: Open-Source Dynamic Symbolic Execution and Binary Analysis Frameworkgithub.com/trailofbits5 pointsingve4 years ago