General

Profile

Ilja Zakharov

Issues

open closed Total
Assigned issues 119 330 449
Reported issues 64 271 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