pymaat (pypi): Maat - Symbolic execution framework
Keywords: maat|symbolic|emulation|concolic|binary analysis|pcode