Actions
Bug #8985
closedImprecise framebuffer_alloc initialization
Status:
Closed
Priority:
Urgent
Assignee:
Category:
Requirement specifications
Target version:
Start date:
06/21/2018
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Corresponding to source code framebuffer_alloc() should initialize info->par.
http://ldvstore:8998/reports/component/1040963/unsafes/?tag=211
Updated by Anton Vasilyev almost 6 years ago
- Status changed from New to Resolved
Resolved in branch fix_framebuffer_alloc 90959ad25a72
Tested with generic:memory
Updated by Evgeny Novikov almost 6 years ago
- Priority changed from Normal to Urgent
- Target version set to 2.0
Let's postpone a bit these fixes since Klever 1.0 is overloaded.
Updated by Evgeny Novikov almost 6 years ago
- Target version changed from 2.0 to 1.1
This issue is not strictly bound with purposes of 2.0 that targets verification of C software.
Updated by Evgeny Novikov almost 6 years ago
Tests detected that you forgot to add "linux/fb.h" as a prerequisite for rule specification generic:memory. I fixed the issue in branch generic-memory-fixes to be tested soon.
Updated by Evgeny Novikov almost 6 years ago
- Status changed from Resolved to Closed
Tests passed after all, so, I merged the branch to master in c651828a.
Actions