非影资讯
P非影 English
面向安全从业者的中英双语安全研究与漏洞情报精选。

Manticore 中的符号路径合并

blog.trailofbits.com | 博客 | #research | #program-analysis | #symbolic-execution | #manticore | #state-merging

摘要

冬季实习项目研究 Manticore 中的符号路径合并：在同一程序位置合并相似的符号状态，可在简单程序上减少 33% 的探索路径，缓解符号执行固有的路径爆炸问题。
发布时间
收录时间

原文 ↗

相关内容

  1. 新兴人才：2020 冬季实习亮点 (blog.trailofbits.com)
  2. 在 Manticore 中符号执行 WebAssembly (blog.trailofbits.com)
  3. 对密码学原语执行混合符号执行 (blog.trailofbits.com)
  4. Trail of Bits @ Devcon IV 回顾 (blog.trailofbits.com)
  5. RSA 签名的故障分析 (blog.trailofbits.com)
  6. 以太坊主题 Empire Hacking 活动视频 (blog.trailofbits.com)

返回