SuperAPI AI 工具集

address-sanitizer

测试与质量

查看项目

更新于 10-16 03:43

技能介绍

用途:该技能面向 C/C++ 程序的内存安全检测,使用 AddressSanitizer 发现内存错误,包括释放后使用(use-after-free)、缓冲区溢出、内存泄漏以及其他内存问题。

来源与许可:资料标注作者为 Trail of Bits,来源为 trailofbits/skills,许可证为 AGPL-3.0。技能被归入 testing-handbook-skills 类别,Trit 标记为 -1(MINUS)。

使用方式:资料未提供具体安装命令、编译参数或运行步骤,仅说明这是 Trail of Bits 的安全技能,详细使用指南与示例需参考原始仓库 https://github.com/trailofbits/skills。

相关技能:audit-context-building、codeql、semgrep、variant-analysis。

其他说明:资料还提到与《Software Design for Flexibility》(Hanson & Sussman, 2021)第 5 章 Evaluation 的关联,涉及 eval、apply、interpreter、environment 等概念,并给出 GF(3) 平衡三元组与 Trit 0(ERGODIC,协调)的标记。这些属于技能体系内的元信息,不改变其内存检测用途。

限制:资料未提供支持平台、编译器版本、性能开销、误报率或收费信息,暂未提供。