Evgeny Novikov

  • Login: joker
  • Email:
  • Registered on: 06/09/2010
  • Last connection: 03/25/2022


open closed Total
Assigned issues 170 607 777
Reported issues 365 1143 1508


Project Roles Registered on
Deductive Verification Tools for Linux Kernel Manager, Developer 03/18/2019
CIL Manager 06/06/2018
C Instrumentation Framework Manager, Developer RO, Project Creator 06/05/2012
Aspectator Manager, Developer, Developer RO, Project Creator 02/27/2018
Clade Manager, Developer 02/22/2018
Kartographer Reporter 11/19/2015
Race Hound Manager, Developer 11/22/2012
Klever Manager, Developer RO 09/03/2015
Linux Driver Verification Manager, Developer 06/09/2010
BLAST Reporter 09/16/2011
LDV Tools Manager, Developer 03/17/2018
CPAchecker Manager, Developer 07/28/2018
CVC3 with small optimizations for BLAST Manager, Developer 07/25/2018
Linux Kernel Safety RuleDB Manager, Developer 10/25/2011



06:59 PM Klever Klever 3.7
Klever version:3.7 was primarily devoted to improving a quality of verification results for Linux kernel drivers. Aft... Evgeny Novikov
06:43 PM klever-atomic-context Revision bfc2d4c5: Ready for Klever 3.7
Evgeny Novikov
06:03 PM klever-atomic-context Revision 577e29d5: Mention files where new Klever version should be specified
Evgeny Novikov
05:59 PM klever-atomic-context Revision 76ddcaba: Mention that new releases should be described in CHANGELOG
Evgeny Novikov
05:34 PM klever-atomic-context Revision 2ca3a9ce: Add changelog for former Klever versions
Evgeny Novikov


10:10 PM Klever Bug #11851 (Closed): Fix issues revealed in TTY environment model specifications when checking tests using memory safety
Tests did not reveal any changes, so I merged the branch to master in commit:cb5f01529. I marked this commit as v3.7rc1. Evgeny Novikov
10:06 PM klever-atomic-context Revision cb5f0152: Merge branch 'fix-minor-issues-tty-envmodel-spec'
Evgeny Novikov
12:46 PM Klever Bug #11854 (Closed): Improve error handling in test cases intended for checking TTY environment model specification
Tests passed, so I merged the branch to master in commit:3475b2af7. Evgeny Novikov
10:36 AM Klever Bug #11854 (Resolved): Improve error handling in test cases intended for checking TTY environment model specification
Issues were fixed in branch _fix-tty-envmodel-spec-tests_. It is necessary to regenerate appropriate build bases and ... Evgeny Novikov
11:23 AM Klever Feature #11819: Try to enable cpa.smg.handleUnknownDereferenceAsSafe=false for CPAchecker SMG
Let's make this experiment one day later. Evgeny Novikov

Also available in: Atom