angr/claripy
Xem trên GitHubAn abstraction layer for constraint solvers.
- Star
- 334
- Fork
- 105
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 13
- Merge trung bình
- 6 giờ 1 phút
- Pull request đã merge (30 ngày)
- 3
- Ngôn ngữ chính
- Python
- Giấy phép
- BSD-2-Clause
- Lần push lên GitHub gần nhất
- 2/9/2026
- Lập chỉ mục gần nhất
- 13/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- help wanted
-
z3.Array support Đang mởhelp wanted
angr/claripy#171 · 2 bình luận · 2 reaction · 0 người được giao ·
-
z3 may generate internal constraints from incremental solves - these get lost during serialization Đang mởenhancement pinned
angr/claripy#241 · 12 bình luận · 1 reaction · 0 người được giao ·
-
Widening operator doesn't widen Đang mở
angr/claripy#289 · 0 bình luận · 0 reaction · 0 người được giao ·
-
bug
angr/claripy#290 · 0 bình luận · 0 reaction · 1 người được giao ·
-
bug
angr/claripy#324 · 3 bình luận · 0 reaction · 1 người được giao ·
-
Non-terminating _excavate_ite Đang mởbug
angr/claripy#380 · 1 bình luận · 0 reaction · 1 người được giao ·
-
bug needs-triage
angr/claripy#383 · 1 bình luận · 0 reaction · 0 người được giao ·
-
bug needs-triage
angr/claripy#426 · 1 bình luận · 0 reaction · 0 người được giao ·
-
bug needs-triage
angr/claripy#442 · 0 bình luận · 0 reaction · 0 người được giao ·
-
bug needs-triage
angr/claripy#444 · 0 bình luận · 0 reaction · 0 người được giao ·
-
bug needs-triage
angr/claripy#496 · 0 bình luận · 0 reaction · 0 người được giao ·
-
De-polymorphize all ops Đang mởenhancement needs-triage
angr/claripy#497 · 0 bình luận · 0 reaction · 0 người được giao ·
-
bug needs-triage
angr/claripy#656 · 0 bình luận · 0 reaction · 0 người được giao ·