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)
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)

11:26 AM C Instrumentation Framework Bug #4398: Aspectator and C back-end should support GCC vector type: Ilya Shchepetkov wrote:
> The issue is still relevant.
It is as relevant today as it's ever been

02:11 PM C Instrumentation Framework Bug #9483 (Resolved): Support external function declarations without parameters: Aspect:...

07:05 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Инструкция_по_установке_и_настройке_Rodin (#2)
06:58 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Wiki (#2)
06:57 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Инструкция_по_установке_и_настройке_Rodin (#1)
06:56 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Wiki (#1)
06:21 PM Clade Revision 6e2f6ec8: Fix lists in readme
06:14 PM Clade Revision 4cffae12: Allow SrcGraph to use information from CL extension
06:14 PM Clade Revision 36eeb48f: Windows options can also start with "-"
06:14 PM Clade Revision bd4aab13: Add ability to save files into Storage for CL extension

Also available in: Atom

Open-Source Projects