Open-Source Projects

• Email: ilja.zakharov@ispras.ru
• Registered on: 09/27/2011
• Last connection: 11/15/2019

Issues

• Assigned issues: 111
• Reported issues: 301

Projects

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