Anton Vasilyev - Open-Source Projects

Anton Vasilyev

Email: vasilyev@ispras.ru
Registered on: 10/30/2015
Last connection: 06/17/2020

Issues

Assigned issues: 0
Reported issues: 36

Projects

C Instrumentation Framework (Reporter, 11/26/2015)
Klever (Developer RO, 01/29/2016)
Aspectator (Reporter, 02/27/2018)
Linux Driver Verification (Developer, 07/28/2020)
LDV Tools (Developer, 07/28/2020)
CPAchecker (Developer, 07/28/2020)
CVC3 with small optimizations for BLAST (Developer, 07/28/2020)

Activity

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

11/08/2018

06:29 PM Klever Bug #9378 (Resolved): Wrong assume for ERR_PTR and PTR_ERR: Fixed in fix_9378 Anton Vasilyev

Also available in: Atom