General

Profile

Ilya Shchepetkov

Issues

open closed Total
Assigned issues 0 48 48
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

01/14/2022

03:47 PM Klever Feature #10934: Test and fix if necessary deployment of Klever on Debian 10/11, Ubuntu 20.04 and openSUSE 15.3
Deployment on Fedora 35 fails with this error: https://stackoverflow.com/questions/70379777/rabbitmq-cannot-allocate-... Ilya Shchepetkov

12/19/2021

01:58 PM C Instrumentation Framework Feature #10928 (Closed): Update Aspectator to GCC 11
Merged to master. All tests are passing on Linux, but there are some issues left on macOS. I will try to fix them lat... 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

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
12:56 PM C Instrumentation Framework Feature #6645 (Closed): CIF doesn't require option to keep prepared files
Option removed. Ilya Shchepetkov

08/16/2021

03:33 PM C Instrumentation Framework Bug #4447 (Closed): Named pointcuts with the same name
Implemented and tested. Ilya Shchepetkov

08/12/2021

04:40 PM klever-atomic-context Revision ccaa3b98: Fix installation of psycopg2
Ilya Shchepetkov
04:09 PM klever-atomic-context Revision dd185d3a: Update package list for OpenSUSE
Ilya Shchepetkov
02:36 PM klever-atomic-context Revision 41c6708c: Merge branch 'master' into opensuse-support
Ilya Shchepetkov

Also available in: Atom