Program Analysis

Static analysis, dynamic analysis, and bug detection

NeuralBlitz 2083f34 469 B Updated 1 repo stars

File contents

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

neuralblitz/mito/tree/main/.opencode/skills/program-analysis commit 2083f34627

Frequently asked questions

npx skillmds@latest add neuralblitz/program-analysis