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

在 Manticore 中符号执行 WebAssembly

blog.trailofbits.com | 博客 | #binary-analysis | #blockchain | #trail-of-bits | #program-analysis | #symbolic-execution | #webassembly | #manticore | #ewasm | #wasm

摘要

Manticore 0.3.3 新增对 WebAssembly 二进制的符号执行支持：可穷举 WASM 程序的全部可达状态并反推产生给定状态的具体输入。文章介绍 WASM 在浏览器与以太坊 ewasm 场景的兴起，及其对安全分析的意义。
发布时间
收录时间

原文 ↗

相关内容

  1. Manticore 中的符号路径合并 (blog.trailofbits.com)
  2. Manticore：面向人类的符号执行 (blog.trailofbits.com)
  3. 状态分歧导致未经授权的访问 (blog.trailofbits.com)
  4. 新兴人才：2020 冬季实习亮点 (blog.trailofbits.com)
  5. 使用 KLEE-Native 进行二进制符号执行 (blog.trailofbits.com)
  6. Trail of Bits @ Devcon IV 回顾 (blog.trailofbits.com)

返回