angr/angr-dev
Ver en GitHubSome helper scripts to set up an environment for angr development.
- Estrellas
- 124
- Forks
- 101
- Issues abiertos para principiantes
- 0
- Issues indexados
- 2
- Lenguaje dominante
- Shell
- Licencia
- BSD-2-Clause
- Último push a GitHub
- 6/8/2026
- Última indexación
- 13/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
- Métricas de merge de PR
- Sin PR fusionados en 30 d
-
enhancement
angr/angr-dev#144 · 3 comentarios · 0 reacciones · 0 asignados ·
-
Editable build in strict mode (#187) prevents git updates and breaks angr management plugins Abiertobug
angr/angr-dev#188 · 1 comentario · 0 reacciones · 1 asignado ·