Open
Description
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 --debugsample: 9a3901b4bbff5d180dc3e7920cd76a7055e282eec749bf365e8fe97293df2a38
case: https://bugfinder.seclab-bonn.de/case/4429/
dewolf commit: 8e40c13
Binaryninja version: 3.4.4271