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

[bugfinder-bot]

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

[mm4rks]

upstream: Vector35/binaryninja-api#4504