Evgeny Novikov
- Login: joker
- Email: novikov@ispras.ru
- Registered on: 06/09/2010
- Last connection: 03/25/2022
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 170 | 607 | 777 |
| Reported issues | 365 | 1143 | 1508 |
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/26/2022
- 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...
- 06:43 PM Klever Revision bfc2d4c5: Ready for Klever 3.7
- 06:05 PM Klever Revision 4d99d144: Ready for Klever 3.7
- 06:03 PM Klever Revision 577e29d5: Mention files where new Klever version should be specified
- 05:59 PM Klever Revision 76ddcaba: Mention that new releases should be described in CHANGELOG
- 05:34 PM Klever Revision 2ca3a9ce: Add changelog for former Klever versions
08/25/2022
- 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.
- 10:06 PM Klever Revision cb5f0152: Merge branch 'fix-minor-issues-tty-envmodel-spec'
- 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.
- 11:23 AM Klever Feature #11819: Try to enable cpa.smg.handleUnknownDereferenceAsSafe=false for CPAchecker SMG
- Let's make this experiment one day later.
Also available in: Atom