GitHub repository: Boyan-MILANOV/maat
Primary language: C++
Description: Maat is an open-source Dynamic Symbolic Execution framework. It provides several functionnalities such as symbolic execution, taint analysis, constraint solving, binary loading, and assembly lifting: