Skip to content

Issues: angr/claripy

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

15 Open 102 Closed
15 Open 102 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

FP.isNaN() and FP.isInf() broken for FPV bug
#571 opened Nov 17, 2024 by antifob
1
@twizmwazin
Extract args are unintuitive refactor
#502 opened Sep 20, 2024 by twizmwazin
5
De-polymorphize all ops enhancement needs-triage
#497 opened Sep 18, 2024 by twizmwazin
Ops which take an FPRM take it as the first arg bug needs-triage
#496 opened Sep 18, 2024 by twizmwazin
1
Remove uc_alloc_depth and uninitialized fields from Base bug needs-triage
#445 opened Aug 20, 2024 by twizmwazin
TestStrings.test_index_of_symbolic_start_idx usually hangs bug needs-triage
#444 opened Aug 19, 2024 by twizmwazin
1
Remove VSA types from claripy.ast.bv bug needs-triage
#442 opened Aug 19, 2024 by twizmwazin
Two Bugs in CFG Generation: Bit-Vector Length Mismatch and List Index Out of Range bug needs-triage
#426 opened Jul 24, 2024 by hwu71
1
Length matching error when using the and bit operation on two conditional expressions bug needs-triage
#383 opened Dec 25, 2023 by Lerr1uqs
1
Non-terminating _excavate_ite bug
#380 opened Dec 18, 2023 by B03901108
@ltfish
1
ModelCacheMixin does not handle extra_constraints correctly for min bug
#324 opened Nov 30, 2022 by g-kouv
@ltfish
3
strided intervals: min_int() returns a negative value bug
#290 opened Sep 10, 2022 by lwerdna
@ltfish
Widening operator doesn't widen
#289 opened Sep 7, 2022 by lwerdna
z3 may generate internal constraints from incremental solves - these get lost during serialization enhancement pinned
#241 opened Oct 10, 2021 by stef
12
z3.Array support help wanted
#171 opened Apr 18, 2020 by bannsec
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.