Skip to content

Issues: seahorn/sea-dsa

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

10 Open 49 Closed
10 Open 49 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

CRASH: can't handle vectorTy in LoadInst / Gep
#159 opened Jan 28, 2024 by void0red
README.md suggests to use sudo pip documentation
#148 opened Jul 10, 2022 by WolframKahl
1
Question about "function never returning" question
#138 opened Jan 27, 2022 by adrianherrera
6
Question on realloc function. question
#135 opened Oct 13, 2021 by seccompgeek
1
Combination of O3 and UBSan makes seadsa crash on input analysis
#128 opened Jul 1, 2021 by pietroborrello
2
callee not simulated by caller bug
#103 opened Sep 10, 2020 by igcontreras
@caballa
Unnecessary nodes created when finding the cell of a global in a graph
#100 opened Sep 2, 2020 by igcontreras
@caballa
Oversharing with offset collapsed but types known
#99 opened Sep 2, 2020 by igcontreras
Question about inconsistency before/after LLVM's mem2reg optimization
#73 opened Apr 13, 2020 by shaobo-he
2
Wrong handling of global pointers in constant structs bug
#49 opened Oct 10, 2019 by danblitzhou
@caballa
3
ProTip! Find all open issues with in progress development work with linked:pr.