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

Maat：让符号执行变得简单

blog.trailofbits.com | 博客 | #reverse-engineering | #ghidra | #program-analysis | #symbolic-execution | #maat | #p-code

摘要

Trail of Bits 发布基于 Ghidra p-code IR 的跨架构符号执行框架 Maat，支持动态符号执行、污点分析、环境模拟，提供 C++ 与 Python API，比 Manticore 更低层、更易集成。
发布时间
收录时间

原文 ↗

相关内容

  1. Manticore 中的符号路径合并 (blog.trailofbits.com)
  2. 与符号执行的亲密接触 (blog.trailofbits.com)
  3. 从 .NET Native AOT 二进制文件中恢复元数据 (blog.washi.dev)
  4. 终于把BSIM讲清楚了！ (blog.quarkslab.com)
  5. Triton v0.8 与 ARMv7：新增架构支持指南 (blog.quarkslab.com)
  6. Triton v0.8 发布！ (blog.quarkslab.com)

返回