Ilja Zakharov

	open	closed	Total
Assigned issues	105	319	424
Reported issues	61	263	324

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

05:20 PM Klever Bug #10896 (New): Replace WRITE_ONCE macro to avoid CPAchecker hangings: The macro WRITE_ONCE is difficult for CPAchecker analysis. The verification tool does not analyze further paths with ... Ilja Zakharov
04:53 PM Klever Revision f0ecf137: Fix coverage collection: Ilja Zakharov
04:50 PM Klever Feature #10486 (Resolved): Develop environment model specification for inode_operations: IMplemented in env-inode-models. Ilja Zakharov
04:45 PM Klever Revision c9ace6c8: Fix coverage collection: Ilja Zakharov
04:44 PM Klever Revision e475ff24: Replace outdated mark: Ilja Zakharov
04:40 PM Klever Revision 7c56184b: Move inode and dcache models to EMG: Ilja Zakharov
12:59 PM Klever Revision 6c0867e1: Add marks for inode tests: Ilja Zakharov
12:43 PM Klever Revision cdf8c188: Add inode tests to build descriptions: Ilja Zakharov
12:40 PM Klever Revision dbb7719b: Add a list model to avoid timouts on Linux 5.5: Ilja Zakharov
12:39 PM Klever Revision d33d43f2: Add new tests to the job.json: Ilja Zakharov

Also available in: Atom

Open-Source Projects