program-analysis
Static analysis, dynamic analysis, and bug detection
Datos de origen
- Repositorio
- NeuralBlitz/Mito
- Última actividad en el origen
- 22 de marzo de 2026 a las 13:29
- Idioma detectado de SKILL.md
- inglés
- Estrellas
- 0
- Forks
- 0
Opciones de instalación
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Revisa los archivos de origen
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
Mostrando SKILL.md
SKILL.md
Instrucciones de origen · Vista previa de solo lectura- 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
Ver en GitHub