Skip to content

Issues: lifting-bits/rellic

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

29 Open 93 Closed
29 Open 93 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Rellic produces semantically non-equivalent code bug Something isn't working
#325 opened May 18, 2023 by vmihalko
1
Scheduled CI runs are failing bug Something isn't working testing Related to testing and CI
#318 opened Feb 2, 2023 by ekilmer
Use new user-extension points to inject debug info
#316 opened Jan 4, 2023 by frabert
Canonicalization pass
#311 opened Oct 24, 2022 by pgoodman
Investigate reworking CBR and RBR to match Dream
#291 opened Aug 12, 2022 by frabert
Inline asm is treated as extern functions and discarded
#290 opened Aug 11, 2022 by frabert
Move invalid store handling to an LLVM pass
#228 opened Feb 16, 2022 by frabert
Using substitution maps for provenance tracking loses info
#221 opened Feb 10, 2022 by frabert
2
Unsupported value type with mcsema bitcode
#220 opened Feb 6, 2022 by Heath123
4
Run regression tests in CI
#214 opened Jan 10, 2022 by artemdinaburg
3 tasks
Compare results of expression simplifier on vs. off
#213 opened Jan 10, 2022 by artemdinaburg
Investigate integration of other SMT solvers via smt-switch decomp Related to LLVM IR to C decompiler enhancement New feature or request
#203 opened Dec 8, 2021 by surovic
Recover type information decomp Related to LLVM IR to C decompiler enhancement New feature or request user-story
#190 opened Oct 21, 2021 by frabert
8
Merge local variables and parameter declarations when possible decomp Related to LLVM IR to C decompiler enhancement New feature or request user-story
#188 opened Oct 19, 2021 by frabert
5
Maintain gotos when present in the original C code decomp Related to LLVM IR to C decompiler enhancement New feature or request user-story
#186 opened Oct 19, 2021 by frabert
3
Handle AddrSpace casts
#160 opened Jul 15, 2021 by artemdinaburg
2
Add proper handling of undef values
#159 opened Jul 15, 2021 by surovic
1
error: expression is not assignable
#156 opened Jul 14, 2021 by surovic
Clang's O1 hinders Z3 condition simplification
#154 opened Jul 14, 2021 by surovic
Add LLVM IR based regression tests
#153 opened Jul 14, 2021 by surovic
1
Lifting this bitcode results in a return 1u bug Something isn't working decomp Related to LLVM IR to C decompiler
#147 opened Jun 23, 2021 by pgoodman
@surovic
1
Lifting this bitcode results in an empty function bug Something isn't working decomp Related to LLVM IR to C decompiler
#146 opened Jun 23, 2021 by pgoodman
@surovic
3
Signed bitcode values emitted as unsigned C
#132 opened Apr 15, 2021 by artemdinaburg
2
Output improvements: Emit #include<file> directives decomp Related to LLVM IR to C decompiler enhancement New feature or request
#88 opened Jan 22, 2021 by artemdinaburg
Output improvements: large integers as hex decomp Related to LLVM IR to C decompiler enhancement New feature or request
#86 opened Jan 21, 2021 by artemdinaburg
ProTip! Mix and match filters to narrow down what you’re looking for.