Issues
- 1
Length matching error when using the `and` bit operation on two conditional expressions
#383 opened by Lerr1uqs - 0
Non-terminating _excavate_ite
#380 opened by B03901108 - 0
Base.replace cannot work on Bool
#370 opened by francis0407 - 0
setup.cfg has a typo in url
#360 opened by moubctez - 3
Over-design for `BackendManager`?
#353 opened by syheliel - 3
9.2.47: various failing tests
#348 opened by dvzrv - 1
- 0
Expressions annotated with SimplificationAvoidanceAnnotation cause an AttributeError during simplification
#338 opened by mounir-khaled - 0
strided intervals: min_int() returns a negative value
#290 opened by lwerdna - 0
Z3 StringV abstraction broken
#298 opened by zwimer - 4
Unable to abstract StringS from Z3
#318 opened by zwimer - 4
strange eval behavior
#198 opened by anch0vy - 3
- 4
Frontend.downsize()
#321 opened by yaroslavyaroslav - 2
z3.Array support
#171 opened by bannsec - 0
Converting StringV to Z3 looses trailing null bytes
#315 opened by zwimer - 6
Deprecation warning for `__truediv__` for `BV`s
#308 opened by zwimer - 0
`pytest -n` fails because of `signal` occasionally
#312 opened by zwimer - 1
master's CI is hanging
#314 opened by zwimer - 2
Replace `__pos__` op with `lambda x: x`
#305 opened by zwimer - 1
Calling solver max twice changes the result.
#309 opened by zwimer - 1
pytest skips tests
#303 opened by zwimer - 6
- 0
Undeclared dependency on `six`
#294 opened by zwimer - 0
Widening operator doesn't widen
#289 opened by lwerdna - 1
VSA backend puts backend objects in AST args
#276 opened by zwimer - 4
- 3
CompositeFrontend _owned_solvers and _unchecked_solvers contain weak ref to local variables
#184 opened by gkso - 3
CompositeFrontend throws an exception due to an empty variable set when checking satisfiability
#185 opened by gkso - 12
z3 may generate internal constraints from incremental solves - these get lost during serialization
#241 opened by stef - 9
If I want to add new content to Claripy, is there a way not to modify its original code file?
#169 opened by ShadowLL - 4
'ValueSet' object has no attribute 'LShR'
#229 opened by anilavakundu - 2
eval output is not accurate
#189 opened by John2008Jm - 2
RecursionError: maximum recursion depth exceeded
#200 opened by yanlin0816 - 2
- 6
`claripy._backend_z3._abstract()` failed
#237 opened by hwu71 - 11
BVS sizing weirdness
#258 opened by EraVuksani - 2
- 1
- 2
How to customize simplification method?
#243 opened by Icegrave0391 - 3
solving constraint with initial value
#223 opened by bejab2020 - 0
_md5 ImportError on some Python distributions
#230 opened by recursiveMake - 3
Bool does not support rand/ror
#214 opened by SolalPirelli - 0
Incorrect result when performing a specific equality comparison of a symbolic value
#213 opened by dnivra - 4
problem with constraints
#203 opened by bejab2020 - 9
Bug in bitwise_or_simplifier?
#201 opened by edmcman - 4
Error in ast conversion
#197 opened by r4dr3fr4d - 4
problem with bit vector
#193 opened by bejab2020 - 2
- 1
[BUG] Float conversion to bitvector
#176 opened by SjRNMzU