General

Profile

Ilja Zakharov

Issues

open closed Total
Assigned issues 108 336 444
Reported issues 62 273 335

Projects

Project Roles Registered on
Deductive Verification Tools for Linux Kernel Developer 05/01/2020
C Instrumentation Framework Developer RO 06/05/2012
Aspectator Developer, Developer RO 02/27/2018
Clade Developer 02/22/2018
Kartographer Reporter 11/19/2015
Klever Developer RO 09/04/2015
Linux Driver Verification Developer 09/27/2011
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 12/29/2012