angr是一个基于python的二进制分析框架，搞逆向可能用得着，记录一下。 帮助文档https://docs.angr.io/