文 档: 实用符号执行
作 者: 忽朝俭@绿盟科技
语 言: 中文
标 签 符号执行 RSA 漏洞检测 Symbolic
介 绍:

符号执行概述

  • 变异 or 生成

符号执行如何检测漏洞

符号执行遇到的主要问题

  • 路径爆炸,约束困顿,环境交互
  • 符号注入,约束爆炸
  • 约束收集

针对这些问题的可能环节方法

实验与结论

援 引:
附件下载
相关推荐
识别,评估,和保护信息资产
#如何应用模型 - 尝试定义它是什么,然后将其与模型关联 - 务必找到未使
实用符号执行
#符号执行概述 - 变异 or 生成 #符号执行如何检测漏洞 #符号执
测试达尔文主义:网络弹性的历史与演变
定义恢复能力 性能 安全性 稳定性
深入CRS漏洞检测框架osprey(鱼鹰)
ody在分享中表示,Osprey在今日的开源,也是源自于长久的积累。安全团队应该
RSA后门证明和应对方案
网传RSA收千万为NSA开后门,本议题旨在证明该后门的客观存在,并探讨企业级应对
为何自动化漏洞挖掘如此困难
漏洞挖掘是在二进制程序分析领域一个经久不衰的关键问题。现有的自动化漏洞挖掘技术多
阅读心得