Pavel Andrianov

  • Email:
  • Registered on: 08/08/2012
  • Last connection: 05/02/2017

Projects

Activity

Reported issues: 88

Today

11:16 am Klever Feature #8234 (Verified): Error traces comparison for races
Quick check of several generated marks with new comparison function shows no problems.

07/25/2017

07:04 pm Klever Feature #8234: Error traces comparison for races
An example of error trace attached.
Converted error trace is expected to be similar to callback_forest algorithm....

07/21/2017

06:37 pm Klever Bug #8306 (New): EMG registers random interrupt handler
If there is a case, when several request_irq were called, EMG replaces them into the same emg_register function, whic...

07/17/2017

03:19 pm Klever Feature #8234: Error traces comparison for races
Are there any news? I tried new witness visualization branch with different comparison algorithms. Most of them produ...

07/13/2017

05:07 pm Klever Feature #8240: Fix transformation of witnesses to error traces for multithreaded software
Split thread creation into two actions (creation a thread and entering the corresponding function) is implemented in ...
03:38 pm Klever Feature #8240: Fix transformation of witnesses to error traces for multithreaded software
New idea is to divide the problem edge into the two ones: one creates a thread and the other enters the function
(...
03:03 pm Klever Feature #8240 (Open): Fix transformation of witnesses to error traces for multithreaded software
Vladimir Gratinskiy wrote:
> The second error trace doesn't have return from function 28 (ldv_ieee80211_scenario_2)....

07/10/2017

11:57 am Klever Feature #8240: Fix transformation of witnesses to error traces for multithreaded software
Evgeny Novikov wrote:
> Also I am wondering whether something useful should be taken from quite old branch _feature_...

07/03/2017

04:54 pm Klever Feature #8240 (Open): Fix transformation of witnesses to error traces for multithreaded software
Disable workaround filter of output files. New revision is 25107.

06/30/2017

05:20 pm Klever Bug #8266 (New): EMG should consider cases when a kernel function with a model is set as handler
In drivers/crypto/qat/qat_common/intel_qat.ko (Linux 4.2.6) function seq_release is set as a release handler of file_...

Also available in: Atom