用比较官方的话来说，Angr 是一个多架构的二进制分析平台，具备对二进制文件的动态符号执行能力和多种静态分析能力。 什么是符号执行 …