General

Profile

Evgeny Novikov

Issues

Projects

Activity

Today

10:22 AM Klever Bug #7670: Instrumentation of memory allocation functions from driver code should correctly pass size of memory
I fixed it a bit in the same branch, updated preset marks and scheduled a comprehensive testing. If it will pass, I w...
10:20 AM Klever Bug #8231: ldv_memory_free is called without parameters
Let's postpone a bit these fixes since Klever version:1.0 is overloaded.
10:18 AM Klever Bug #8985: Imprecise framebuffer_alloc initialization
Let's postpone a bit these fixes since Klever version:1.0 is overloaded.
10:13 AM Klever Revision 163312cd: Combine everything from linux/mm/*.[aspect|c] to linux/mm/slab.[aspect|c]
Besides, fix preset marks since 3 missed bugs moved to 3 target bugs.
09:47 AM Klever Revision 4c1e4a8e: Fix licenses

06/21/2018

07:59 PM Klever Feature #7971 (Closed): Rule specification generic:memory lacks test cases
Tests passed, so, I merged the branch to master in commit:85d2deda.
01:30 PM Klever Feature #7971: Rule specification generic:memory lacks test cases
You are the primary author of this branch, so, don't change the assignee.
I fixed numerous coding-style issues and...
11:30 AM Klever Revision 85d2deda: Add preset marks for new tests for generic:memory
https://forge.ispras.ru/issues/7971
10:34 AM Klever Bug #8981 (New): Visualization of error traces for generic:memory is broken
You can find an example of such the error trace and the screenshot with its visualization in attachments. Most likely...
10:30 AM Klever Revision 1326113d: Fix numerous coding style issues

Also available in: Atom