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

[ValueError@missing_definitions.py:157] ValueError: Every non-aliased variable should be defined, but variable arg1#1 has no definition. #290

Open
bugfinder-bot opened this issue Jul 19, 2023 · 1 comment
Open

[ValueError@missing_definitions.py:157] ValueError: Every non-aliased variable should be defined, but variable arg1#1 has no definition. #290

bugfinder-bot opened this issue Jul 19, 2023 · 1 comment
Labels
bug Something isn't working bugfinder upstream

Comments

@bugfinder-bot
Copy link
Collaborator

What happened?

  File "/opt/dewolf/decompiler/util/bugfinder/bugfinder.py", line 190, in iter_function_reports
    task_result = self.decompile(function, options)
  File "/opt/dewolf/decompile.py", line 51, in decompile
    pipeline.run(task)
  File "/opt/dewolf/decompiler/pipeline/pipeline.py", line 109, in run
    raise e
  File "/opt/dewolf/decompiler/pipeline/pipeline.py", line 102, in run
    instance.run(task)
  File "/opt/dewolf/decompiler/pipeline/preprocessing/missing_definitions.py", line 99, in run
    self.insert_missing_definitions()
  File "/opt/dewolf/decompiler/pipeline/preprocessing/missing_definitions.py", line 133, in insert_missing_definitions
    self._insert_definition_if_undefined(variable, previous_ssa_labels, undefined_variables)
  File "/opt/dewolf/decompiler/pipeline/preprocessing/missing_definitions.py", line 157, in _insert_definition_if_undefined
    raise ValueError(f"Every non-aliased variable should be defined, but variable {variable} has no definition.")

Error class ValueError@missing_definitions.py:157 contains 45 cases.

How to reproduce?

python decompile.py 6d6f438ff425f900a2582f1a7b4d661666d698ea1b2f8d40b393ab48b4c91b5d sub_2810 --debug

sample: 6d6f438ff425f900a2582f1a7b4d661666d698ea1b2f8d40b393ab48b4c91b5d
case: https://bugfinder.seclab-bonn.de/case/2460/
dewolf commit: b8413c4
Binaryninja version: 3.4.4271
@bugfinder-bot bugfinder-bot added bug Something isn't working bugfinder labels Jul 19, 2023
@mm4rks mm4rks self-assigned this Jul 19, 2023
@mm4rks
Copy link
Collaborator

mm4rks commented Jul 20, 2023

upstream: Vector35/binaryninja-api#4504

@mm4rks mm4rks removed their assignment Aug 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working bugfinder upstream
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mm4rks @bugfinder-bot