Open-Source Projects

• Email: ilja.zakharov@ispras.ru
• Registered on: 09/27/2011
• Last connection: 09/16/2020

Issues

• Assigned issues: 101
• Reported issues: 319

Projects

• Linux Kernel Safety RuleDB (Developer, 12/29/2012)
• CPAchecker (Developer, 07/28/2018)
• CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
• Linux Driver Verification (Developer, 09/27/2011)
• Deductive Verification Tools for Linux Kernel (Developer, 05/01/2020)
• Klever (Developer RO, 09/04/2015)
• Kartographer (Reporter, 11/19/2015)
• LDV Tools (Developer, 03/17/2018)
• C Instrumentation Framework (Developer, 06/05/2012)
• Clade (Developer, 02/22/2018)
• Aspectator (Developer, 02/27/2018)