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 133, in lift_store
    self._lift_store_destination(assignment),
  File "/opt/dewolf/decompiler/frontend/binaryninja/handlers/assignments.py", line 142, in _lift_store_destination
    store_destination = self._lifter.lift(store_assignment.dest, parent=store_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 43, in lift_constant
    if addr_in_section(constant.function.view, constant.constant):
  File "/opt/dewolf/decompiler/frontend/binaryninja/handlers/globals.py", line 346, in addr_in_section
    for _, section in view.sections.items():
  File "/opt/binaryninja/python/binaryninja/binaryview.py", line 2854, in sections
    result[core.BNSectionGetName(section_list[i])] = Section(section_handle)
  File "/opt/binaryninja/python/binaryninja/_binaryninjacore.py", line 44478, in BNSectionGetName
    string = str(pyNativeStr(ctypes.cast(result, ctypes.c_char_p).value))
  File "/opt/binaryninja/python/binaryninja/_binaryninjacore.py", line 36, in pyNativeStr
    return arg.decode('utf8')