Vadim Mutilin

  • Email:
  • Registered on: 05/20/2010
  • Last connection: 04/06/2017

Projects

Activity

Reported issues: 201

07/07/2017

06:51 pm Klever Feature #8240: Fix transformation of witnesses to error traces for multithreaded software
Any news on the topic?

06/05/2017

03:52 pm Klever Feature #8234: Error traces comparison for races
The issue is of high priority

06/01/2017

04:08 pm Klever Bug #8232 (New): ieee80211_register_hw should register callbacks instead of ieee80211_alloc_hw
Now ieee80211_alloc_hw registers callbacks of ieee80211_ops....
03:35 pm Klever Bug #8231 (New): ldv_memory_free is called without parameters
ldv_memory_free is called without parameters...

05/03/2017

01:20 pm Klever Bug #8188 (New): IS_ERR is not matched in 4.2.6 for ldv_is_err
In linux 4.2.6...

02/25/2017

01:05 pm Klever Feature #7999 (Rejected): Options of the verification tools should not be hardcoded inside Klever
Right now there are a number of places where the source code of Klever contains dependencies on the verification tool...

02/07/2017

12:46 pm Linux Kernel Safety RuleDB Task #7958 (New): Never directly free @dev after calling device_add function
http://lxr.free-electrons.com/source/drivers/base/core.c?v=4.2#L976...

02/06/2017

03:39 pm Klever Bug #7954 (Closed): Gendisk is not properly initialized for block_device_operations->release

Gendisk ldv_1_block_gendisk which is passed as first parameter to block_device_operations->release is not properly ...

02/03/2017

12:33 pm Klever Bug #7935: Remove more auxiliary functions properly
Trace looks OK to me.
Rule comments are misleading, but it is another issue #7948
12:33 pm Klever Bug #7948 (New): linux:alloc: misleading comment
On drivers/video/fb.ko there is a comment...

Also available in: Atom