General

Profile

Evgeny Novikov

  • Login: joker
  • Email: novikov@ispras.ru
  • Registered on: 06/09/2010
  • Last connection: 03/25/2022

Issues

open closed Total
Assigned issues 173 596 769
Reported issues 368 1132 1500

Projects

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, Project Creator 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

Activity

08/12/2022

07:05 PM Klever Bug #11821 (Resolved): Allocate memory for inode for file_operations callbacks
I fixed this in branch _fix-file-ops-envmodel-spec_. Let's see on testing results. Evgeny Novikov
06:51 PM Klever Bug #11821 (Resolved): Allocate memory for inode for file_operations callbacks
#11810 revealed that the current environment model specification for file_operations callbacks allocates memory only ... Evgeny Novikov
07:04 PM Klever Revision bcda0f0f: Allocate memory for inode for file_operations callbacks
https://forge.ispras.ru/issues/11821 Evgeny Novikov
03:52 PM Klever Revision 30bb88ba: Merge branch 'master' into check-callback-resources
Evgeny Novikov
10:15 AM Klever Feature #11816 (Closed): Update CPAchecker
After fixing one issue CI passed tests successfully. Verification of drivers of Linux 5.19-rc7 demonstrated excellent... Evgeny Novikov

08/11/2022

04:45 PM Klever Revision f8e6f6e9: Update CPAchecker fixing crucial regression
Evgeny Novikov
04:44 PM Klever CPAchecker-8d8f6cc.tar.xz
Evgeny Novikov
11:08 AM Klever Feature #11816 (Resolved): Update CPAchecker
I updated CPAchecker in branch _support-packed-aligned_. Besides, I added 2 tests one of which failed before the upda... Evgeny Novikov
10:41 AM Klever Revision 500995ca: Add new test cases for testing support of packed/aligned attributes
Evgeny Novikov
10:33 AM Klever Revision 2925ecef: Update CPAchecker that started to support packed/aligned attributes
Evgeny Novikov

Also available in: Atom