General

Profile

Evgeny Novikov

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

Issues

open closed Total
Assigned issues 177 549 726
Reported issues 372 1082 1454

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

01/21/2022

12:45 PM C Instrumentation Framework Feature #11274 (Resolved): Describe several use cases and current vital limitations
I did that in branch _docs_. Evgeny Novikov
12:44 PM C Instrumentation Framework Revision 8401619f: Complete CIF tutorial
Also, slightly change samples. Evgeny Novikov
10:41 AM C Instrumentation Framework Revision 2780796e: Merge branch 'master' into docs
Evgeny Novikov
10:41 AM C Instrumentation Framework Revision 8a21da4a: Enable optimization at compilation of CIF binary
Besides, specify how to build debug version of CIF and strip CIF binary. Evgeny Novikov
10:41 AM C Instrumentation Framework Revision 9c0963f3: Fix segmentation fault for "--back-end bin"
Evgeny Novikov

01/20/2022

07:11 PM C Instrumentation Framework Revision f4cdc75b: Fix description of some special directives
Evgeny Novikov
07:10 PM C Instrumentation Framework Revision ed5def63: Initial version of CIF tutorial (it is very incomplete)
Evgeny Novikov
06:44 PM C Instrumentation Framework Revision 5a5d0613: Add samples for upcoming tutorial
Evgeny Novikov
06:33 PM C Instrumentation Framework Revision d74913e1: Enable optimization at compilation of CIF binary
Besides, specify how to build debug version of CIF and strip CIF binary. Evgeny Novikov
06:33 PM C Instrumentation Framework Revision 1aa6c9f8: Merge branch 'master' into docs
Evgeny Novikov

Also available in: Atom