使用 CodeQL 检测迭代器失效
blog.trailofbits.com | 博客 | #vulnerability-research | #vulnerabilities | #static-analysis | #codeql | #cpp | #iterator-invalidation | #undefined-behavior
摘要
Itergator 是 Trail of Bits 实习生开发的一组 CodeQL 类与查询,用于检测 C++ 迭代器失效——一种常导致可利用漏洞的未定义行为,并已在真实开源项目中发现问题,输出对审计员友好。
- 发布时间
- 收录时间
Skip to content