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 | 36 | 39 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| C Instrumentation Framework | Reporter | 11/26/2015 |
| Aspectator | Reporter | 02/27/2018 |
| Klever | Manager, Developer RO | 01/29/2016 |
| klever-atomic-context | Manager, Developer | 05/06/2024 |
| 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 |
Activity
10/29/2024
- 03:58 PM Klever Revision d3b7ec47: Log warning only for unprocessed tokens
09/23/2024
01/23/2024
- 05:51 PM klever-atomic-context Revision 23d81907: Fix emg usb model
08/24/2023
08/15/2023
04/14/2022
- 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...
04/13/2022
- 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...
03/29/2022
- 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...
12/09/2021
- 03:47 PM klever-atomic-context Revision 93763fa2: Add checks to strcmp on end of second string to avoid false positive verdicts
11/30/2021
- 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...
Also available in: Atom