angr (pypi): A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
Keywords: analysis|angr|binary|hacktoberfest