angr

 https://angr.io/

CTF | Python | Reverse Engineering | Tools

angr is a python framework for analyzing binaries. It combines both static and dynamic symbolic ("concolic") analysis, making it applicable to a variety of tasks.