Feature #7894
Updated by Evgeny Novikov over 7 years ago
Some time ago an additional check of report During reading zip archives were introduced the following error may occur: <pre> <code> Raise exception: Traceback (most recent call last): File "/home/debian/klever/core/core/components.py", line 116, in Bridge. Indeed it just checks that archives are ZIP ones by using standard _zipfile.is_zipfile()_. Unfortunately, this check fails seldom and nondeterministically. After some experiments I revealed that it 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/vtg/common.py", line 71, in execute self.main_cycle() File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/vtg/sbt/__init__.py", line 34, in main_cycle self.process_sequential_verification_task() File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/vtg/separated.py", line 194, in process_sequential_verification_task self.decide_verification_task(bug_kind) File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/vtg/separated.py", line 248, in decide_verification_task with zipfile.ZipFile('decision result files.zip') as zfp: File "/usr/lib/python3.4/zipfile.py", line 937, in __init__ self._RealGetContents() File "/usr/lib/python3.4/zipfile.py", line 978, in _RealGetContents raise BadZipFile("File is likely related with not a race during uploading reports that zip file") zipfile.BadZipFile: File is or course not a crucial bug existing for a long time (perhaps forever). zip file </code></pre> A few examples: 1. Kernel=3.14, rule=linux:alloc:spinlock, module=sound/soc/mxs/snd-soc-mxs.ko. 2. Kernel=3.14, rule=linux:kernel:locking:mutex, module=drivers/ata/pata_rz1000.ko.