Evgeny Novikov
Evgeny Novikov- Email: novikov@ispras.ru
- Registered on: 06/09/2010
- Last connection: 04/03/2020
Issues
- Assigned issues: 184
- Reported issues: 1259
Projects
- CVC3 with small optimizations for BLAST (Manager, Developer, 07/25/2018)
- CPAchecker (Manager, Developer, 07/28/2018)
- CIL (Manager, 06/06/2018)
- BLAST (Reporter, 09/16/2011)
- Klever (Manager, Developer RO, Project Creator, 09/03/2015)
- LDV Tools (Manager, Developer, 03/17/2018)
- Linux Kernel Safety RuleDB (Manager, Developer, 10/25/2011)
- Race Hound (Manager, Developer, 11/22/2012)
- Linux Driver Verification (Manager, Developer, 06/09/2010)
- Clade (Manager, Developer, 02/22/2018)
- C Instrumentation Framework (Manager, Developer, Project Creator, 06/05/2012)
- Deductive Verification Tools for Linux Kernel (Manager, Reporter, Customer, Product Owner, 03/18/2019)
- Kartographer (Reporter, 11/19/2015)
- Aspectator (Manager, Developer, Project Creator, 02/27/2018)
Activity
04/03/2020
-
09:40 PM C Instrumentation Framework cif-434ea2d.tar.xz
-
- Implemented in commit:434ea2d.
-
- Attribute _packed_ affects sizes of structure data types that can cause false alarms during finding memory issues.
-
- https://forge.ispras.ru/issues/10211
-
- https://forge.ispras.ru/issues/10211
-
-
- It was a very compicated issue to detect. Indeed Clade failed when
generating cross references for this model. And th... -
-
- The fix works well. Thank you for the binary distribution, but now I can do them myself at last.
-
Also available in: Atom