Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[[email protected]: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 this issue Jul 26, 2023 · 0 comments
Labels
bug Something isn't working bugfinder

Comments

@bugfinder-bot
Copy link
Collaborator

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 [email protected]: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: 2cd08b6
Binaryninja version: 3.4.4271

@bugfinder-bot bugfinder-bot added bug Something isn't working bugfinder labels Jul 26, 2023
@NeoQuix NeoQuix self-assigned this Jul 26, 2023
@NeoQuix NeoQuix removed their assignment Aug 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working bugfinder
Projects
None yet
Development

No branches or pull requests

2 participants