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

[TypeError@ast_nodes.py:283] TypeError: 'NoneType' object is not iterable #337

Open
bugfinder-bot opened this issue Sep 17, 2023 · 4 comments · May be fixed by #338
Open

[TypeError@ast_nodes.py:283] TypeError: 'NoneType' object is not iterable #337

bugfinder-bot opened this issue Sep 17, 2023 · 4 comments · May be fixed by #338
Labels
bug Something isn't working bugfinder duplicate This issue or pull request already exists

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/controlflowanalysis/restructuring.py", line 50, in run
    self.restructure_cfg()
  File "/opt/dewolf/decompiler/pipeline/controlflowanalysis/restructuring.py", line 86, in restructure_cfg
    AcyclicRegionRestructurer(self.t_cfg, self.asforest, self.options).restructure()
  File "/opt/dewolf/decompiler/pipeline/controlflowanalysis/restructuring_commons/acyclic_restructuring.py", line 46, in restructure
    self._construct_ast_for_region(restructurable_region, node)
  File "/opt/dewolf/decompiler/pipeline/controlflowanalysis/restructuring_commons/acyclic_restructuring.py", line 71, in _construct_ast_for_region
    restructured_region_root = self._construct_refined_ast(seq_node)
  File "/opt/dewolf/decompiler/pipeline/controlflowanalysis/restructuring_commons/acyclic_restructuring.py", line 94, in _construct_refined_ast
    ConditionBasedRefinement.refine(self.asforest)
  File "/opt/dewolf/decompiler/pipeline/controlflowanalysis/restructuring_commons/condition_based_refinement.py", line 35, in refine
    if_refinement._condition_based_refinement()
  File "/opt/dewolf/decompiler/pipeline/controlflowanalysis/restructuring_commons/condition_based_refinement.py", line 51, in _condition_based_refinement
    newly_added_sequence_nodes = self._structure_sequence_node(seq_node)
  File "/opt/dewolf/decompiler/pipeline/controlflowanalysis/restructuring_commons/condition_based_refinement.py", line 95, in _structure_sequence_node
    for child in list(sequence_node.children):
  File "/opt/dewolf/decompiler/structures/ast/ast_nodes.py", line 283, in children
    if set(self._sorted_children) != set(children):

Error class TypeError@ast_nodes.py:283 contains 45 cases.

How to reproduce?

python decompile.py 9a3901b4bbff5d180dc3e7920cd76a7055e282eec749bf365e8fe97293df2a38 iniObjectNext --debug

sample: 9a3901b4bbff5d180dc3e7920cd76a7055e282eec749bf365e8fe97293df2a38
case: https://bugfinder.seclab-bonn.de/case/4429/
dewolf commit: 8e40c13
Binaryninja version: 3.4.4271

@bugfinder-bot bugfinder-bot added bug Something isn't working bugfinder labels Sep 17, 2023
@mm4rks mm4rks added the duplicate This issue or pull request already exists label Sep 17, 2023
@mm4rks
Copy link
Collaborator

mm4rks commented Sep 17, 2023

duplicate #213

@mm4rks
Copy link
Collaborator

mm4rks commented Sep 17, 2023

restructuring

@mm4rks
Copy link
Collaborator

mm4rks commented Sep 17, 2023

/cib

@github-actions
Copy link
Contributor

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 duplicate This issue or pull request already exists
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants