angr/claripy
Ver en GitHubAn abstraction layer for constraint solvers.
- Estrellas
- 334
- Forks
- 105
- Issues abiertos para principiantes
- 0
- Issues indexados
- 13
- Merge medio
- 6 h 1 min
- PR fusionados (30 d)
- 3
- Lenguaje dominante
- Python
- Licencia
- BSD-2-Clause
- Último push a GitHub
- 2/9/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
- help wanted
-
z3.Array support Abiertohelp wanted
angr/claripy#171 · 2 comentarios · 2 reacciones · 0 asignados ·
-
z3 may generate internal constraints from incremental solves - these get lost during serialization Abiertoenhancement pinned
angr/claripy#241 · 12 comentarios · 1 reacción · 0 asignados ·
-
Widening operator doesn't widen Abierto
angr/claripy#289 · 0 comentarios · 0 reacciones · 0 asignados ·
-
bug
angr/claripy#290 · 0 comentarios · 0 reacciones · 1 asignado ·
-
bug
angr/claripy#324 · 3 comentarios · 0 reacciones · 1 asignado ·
-
Non-terminating _excavate_ite Abiertobug
angr/claripy#380 · 1 comentario · 0 reacciones · 1 asignado ·
-
bug needs-triage
angr/claripy#383 · 1 comentario · 0 reacciones · 0 asignados ·
-
bug needs-triage
angr/claripy#426 · 1 comentario · 0 reacciones · 0 asignados ·
-
bug needs-triage
angr/claripy#442 · 0 comentarios · 0 reacciones · 0 asignados ·
-
bug needs-triage
angr/claripy#444 · 0 comentarios · 0 reacciones · 0 asignados ·
-
bug needs-triage
angr/claripy#496 · 0 comentarios · 0 reacciones · 0 asignados ·
-
De-polymorphize all ops Abiertoenhancement needs-triage
angr/claripy#497 · 0 comentarios · 0 reacciones · 0 asignados ·
-
bug needs-triage
angr/claripy#656 · 0 comentarios · 0 reacciones · 0 asignados ·