File "/opt/dewolf/decompiler/util/bugfinder/bugfinder.py", line 201, in iter_function_reports
task, code = self.decompile(function, task_options=options)
File "/opt/dewolf/decompile.py", line 80, in decompile
result = self.decompile_all([function_id], task_options)
File "/opt/dewolf/decompile.py", line 64, in decompile_all
self._frontend.lift(task)
File "/opt/dewolf/decompiler/frontend/binaryninja/frontend.py", line 83, in lift
raise e
File "/opt/dewolf/decompiler/frontend/binaryninja/frontend.py", line 76, in lift
task.cfg = parser.parse(function)
File "/opt/dewolf/decompiler/frontend/binaryninja/parser.py", line 49, in parse
index_to_BasicBlock[basic_block.index] = BasicBlock(basic_block.index, instructions=list(self._lift_instructions(basic_block)))
File "/opt/dewolf/decompiler/frontend/binaryninja/parser.py", line 148, in _lift_instructions
if lifted_instruction := self._lifter.lift(instruction):
File "/opt/dewolf/decompiler/frontend/binaryninja/lifter.py", line 33, in lift
if pseudo_expression := handler(expression, **kwargs):
File "/opt/dewolf/decompiler/frontend/binaryninja/handlers/assignments.py", line 56, in lift_assignment
self._lifter.lift(assignment.src, parent=assignment),
File "/opt/dewolf/decompiler/frontend/binaryninja/lifter.py", line 33, in lift
if pseudo_expression := handler(expression, **kwargs):
File "/opt/dewolf/decompiler/frontend/binaryninja/handlers/binary.py", line 52, in lift_binary_operation
[self._lifter.lift(x, parent=operation) for x in operation.operands],
File "/opt/dewolf/decompiler/frontend/binaryninja/handlers/binary.py", line 52, in <listcomp>
[self._lifter.lift(x, parent=operation) for x in operation.operands],
File "/opt/dewolf/decompiler/frontend/binaryninja/lifter.py", line 33, in lift
if pseudo_expression := handler(expression, **kwargs):
File "/opt/dewolf/decompiler/frontend/binaryninja/handlers/constants.py", line 44, in lift_constant
return self.lift_constant_pointer(constant)
File "/opt/dewolf/decompiler/frontend/binaryninja/handlers/constants.py", line 60, in lift_constant_pointer
if variable := view.get_data_var_at(pointer.constant):
File "/opt/binaryninja/python/binaryninja/binaryview.py", line 4204, in get_data_var_at
if not core.BNGetDataVariableAtAddress(self.handle, addr, var):
File "/opt/binaryninja/python/binaryninja/_binaryninjacore.py", line 18869, in BNGetDataVariableAtAddress
return _BNGetDataVariableAtAddress(view, addr, var)
Error class ctypes.ArgumentError@_binaryninjacore.py:18869 contains 237 cases.
What happened?
Error class
ctypes.ArgumentError@_binaryninjacore.py:18869
contains 237 cases.How to reproduce?
sample: 44a158e3dc804558d8f334c1eae54048a5b72d824a9bdb0ebb2bd9772abf91b9 case: https://bugfinder.seclab-bonn.de/case/37163/ dewolf commit: ba2a67a9 Binaryninja version:
3.5.4526