[ValueError@identity_elimination.py:226] ValueError: At least two variables in the identity group {eax_1#5 (type: char * aliased: False), eax_1#7 (type: char * aliased: False), ebx#0 (type: char * aliased: False), ebx#2 (type: char * aliased: False), eax_1#4 (type: char * aliased: False)} have out degree zero, namely eax_1#5 and eax_1#4, i.e., these set of vertices is not an identity group

[bugfinder-bot]

What happened?

  File "/opt/dewolf/decompiler/util/bugfinder/bugfinder.py", line 201, 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 114, in run
    raise e
  File "/opt/dewolf/decompiler/pipeline/pipeline.py", line 107, in run
    instance.run(task)
  File "/opt/dewolf/decompiler/pipeline/dataflowanalysis/identity_elimination.py", line 313, in run
    variable_replacer.replace_variables(identity_group, identity_graph.find_replacement_variable_of_group(identity_group))
  File "/opt/dewolf/decompiler/pipeline/dataflowanalysis/identity_elimination.py", line 226, in find_replacement_variable_of_group
    raise ValueError(message)

Error class ValueError@identity_elimination.py:226 contains 88 cases.

How to reproduce?

python decompile.py 5981576009cd18282cad4eed8dbc33d8f2e7c7a7222c1de31ac6c1f4b8f3aff2 sub_40f84d --debug

sample: 5981576009cd18282cad4eed8dbc33d8f2e7c7a7222c1de31ac6c1f4b8f3aff2 case: https://bugfinder.seclab-bonn.de/case/25301/ dewolf commit: b26c6ed4 Binaryninja version: 3.5.4526

[ebehner]

/cib

[github-actions[bot]]

Branch issue-388-_ValueError_identity_elimination_py_226_ValueError_At_least_two_variables_in_the_identity_group_eax_1#5_type_char_aliased_False_eax_1#7_type_char_aliased_False_ebx#0_type_char_aliased_False_ebx#2_type_char_aliased_False_eax_1#4type created!