符号执行 滑梯 当前版本的幻灯片可。 下载幻灯片： 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/目录中找到非常相似