会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
linux-123
博客园
首页
新随笔
联系
订阅
管理
2021年5月10日
如何利用 KLEE 符号执行引擎挖掘软件漏洞
摘要: 将符号执行应用于任意真实程序很难,你通常必须对执行环境建模,并找到有效的方法来应对不确定性和路径爆炸。动态符号执行的想法是在任何输入上执行一个软件,同时探索所有可能的执行路径,而无需指定具体值。 具体示例如下,其中输入x未知,即符号: 符号执行在所有三个执行路径(x < 0, x > 100, 0
阅读全文
posted @ 2021-05-10 08:49 linux-123
阅读(255)
评论(0)
推荐(0)
编辑
公告