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

使用多级 IR 和 VAST 在 C 代码中寻找缺陷

blog.trailofbits.com | 漏洞 | #vulnerability-research | #c | #static-analysis | #llvm | #program-analysis | #compilers | #mlir | #reversing | #vast

摘要

Trail of Bits 推出基于 MLIR 的 VAST 工具，提供「多层 IR 塔」，让程序分析可在不同抽象层级间上下穿梭，以识别、分类并修复栈缓冲区溢出等 C 代码缺陷，跨越语义鸿沟。
发布时间
收录时间

原文 ↗

相关内容

  1. 编译器内部探秘：别动我的 memset (blog.quarkslab.com)
  2. Holy Macroni！一种渐进式语言增强的配方 (blog.trailofbits.com)
  3. 使用 blight 实现高保真构建插桩 (blog.trailofbits.com)
  4. 从零打造一个 LLVM Sanitizer (blog.trailofbits.com)
  5. 动态程序分析的问题 (blog.trailofbits.com)
  6. 编译期混淆，重塑（ReMASTer）应用程序 (blog.trailofbits.com)

返回