文件名称：angr-doc:Angr套件的文档
文件大小：6.41MB
文件格式：ZIP
更新时间：2024-05-19 02:10:52
Python
什么是愤怒，我该如何使用它？ angr是一个多体系结构的二进制分析工具包，具有对二进制文件执行动态符号执行（如Mayhem，KLEE等）和各种静态分析的功能。 如果您想学习如何使用它，那么您来对地方了！ 我们试图使angr尽可能轻松地使用-我们的目标是创建一个用户友好的二进制分析套件，使用户可以简单地启动iPython并使用几个命令轻松地执行密集的二进制分析。 话虽这么说，二进制分析是复杂的，这使angr变得复杂。 本文档旨在通过提供叙述性解释和对Angr及其设计的探索来对此进行帮助。 以编程方式分析二进制文件必须克服几个挑战。 它们大致是： 将二进制文件加载到分析程序中。 将二进制文件转换为中间表示（IR）。 进行实际分析。 可能是： 部分或全部程序静态分析（即，依赖性分析，程序切片）。 对程序状态空间的象征性探索（即，“我们可以在发现溢出之前执行它吗？”）。 以上各项