Anton Vasilyev
- Email: vasilyev@ispras.ru
- Registered on: 10/30/2015
- Last connection: 10/31/2019
Issues
- Assigned issues: 1
- Reported issues: 36
Projects
- Klever (Developer RO, 01/29/2016)
- C Instrumentation Framework (Reporter, 11/26/2015)
- Aspectator (Reporter, 02/27/2018)
Activity
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 (New): 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
-
06:24 PM Klever Bug #9378 (Closed): Wrong assume for ERR_PTR and PTR_ERR
- Require to provide consistency of ldv_is_err with assumptions at ldv_err_ptr and ldv_ptr_err.
-
06:25 PM Klever Revision 2f5722da: Fix assumptions at ERR_PTR and PTR_ERR for consistency with IS_ERR
10/04/2018
-
07:28 PM Klever Bug #8967: Download files for competition does not allow to choose Unknowns
- Please check that file names at archive aren't duplicated when job contains different revisions like in Validation pr...
08/09/2018
-
09:06 PM Klever Revision 7a7e7e92: Modify scsi_host specification due to change scsi_host.h in 4.17
-
08:41 PM Klever Revision e32322bc: Add specifications for Linux 4.17 as a copy of 4.15
-
07:07 PM Klever Revision 62f968fc: Add packages for Linux 4.15 build
-
07:03 PM Klever Revision 8eb7a346: Remove duplicate of target_backend test. Add fp tests for Linux 4.15
Also available in: Atom