Back to Details

address-sanitizer

Compare original and translation side by side

🇺🇸

Original

English
🇨🇳

Translation

Chinese

Address Sanitizer Skill

Address Sanitizer 技能

Trit: -1 (MINUS) Category: testing-handbook-skills Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0
Trit: -1（负向） 分类: 测试手册技能 作者: Trail of Bits 来源: trailofbits/skills 许可证: AGPL-3.0

Description

描述

Use AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.
使用AddressSanitizer检测C/C++程序中的内存安全漏洞，可识别释放后使用、缓冲区溢出、内存泄漏及其他内存错误。

When to Use

使用场景

This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.
See: https://github.com/trailofbits/skills
这是Trail of Bits的安全技能。有关详细使用指南和示例，请参考原始代码仓库。
详见：https://github.com/trailofbits/skills

Related Skills

相关技能

  • audit-context-building
  • codeql
  • semgrep
  • variant-analysis
  • audit-context-building
  • codeql
  • semgrep
  • variant-analysis

SDF Interleaving

SDF 交互

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):
本技能与《Software Design for Flexibility》（Hanson & Sussman，2021）相关联：

Primary Chapter: 5. Evaluation

核心章节：5. 求值

Concepts: eval, apply, interpreter, environment
概念: eval, apply, 解释器, 环境

GF(3) Balanced Triad

GF(3) 平衡三元组

address-sanitizer (○) + SDF.Ch5 (−) + [balancer] (+) = 0
Skill Trit: 0 (ERGODIC - coordination)
address-sanitizer (○) + SDF.Ch5 (−) + [balancer] (+) = 0
技能Trit: 0（遍历性 - 协调）

Connection Pattern

关联模式

Evaluation interprets expressions. This skill processes or generates evaluable forms.
求值过程会解析表达式。本技能处理或生成可求值的形式。