实用符号执行 - VipRead 信息安全知识库

主页 / 安全会议 / RSA China 2012 / 实用符号执行

标题

实用符号执行
作者

忽朝俭@绿盟科技
标签

符号执行 RSA 漏洞检测 Symbolic
简介
符号执行概述
- 变异 or 生成
符号执行如何检测漏洞

符号执行遇到的主要问题
- 路径爆炸，约束困顿，环境交互
- 符号注入，约束爆炸
- 约束收集
针对这些问题的可能环节方法

实验与结论
提示

本站仅做资料的整理和索引,转载引用请注明出处

相关推荐

附件下载

AC.2005_MN(实用符号执行).pdf

时间: 2016-02-26T02:24:27Z 大小: 2.42 M 下载: 57

登录下载