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 34 37

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

09/10/2021

04:31 PM Klever Feature #10933: Add configuration for CPAchecker SMG to disable uncertain environment behavior
Added support of pattern search for safe functions to CPAchecker on branch klever_fixes:38277 as an option:
cpa.smg.s...
Anton Vasilyev

06/30/2021

03:10 PM C Instrumentation Framework Bug #10871 (Closed): Incorrect line directives on struct with union
Incorrect line directives on struct with union
struct fxregs_state is located from line 34 in /arch/x86/include/asm/...
Anton Vasilyev

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

Also available in: Atom