Search results

AArch64 - The balancer is messing up an AST

bug

needs-triage

Status: Open.

#656 In angr/claripy;

· vladimir-aurora opened on Oct 27, 2025

De-polymorphize all ops

enhancement

needs-triage

Status: Open.

#497 In angr/claripy;

· twizmwazin opened on Sep 18, 2024

Ops which take an FPRM take it as the first arg

bug

needs-triage

Status: Open.

#496 In angr/claripy;

· twizmwazin opened on Sep 18, 2024

TestStrings.test_index_of_symbolic_start_idx usually hangs

bug

needs-triage

Status: Open.

#444 In angr/claripy;

· twizmwazin opened on Aug 19, 2024

Remove VSA types from claripy.ast.bv

bug

needs-triage

Status: Open.

#442 In angr/claripy;

· twizmwazin opened on Aug 19, 2024

Two Bugs in CFG Generation: Bit-Vector Length Mismatch and List Index Out of Range

bug

needs-triage

Status: Open.

#426 In angr/claripy;

· hwu71 opened on Jul 24, 2024

Length matching error when using the and bit operation on two conditional expressions

bug

needs-triage

Status: Open.

#383 In angr/claripy;

· Lerr1uqs opened on Dec 25, 2023

Non-terminating _excavate_ite

bug

Status: Open.

#380 In angr/claripy;

· B03901108 opened on Dec 18, 2023

ModelCacheMixin does not handle extra_constraints correctly for min

bug

Status: Open.

#324 In angr/claripy;

· g-kouv opened on Nov 30, 2022

strided intervals: min_int() returns a negative value

bug

Status: Open.

#290 In angr/claripy;

· lwerdna opened on Sep 10, 2022

Widening operator doesn't widen

Status: Open.

#289 In angr/claripy;

· lwerdna opened on Sep 7, 2022

z3 may generate internal constraints from incremental solves - these get lost during serialization

enhancement

pinned

Status: Open.

#241 In angr/claripy;

· stef opened on Oct 10, 2021