General

Profile

Ilya Shchepetkov

Issues

open closed Total
Assigned issues 5 46 51
Reported issues 6 38 44

Projects

Project Roles Registered on
AstraVer Toolset Manager, Developer, Project Creator 04/26/2018
Дополнительные материалы к монографии Manager, Developer, Project Creator 04/28/2018
Инструменты дедуктивной верификации моделей политик безопасности Manager, Developer, Project Creator 04/26/2018
C Instrumentation Framework Developer RO 12/29/2012
Aspectator Developer, Developer RO 02/27/2018
Clade Manager, Developer, Project Creator 02/22/2018
Kartographer Manager, Developer 11/18/2015
MicroTESK for PowerPC Developer 10/21/2016
Klever Developer RO 09/04/2015
Linux Driver Verification Developer 07/11/2012
BLAST Reporter 08/20/2012
LDV Tools Developer 03/17/2018
CPAchecker Developer 07/28/2018
CVC3 with small optimizations for BLAST Developer 07/25/2018
Linux Kernel Safety RuleDB Developer 07/11/2012

Activity

09/06/2021

06:49 PM Clade Revision 40ebafe1: Bumb version to v3.4.8
Ilya Shchepetkov
06:48 PM Clade Revision 6a2b9a08: Add one more version of implicit-function-declaration
Ilya Shchepetkov

08/30/2021

04:39 PM Klever Feature #10695: Add OpenSUSE support
Deployment on Fedora works as well as before, so we can finally merge this branch to master! Ilya Shchepetkov
03:52 PM C Instrumentation Framework Revision 3cf9d5e6: Ignore ldv_12345 labels for goto in tests
Ilya Shchepetkov

08/20/2021

03:30 PM C Instrumentation Framework Revision c9e96565: Enable 1 more test
Ilya Shchepetkov

08/17/2021

05:52 PM C Instrumentation Framework Bug #10907 (Closed): Instrumentation of the last function in a file
@test_simple and @test_function@ are currently failing because CIF incorrectly instruments last functions in the corr... Ilya Shchepetkov
05:46 PM C Instrumentation Framework Bug #10906 (Closed): Incorrect line directives
CIF outputs C files with incorrect line directives. For example, @tests/output/legacy_function.c@ contains @#line 418... Ilya Shchepetkov
05:39 PM C Instrumentation Framework Revision dfa3448b: Mark failing test
Ilya Shchepetkov
05:39 PM C Instrumentation Framework Revision 92e22d96: Check that CIF output is a valid C code
Ilya Shchepetkov
05:08 PM C Instrumentation Framework Revision d52b36e9: Remove wrong comments
Ilya Shchepetkov

Also available in: Atom