Open-Source Projects

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 (New): 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

08/09/2018

09:06 PM Klever Revision 7a7e7e92: Modify scsi_host specification due to change scsi_host.h in 4.17

Anton Vasilyev

08:41 PM Klever Revision e32322bc: Add specifications for Linux 4.17 as a copy of 4.15

Anton Vasilyev

07:07 PM Klever Revision 62f968fc: Add packages for Linux 4.15 build

Anton Vasilyev

07:03 PM Klever Revision 8eb7a346: Remove duplicate of target_backend test. Add fp tests for Linux 4.15

Anton Vasilyev