Ilya Shchepetkov

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

06:08 PM Klever Feature #10351: Try more safe process creation method: By default on Linux Python multiprocessing module starts child processes using "fork" start method. There are a numbe... Ilya Shchepetkov

05:54 PM Klever Revision 097c2c1f: Update versions of required packages: They are tested to work with both Python 3.7 and 3.8 Ilya Shchepetkov
05:51 PM Klever Revision c9071209: Update documentation regarding Fedora deployment: Ilya Shchepetkov
05:20 PM Klever Revision b97986a8: Add sphinx to optional dependencies: Ilya Shchepetkov
05:20 PM Klever Revision 371ddc2b: Update README: Ilya Shchepetkov
05:06 PM Klever Revision d9073d50: Specify OpenStack requirements: Ilya Shchepetkov
04:43 PM Klever Revision f6736734: Update documentation: Ilya Shchepetkov
02:11 PM Klever Revision 17304859: Avoid iterating over the dictionary that can change its content: This particular place caused an exception in Python >= 3.8 Ilya Shchepetkov

09:00 PM Klever Revision e63ab31e: Add httpd_t to the list of permissive domains: Adding port 8998 is not enough, but I am not yet sure why Ilya Shchepetkov
08:08 PM Klever Revision 821ea612: Check cgroup version: Ilya Shchepetkov

Also available in: Atom

Open-Source Projects