Anton Vasilyev
- Login: Vasilyev
- Email: vasilyev@ispras.ru
- Registered on: 10/30/2015
- Last connection: 11/30/2021
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 1 | 12 | 13 |
| Reported issues | 3 | 35 | 38 |
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
12/09/2021
-
03:47 PM Klever Revision 93763fa2: Add checks to strcmp on end of second string to avoid false positive verdicts
11/30/2021
-
- Warning "Tag name can't contains '-'" is thrown on creation of 3d nesting level tag.
Probably symbol '-' is taken fr...
10/26/2021
-
09/10/2021
-
- Added support of pattern search for safe functions to CPAchecker on branch klever_fixes:38277 as an option:
cpa.smg.s...
06/30/2021
-
- Incorrect line directives on struct with union
struct fxregs_state is located from line 34 in /arch/x86/include/asm/...
03/12/2021
-
- New SMG with several improvements for witness representation and fixes bugs is on branch klever_fixes:36955
12/18/2020
-
12/02/2020
-
- * String library (Unsupported functions like strlen, strcpy)
* PredicateSMG
** Arithmetics (Arithmetics and assignm...
11/06/2020
07/28/2020
-
Also available in: Atom