Project

General

Profile

Bug #8985

Imprecise framebuffer_alloc initialization

Added by Anton Vasilyev about 1 year ago. Updated about 1 year ago.

Status:
Closed
Priority:
Urgent
Category:
Rule 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

History

#1

Updated by Anton Vasilyev about 1 year ago

  • Status changed from New to Resolved

Resolved in branch fix_framebuffer_alloc 90959ad25a72
Tested with generic:memory

#2

Updated by Evgeny Novikov about 1 year ago

  • Target version set to 2.0
  • Priority changed from Normal to Urgent

Let's postpone a bit these fixes since Klever 1.0 is overloaded.

#3

Updated by Evgeny Novikov about 1 year 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.

#4

Updated by Evgeny Novikov about 1 year 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.

#5

Updated by Evgeny Novikov about 1 year ago

  • Status changed from Resolved to Closed

Tests passed after all, so, I merged the branch to master in c651828a.

Also available in: Atom PDF