General

Profile

Anton Vasilyev

Issues

Projects

Activity

07/28/2020

06:04 PM Linux Driver Verification Wiki edit: How_to_send_patches_to_kernel (#10)
Anton Vasilyev
04:57 PM Linux Driver Verification Wiki edit: How_to_send_patches_to_kernel (#9)
Anton Vasilyev
04:10 PM Linux Driver Verification Wiki edit: How_to_send_patches_to_kernel (#8)
Anton Vasilyev
03:27 PM Linux Driver Verification Wiki edit: How_to_send_patches_to_kernel (#7)
Anton Vasilyev

05/29/2019

05:03 PM Klever Feature #9692 (Feedback): Investigate whether Juliet license permits to include test cases into Klever preset validation job
According to official site https://samate.nist.gov/SARD/testsuite.php for "Juliet Test Suite for C/C++":
"This softw...
Anton Vasilyev

11/20/2018

01:57 PM Klever Bug #9393 (Rejected): Problem with memleak visualization on absent return from void function
For void functions with absent return:... Anton Vasilyev

11/08/2018

06:29 PM Klever Bug #9378 (Resolved): Wrong assume for ERR_PTR and PTR_ERR
Fixed in fix_9378 Anton Vasilyev
06:24 PM Klever Bug #9378 (Closed): Wrong assume for ERR_PTR and PTR_ERR
Require to provide consistency of ldv_is_err with assumptions at ldv_err_ptr and ldv_ptr_err. Anton Vasilyev
06:25 PM Klever Revision 2f5722da: Fix assumptions at ERR_PTR and PTR_ERR for consistency with IS_ERR
Anton Vasilyev

10/04/2018

07:28 PM Klever Bug #8967: Download files for competition does not allow to choose Unknowns
Please check that file names at archive aren't duplicated when job contains different revisions like in Validation pr... Anton Vasilyev

Also available in: Atom