Open-Source Projects

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