symbolic execution tutorial:符号执行教程。 动手练习基于angr框架 源码

符号执行 滑梯 当前版本的幻灯片可。 下载幻灯片: 2020年5月16日修订版: 修订版2019-12-05: 修订2018-11-29: 动手 建立 请参阅 。 幻灯片范例 您可以在slide-example目录中找到源代码,二进制文件(Linux x86_64)和angr脚本。 必须自定义solve-example.py ,替换{XXX,YYY,ZZZ}占位符。 逻辑炸弹 可以在bomb/目录中找到Windows PE-32逻辑炸弹。 可以在linux-bomb/目录中找到非常相似Linux / x86_64 linux-bomb/ 。 源代码不可用。 用于解决第一阶段的angr