[ValueError@missing_definitions.py:218] ValueError: list_op [] unknown type = list_op [] unknown type is not in list

[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 158, in _insert_definition_if_undefined
    self._insert_definition_of_aliased(variable, previous_ssa_labels)
  File "/opt/dewolf/decompiler/pipeline/preprocessing/missing_definitions.py", line 176, in _insert_definition_of_aliased
    position_insert_definition = self._find_position_to_insert_aliased_definition(basicblock_for_definition, memory_instruction)
  File "/opt/dewolf/decompiler/pipeline/preprocessing/missing_definitions.py", line 202, in _find_position_to_insert_aliased_definition
    position_insert_definition = self._get_insertion_position(memory_instruction, basicblock)
  File "/opt/dewolf/decompiler/pipeline/preprocessing/missing_definitions.py", line 218, in _get_insertion_position
    position_insert_definition = basicblock.instructions.index(memory_instruction, starting_search) + 1

Error class ValueError@missing_definitions.py:218 contains 17 cases.

How to reproduce?

python decompile.py 7fd06462a17ad8f376d278de9543d786b347d3e33c778b837817b259cd558969 grub_ntldr_boot --debug

sample: 7fd06462a17ad8f376d278de9543d786b347d3e33c778b837817b259cd558969
case: https://bugfinder.seclab-bonn.de/case/4371/
dewolf commit: b1ba83e
Binaryninja version: 3.4.4271

[mm4rks]

/cib

[github-actions]

Branch issue-329-ValueError_missing_definitions_py_218_ValueError_list_op_unknown_type=_list_op_unknown_type_is_not_in_list created!

[mm4rks]

duplicate #174

[mm4rks]

fixed by upstream