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

标题

实用符号执行
作者

忽朝俭@绿盟科技
标签

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

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

实验与结论
提示

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