Ilja Zakharov

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

10:58 PM Klever Revision 466d6d15: Update EMG tests job file a bit: Note, that this is development solution without most of tests which
should be added later!
10:57 PM Klever Revision 5925d2b6: Fix coverage for tests: This is first working prototype version that still needs testing
10:56 PM Klever Revision dee52006: Add sorting to to relative path calculation to check first longest paths
08:05 PM Klever Revision 20e53351: Implement checks to guarantee that VOG generates verification objects: strictly for all given modules and subsystems

04:42 PM Klever Revision f690dd64: Update the interface for read of callgraph and function scopes information
03:12 PM Klever Revision b368e5db: Update work with the Clade callgraph in EMG as the interface has been slightly changed

05:14 PM Klever Revision f8bb5866: Add support of external Linux loadable kernel modules to VOG
12:35 PM Klever Revision 8adaa9bd: Rename the attribute for setting targets to verify
12:35 PM Klever Revision 017173bd: Fix a number of minor problems in autonomous VOG work without sources
12:35 PM Klever Revision 91070183: Remove useless storage configuration option and an extra clade dir

Also available in: Atom

Open-Source Projects