1. Opengrep 一周年:我们构建了什么以及下一步计划 博客 | 2026-05-12 00:00 | aikido.dev | 原文 ↗ | #appsec | #open-source | #sast
2. Trailmark 将代码转化为安全分析图谱 博客 | 2026-04-23 12:00 | blog.trailofbits.com | 原文 ↗ | #agentic-ai | #appsec | #open-source
4. 使用静态分析平台QueryX发现固件漏洞 漏洞 | 2024-11-06 15:00 | CVE-2023-39471 | theori.io | 原文 ↗ | #firmware | #static-analysis | #taint-analysis
5. 使用 Binary Ninja 进行反向污点分析 博客 | 2019-08-29 10:50 | blog.trailofbits.com | 原文 ↗ | #open-source | #fuzzing | #reverse-engineering
6. Manticore:面向人类的符号执行 博客 | 2017-04-27 04:00 | blog.trailofbits.com | 原文 ↗ | #open-source | #binary-analysis | #instrumentation