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.
- 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 ...
- 07:04 PM Klever Revision bcda0f0f: Allocate memory for inode for file_operations callbacks
- https://forge.ispras.ru/issues/11821
- 03:52 PM Klever Revision 30bb88ba: Merge branch 'master' into check-callback-resources
- 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...
08/11/2022
- 04:45 PM Klever Revision f8e6f6e9: Update CPAchecker fixing crucial regression
- 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...
- 10:41 AM Klever Revision 500995ca: Add new test cases for testing support of packed/aligned attributes
- 10:33 AM Klever Revision 2925ecef: Update CPAchecker that started to support packed/aligned attributes
Also available in: Atom