manticore (pypi): Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Keywords: binary-analysis|blockchain|emulation|ethereum|program-analysis|python|security|smt|symbolic-execution|testing|z3