search

fkie-cad / dewolf

A research decompiler implemented as a Binary Ninja plugin.
GNU Lesser General Public License v2.1
162 stars 9 forks source link

[ValueError@maps.py:22] ValueError: Program is not in SSA-Form. Variable var_10b0#1 is defined twice, once in instruction var_10b0#1 = arg2#0 and once in instruction var_10b0#1 = ϕ(var_10b0#0,var_10b0#16) #293

Open bugfinder-bot opened 11 months ago

bugfinder-bot commented 11 months ago

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 97, in run
    self._setup(task.graph)
  File "/opt/dewolf/decompiler/pipeline/preprocessing/missing_definitions.py", line 104, in _setup
    self._def_map, self._use_map = _init_maps(self.cfg)
  File "/opt/dewolf/decompiler/pipeline/preprocessing/util.py", line 21, in _init_maps
    def_map.add(instruction)
  File "/opt/dewolf/decompiler/structures/maps.py", line 22, in add
    raise ValueError(

Error class ValueError@maps.py:22 contains 2 cases.

How to reproduce?

python decompile.py a9347cb3ab6926fe49e1f80ca2d8dcf3d7db6800bbf449c43262085af989c648 sub_1740 --debug

sample: a9347cb3ab6926fe49e1f80ca2d8dcf3d7db6800bbf449c43262085af989c648 case: https://bugfinder.seclab-bonn.de/case/2844/ dewolf commit: 2cd08b60 Binaryninja version: 3.4.4271