angr/claripy

View on GitHub

An abstraction layer for constraint solvers.

Stars: 334
Forks: 105
Open beginner issues: 0
Indexed issues: 13
Avg merge: 6h 1m
Merged PRs (30d): 3

Dominant language: Python
License: BSD-2-Clause
Last GitHub push: Sep 2, 2026
Latest indexed: Sep 13, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: help wanted

Open All

13 open issues indexed

z3.Array support Open

help wanted

angr/claripy#171 · 2 comments · 2 reactions · 0 assignees · Indexed Sep 13, 2026
z3 may generate internal constraints from incremental solves - these get lost during serialization Open

enhancement pinned

angr/claripy#241 · 12 comments · 1 reaction · 0 assignees · Indexed Sep 13, 2026
Widening operator doesn't widen Open

angr/claripy#289 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
strided intervals: min_int() returns a negative value Open

bug

angr/claripy#290 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
ModelCacheMixin does not handle extra_constraints correctly for min Open

bug

angr/claripy#324 · 3 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Non-terminating _excavate_ite Open

bug

angr/claripy#380 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Length matching error when using the `and` bit operation on two conditional expressions Open

bug needs-triage

angr/claripy#383 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Two Bugs in CFG Generation: Bit-Vector Length Mismatch and List Index Out of Range Open

bug needs-triage

angr/claripy#426 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Remove VSA types from `claripy.ast.bv` Open

bug needs-triage

angr/claripy#442 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
`TestStrings.test_index_of_symbolic_start_idx` usually hangs Open

bug needs-triage

angr/claripy#444 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Ops which take an FPRM take it as the first arg Open

bug needs-triage

angr/claripy#496 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
De-polymorphize all ops Open

enhancement needs-triage

angr/claripy#497 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
AArch64 - The balancer is messing up an AST Open

bug needs-triage

angr/claripy#656 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026

angr/claripy

Get new issues in your inbox