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.
What happened?
Error class
ValueError@missing_definitions.py:218
contains 17 cases.How to reproduce?
sample: 7fd06462a17ad8f376d278de9543d786b347d3e33c778b837817b259cd558969 case: https://bugfinder.seclab-bonn.de/case/4371/ dewolf commit: b1ba83e8 Binaryninja version:
3.4.4271