Project

General

Profile

Actions
Copy link

Bug #8500

closed

Environment model simplifications can break error traces

Added by Evgeny Novikov over 6 years ago. Updated over 4 years ago.

Status:
Rejected
Priority:
Urgent
Assignee:
-
Category:
Results processing
Target version:
3.0
Start date:
10/13/2017
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

For instance, when I switched off CIL merging for module "drivers/hwmon/dme1737.ko" of Linux 3.14 checked against "linux:fs:sysfs" I got the following exception:

Raise exception:
Traceback (most recent call last):
  File "/home/novikov/work/klever/core/core/components.py", line 118, in run
    self.main()
  File "/home/novikov/work/klever/core/core/utils.py", line 95, in callbacks_caller
    ret = attr(*args, **kwargs)
  File "/home/novikov/work/klever/core/core/vrp/__init__.py", line 225, in fetcher
    raise self.__exception
  File "/home/novikov/work/klever/core/core/vrp/__init__.py", line 341, in process_single_verdict
    error_trace = et.import_error_trace(self.logger, witnesses[0])
  File "/home/novikov/work/klever/core/core/vrp/et/__init__.py", line 38, in import_error_trace
    envmodel_simplifications(logger, trace)
  File "/home/novikov/work/klever/core/core/vrp/et/envmodel.py", line 27, in envmodel_simplifications
    error_trace.final_checks()
  File "/home/novikov/work/klever/core/core/vrp/et/error_trace.py", line 429, in final_checks
    self.resolve_function(data[-1])))
ValueError: Unexpected return from function '_tmp_dme1737_abs_paths_trimmed_idme1737_sio_inb' in thread 2, expected last entered function _tmp_dme1737_abs_paths_trimmed_ioutb

Similar exceptions broke processing of 28 of 35 error traces.

Actions
Copy link

Also available in: Atom PDF