skills.rest
Static-Analyzer-FactoryStatic-Analyzer-FactoryOfficial·2 Agent Skills Included

static-analyzer-factory

Static analysis for finding C and C++ memory bugs

Analyzes LLVM IR from C and C++ programs to detect memory leaks, double-free, use-after-free, and null dereference bugs. Provides pointer analysis, value-flow graphs, and taint tracking through a Python SDK and command-line interface. Guides structured development of new bug-finding checkers and analysis features with deterministic, testable workflows. Exports findings in SARIF and JSON for direct IDE and CI integration.
69|5
↗
npx skills add Static-Analyzer-Factory/static-analyzer-factory --all -g -y
Available:

Instructs the agent on SAF's architecture, Docker-only build and test commands, determinism rules, and coding conventions so it can develop analyzers and checkers without breaking project invariants.

All Skills in This Repository (2)

Pure Emerald Level Indicators
📦 In Repo
Static-Analyzer-FactoryStatic-Analyzer-Factory

saf-checker-dev

Guide spec-first development of SAF bug-finding checkers and typestate specifications.

Official
Advanced
📦 In Repo
Static-Analyzer-FactoryStatic-Analyzer-Factory

saf-feature-dev

Automate SAF feature development across frontend, core analysis, Python SDK, and CLI.

Official
Advanced

Frequently Asked Questions

FAQPage Schema
How to install Static Analyzer Factory?▼

Run `npx skills add Static-Analyzer-Factory/static-analyzer-factory --all -g -y` in your terminal to install all skills in this suite globally.

What bugs can SAF detect in C/C++ code?▼

SAF detects memory leaks, double-free, use-after-free, null pointer dereference, and taint-flow vulnerabilities by analyzing LLVM IR with pointer analysis and value-flow graphs.

How do I write a custom bug checker with SAF?▼

The saf-checker-dev skill guides you through a spec-first workflow: define sources, sinks, and sanitizers in a declarative spec, then add paired C test programs and run tests inside Docker.

Does SAF work with Claude Code and other coding agents?▼

Yes. The included skills follow the universal SKILL.md standard and run in Claude Code, Cursor, and other compatible coding environments.

Why does SAF require Docker for builds and tests?▼

LLVM 18 and 22 toolchains are only available inside the provided Docker containers, so all compilation and testing must run through make commands rather than local cargo builds.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills