Open-Source Projects

03/12/2021

05:48 PM Klever Feature #10750: Update CPAchecker (SMG)

New SMG with several improvements for witness representation and fixes bugs is on branch klever_fixes:36955 Anton Vasilyev

12/18/2020

06:07 PM Klever Revision 9a3ef70c: Add preset mark for recursion

Anton Vasilyev

12/02/2020

08:18 PM Klever Feature #10549: Develop preset tags for CPAchecker SMG

* String library (Unsupported functions like strlen, strcpy)
* PredicateSMG
** Arithmetics (Arithmetics and assignm... Anton Vasilyev

11/06/2020

12:31 PM Klever Revision e57e6ca9: Update ERR_PTR model for smg-ldv configuration

Anton Vasilyev

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