Klever

RP fails with an exception (memory safety):

Raise exception:
Traceback (most recent call last):
File "/home/zakharov/src/klever/klever/core/components.py", line 395, in run
self.main()
File "/home/zakharov/src/klever/klever/core/components.py", line 304, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/zakharov/src/klever/klever/core/vrp/__init__.py", line 311, in fetcher
raise self.__exception
File "/home/zakharov/src/klever/klever/core/vrp/__init__.py", line 472, in process_single_verdict
error_trace_file, attrs = self.process_witness(witnesses⁰)
File "/home/zakharov/src/klever/klever/core/components.py", line 304, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/zakharov/src/klever/klever/core/vrp/__init__.py", line 322, in process_witness
error_trace, attrs = import_error_trace(self.logger, witness, self.verification_task_files)
File "/home/zakharov/src/klever/klever/core/vrp/et/__init__.py", line 41, in import_error_trace
return trace.serialize()
File "/home/zakharov/src/klever/klever/core/vrp/et/error_trace.py", line 320, in serialize
thread_func_call_stacks[edge['thread']][-1]['children'].append(decl_or_stmt_node)
KeyError: 0

To reproduce I used fs/bfs/bfs.ko and fs-env-model branch (based on the latest master).