Anton Vasilyev
- Email: vasilyev@ispras.ru
- Registered on: 10/30/2015
- Last connection: 06/17/2020
Issues
- Assigned issues: 0
- Reported issues: 36
Projects
- C Instrumentation Framework (Reporter, 11/26/2015)
- Klever (Developer RO, 01/29/2016)
- Aspectator (Reporter, 02/27/2018)
- 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/18/2020
-
06:07 PM Klever Revision 9a3ef70c: Add preset mark for recursion
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...
11/06/2020
07/28/2020
-
06:04 PM Linux Driver Verification Wiki edit: How_to_send_patches_to_kernel (#10)
-
04:57 PM Linux Driver Verification Wiki edit: How_to_send_patches_to_kernel (#9)
-
04:10 PM Linux Driver Verification Wiki edit: How_to_send_patches_to_kernel (#8)
-
03:27 PM Linux Driver Verification Wiki edit: How_to_send_patches_to_kernel (#7)
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...
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:...
11/08/2018
-
06:29 PM Klever Bug #9378 (Resolved): Wrong assume for ERR_PTR and PTR_ERR
- Fixed in fix_9378
Also available in: Atom