April 12, 2022Maat - Open-source Symbolic Execution Framework
Maat is an open-source Dynamic Symbolic Execution and Binary Analysis framework. It provides various functionalities such as symbolic execution, taint analysis, constraint solving, binary loading, environment simulation, and...
by KitPloit
in
Maat, Python, Reporting, Sleigh, Symbolic Execution