Skip to content
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

Jump to bottom

Error when decompiling binary (2) #15

Closed
yangzao opened this issue Apr 29, 2024 · 3 comments
Closed

Error when decompiling binary (2) #15

yangzao opened this issue Apr 29, 2024 · 3 comments
Assignees
@pfez

Comments

@yangzao
Copy link

yangzao commented Apr 29, 2024

Files:
2.zip

Source code, compiled program, and full error messages are included.

Description:

When decompiling the program, rev.ng gives error:
Assertion failed at /builds/gitlab/revng/orchestra/orchestra/sources/revng-c/lib/DataLayoutAnalysis/Middleend/MergePointeesOfPointerUnion.cpp:45 isWellFormedPointer(Pointer)

Compiler used: MSVC with /Od
Version: 19.38.33134 for x64
@yangzao yangzao mentioned this issue Apr 29, 2024
Closed
@pfez pfez self-assigned this May 2, 2024
@pfez pfez transferred this issue from revng/revng May 2, 2024
@pfez
Copy link
Contributor

pfez commented May 8, 2024 •
edited
Loading

I cannot reproduce this on the current develop branch.

I ran:

revng artifact decompile-to-single-file orig.exe --analyze

Can you please try on the current develop branch of revng and revng-c and tell me if you can still reproduce?

Thanks!

@yangzao
Copy link
Author

yangzao commented May 12, 2024

Hi,

I tried this program with the current develop branch and it can be decompiled without errors.

But the program in another issue still causes errors.

@pfez
Copy link
Contributor

pfez commented May 13, 2024

Ok, thank you for the feedback.

I'm closing this issue because it seems to be fixed on the current develop, or at least it's not reproducible anymore.
We'll take care of the other issue you mentioned separately.

@pfez pfez closed this as completed May 13, 2024
@pfez pfez closed this as not planned Won't fix, can't repro, duplicate, stale May 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@pfez pfez

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pfez @yangzao