Open-Source Projects

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