# Program Analysis

> Static analysis, dynamic analysis, and bug detection

- Skill: `neuralblitz/program-analysis` (Agent Skill)
- Install (CLI): `npx skillmds@latest add neuralblitz/program-analysis`
- Raw SKILL.md: https://api.skillmd.com/api/skills/neuralblitz/program-analysis/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- License: MIT
- Author: NeuralBlitz (https://skillmd.com/u/neuralblitz)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/neuralblitz/program-analysis

---


## What I do
- Analyze programs statically
- Detect bugs and vulnerabilities
- Apply dynamic analysis
- Build analysis tools

## When to use me
When working on program analysis or security auditing.

## Key Concepts
- Data flow analysis
- Control flow analysis
- Taint analysis
- Symbolic execution
- Fuzz testing
- Abstract interpretation
- Program slicing