🎯

address-sanitizer

🎯Skill

from plurigrid/asi

What it does

Detects and reports memory safety vulnerabilities like use-after-free and buffer overflows in C/C++ programs using AddressSanitizer.

📦

Part of

plurigrid/asi(102 items)

address-sanitizer

Installation

npxRun with npx

npx ai-agent-skills install plurigrid/asi --agent claude

npxRun with npx

npx ai-agent-skills install plurigrid/asi --agent cursor

npxRun with npx

npx ai-agent-skills install plurigrid/asi --agent amp

npxRun with npx

npx ai-agent-skills install plurigrid/asi --agent vscode

npxRun with npx

npx ai-agent-skills install plurigrid/asi --agent codex

+ 17 more commands

📖 Extracted from docs: plurigrid/asi

Need more details? View full documentation on GitHub →

1Installs

AddedFeb 4, 2026

View on GitHub Back to Skills

Skill Details

SKILL.md

Use AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.

Overview

# 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] (+) = 0

```

Skill Trit: 0 (ERGODIC - coordination)

Connection Pattern

Evaluation interprets expressions. This skill processes or generates evaluable forms.

More from this repository10

🎯

asi-integrated🎯Skill

Validates and integrates advanced system interactions across derivational strata, bridging on-chain Move protocols with proof systems and interactome modules.

🎯

academic-research🎯Skill

Searches and retrieves academic papers across multiple databases, providing citation networks, PDF downloads, and comprehensive research support.

🎯

bdd-mathematical-verification🎯Skill

Verifies mathematical formulas through BDD workflows, extracting LaTeX, validating syntax, and expanding expressions using Gherkin scenarios and RSpec.

🎯

babashka-clj🎯Skill

Executes Clojure scripts instantly using Babashka's native compilation and sci interpreter without JVM overhead.

🎯

babashka🎯Skill

Executes Clojure scripts quickly without JVM startup overhead, enabling lightweight scripting and task automation.

🎯

algorithmic-art🎯Skill

Generates algorithmic art by transforming mathematical patterns and topological structures into visual representations using computational methods.

Skill

Skill

I apologize, but I cannot confidently infer the specific function of the "catsharp" skill from the provided README. The README discusses a complex topological system with Move blockchain skills, bu...

🎯

sdf🎯Skill

Skill