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

动态程序分析的问题

blog.trailofbits.com | 博客 | #memory-safety | #use-after-free | #tools | #vulnerability-discovery | #static-analysis | #llvm | #program-analysis | #data-flow | #pointsto | #data-flow-analysis

摘要

AddressSanitizer 等动态分析工具只能覆盖实际执行的代码路径；Trail of Bits 的 PointsTo 在 LLVM bitcode 上执行全程序静态数据流分析，可在大规模代码库中发现 use-after-free 漏洞。
发布时间
收录时间

原文 ↗

相关内容

  1. 使用 GWP-ASan 检测生产环境中的漏洞利用 (blog.trailofbits.com)
  2. 使用死存储消除优化提升的比特码 (blog.trailofbits.com)
  3. epoll 的 use-after-free 漏洞 (guysrd.github.io)
  4. FFmpeg 中的 21 个零日漏洞 (depthfirst.com)
  5. SCAF——基于 Clang 的源代码分析框架（Pre-alpha 预览） (blog.quarkslab.com)
  6. Droid ASC：面向移动安全与 AI Agent 的高性能按需 Android 反编译前端 (github.com)

返回