Klever

lkvog crash on build linux-4.11.4 module 'drivers/misc/lkdtm.ko'

[AVODG] Raise exception:
Traceback (most recent call last):
File "/home/debian/klever/core/core/components.py", line 116, in run
self.main()
File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/debian/klever/core/core/utils.py", line 54, in callbacks_caller
ret = attr(*args[1:], **kwargs)
File "/home/debian/klever/core/core/lkvog/__init__.py", line 279, in generate_all_verification_obj_descs
self.generate_verification_obj_desc()
File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/debian/klever/core/core/lkvog/__init__.py", line 311, in generate_verification_obj_desc
cc_full_desc_files = self.__find_cc_full_desc_files(module.id)
File "/home/debian/klever/core/core/lkvog/__init__.py", line 450, in find_cc_full_desc_files
cc_full_desc_files.extend(self.__find_cc_full_desc_files(in_file))
File "/home/debian/klever/core/core/lkvog/__init.py", line 436, in find_cc_full_desc_files
out_file_desc = self.linux_kernel_build_cmd_out_file_desc[out_file][-1]
File "<string>", line 2, in _getitem
File "/usr/lib/python3.4/multiprocessing/managers.py", line 747, in _callmethod
raise convert_to_error(kind, result)
KeyError: 'drivers/misc/lkdtm_rodata_objcopy.o'
[ALKBCDP] Stop since some other component(s) likely failed
Raise exception:
Traceback (most recent call last):
File "/home/debian/klever/core/core/components.py", line 116, in run
self.main()
File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/debian/klever/core/core/lkvog/_init__.py", line 82, in generate_linux_kernel_verification_objects
('AVODG', self.generate_all_verification_obj_descs))
File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/debian/klever/core/core/components.py", line 257, in launch_subcomponents
p.join(1.0 / len(subcomponent_processes))
File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/debian/klever/core/core/components.py", line 235, in join
raise ComponentError('Component "{0}" failed'.format(self.name))