Quellinformationen
- Repository
- NeuralBlitz/Mito
- Letzte Quellaktivität
- 22. März 2026 um 13:29
- Erkannte Sprache von SKILL.md
- Englisch
- Sterne
- 0
- Forks
- 0
Installationsoptionen
Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.
Quelldateien prüfen
Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.
SKILL.md wird angezeigt
SKILL.md
Quellanweisungen · Schreibgeschützte Vorschau- name
- program-analysis
- description
- Static analysis, dynamic analysis, and bug detection
- license
- MIT
- compatibility
- opencode
- metadata
- {"audience":"researchers","category":"computer-science"}
## 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
Auf GitHub ansehen