General

Profile

Anton Vasilyev

  • Login: Vasilyev
  • Email: vasilyev@ispras.ru
  • Registered on: 10/30/2015
  • Last connection: 04/13/2021

Issues

open closed Total
Assigned issues 1 12 13
Reported issues 3 33 36

Projects

Project Roles Registered on
C Instrumentation Framework Reporter 11/26/2015
Aspectator Reporter 02/27/2018
Klever Developer RO 01/29/2016
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

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

Also available in: Atom