General

Profile

Evgeny Novikov

Issues

Projects

Activity

04/03/2020

09:40 PM C Instrumentation Framework cif-434ea2d.tar.xz
Evgeny Novikov
06:50 PM C Instrumentation Framework Feature #10211 (Closed): Support attribute "packed"
Implemented in commit:434ea2d. Evgeny Novikov
06:49 PM C Instrumentation Framework Feature #10211 (Closed): Support attribute "packed"
Attribute _packed_ affects sizes of structure data types that can cause false alarms during finding memory issues. Evgeny Novikov
06:50 PM C Instrumentation Framework Revision 434ea2df: Update Aspectator and test case
https://forge.ispras.ru/issues/10211 Evgeny Novikov
06:46 PM Aspectator Revision 1cb17e09: Support attribute "packed"
https://forge.ispras.ru/issues/10211 Evgeny Novikov
05:25 PM C Instrumentation Framework Revision 028daaac: Add new test case
Evgeny Novikov
01:17 PM Klever Revision ae974be4: Fix header path
It was a very compicated issue to detect. Indeed Clade failed when
generating cross references for this model. And th...
Evgeny Novikov
11:34 AM Klever Revision d6e620fa: Update CIL fixing https://forge.ispras.ru/issues/10198
Evgeny Novikov
11:33 AM Deductive Verification Tools for Linux Kernel Bug #10198 (Closed): Invalid serialization of post-decrement operation
The fix works well. Thank you for the binary distribution, but now I can do them myself at last. Evgeny Novikov
11:08 AM Klever frama-c-cil-9d27efa.tar.xz
Evgeny Novikov

Also available in: Atom