Anton Vasilyev

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

Project	Roles	Registered on
C Instrumentation Framework	Reporter	11/26/2015
Aspectator	Reporter	02/27/2018
Klever	Manager, 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
Runtime Verification	Developer	01/13/2023

05:48 PM Klever Feature #11444: Update CPAchecker SMG: Problem with definitions of mem*() functions is solved with new configuration options for SMGCPA:
cpa.smg.allocaFunc... Anton Vasilyev

02:07 PM Klever Feature #11444: Update CPAchecker SMG: SMGCPA will provide ability to specify names of functions with behavior of mem*() functions to solve problem with def... Anton Vasilyev

08:22 PM Klever Feature #11513 (Closed): Add pattern search to error traces comparison functions: It will be good for verification tool research to have ability to specify error marks by pattern search within witnes... Anton Vasilyev

03:47 PM Klever Revision 93763fa2: Add checks to strcmp on end of second string to avoid false positive verdicts: Anton Vasilyev

05:55 PM Klever Bug #11019 (Closed): Can't create new tags with 3d nesting level: Warning "Tag name can't contains '-'" is thrown on creation of 3d nesting level tag.
Probably symbol '-' is taken fr... Anton Vasilyev

11:14 AM Klever Revision 0a76cd8d: Add preset mark for recursion: Anton Vasilyev

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

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

Also available in: Atom

Open-Source Projects