address-sanitizer
Use AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.
Install
npx skillscat add plurigrid/asi/address-sanitizer Install via the SkillsCat registry.
This skill uses AddressSanitizer to detect memory safety bugs like use-after-free, buffer overflow, and memory leaks in C/C++ programs. It helps developers identify and fix critical memory errors that could lead to security vulnerabilities or crashes. Developers should use it during testing to improve code reliability and security.
Address Sanitizer Skill
Trit: -1 (MINUS)
Category: testing-handbook-skills
Author: Trail of Bits
Source: trailofbits/skills
License: 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.
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
Related Skills
- audit-context-building
- codeql
- semgrep
- variant-analysis
SDF Interleaving
This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):
Primary Chapter: 5. Evaluation
Concepts: eval, apply, interpreter, environment
GF(3) Balanced Triad
address-sanitizer (○) + SDF.Ch5 (−) + [balancer] (+) = 0Skill Trit: 0 (ERGODIC - coordination)
Connection Pattern
Evaluation interprets expressions. This skill processes or generates evaluable forms.