Project

General

Profile

Actions

Bug #331

open

Globals without an explicit initializer are not initialized as zeros!

Added by Pavel Shved over 14 years ago. Updated about 13 years ago.

Status:
Open
Priority:
Normal
Assignee:
Category:
-
Target version:
-
Start date:
08/03/2010
Due date:
% Done:

0%

Estimated time:
Detected in build:
pre-ldv
Platform:
Published in build:

Description

BLAST does not initialize global variables without explicit initializer in the
code.
For instance, if we have global var

int ldv_mutex;

BLAST will not initialize it with zero, and will process this variable as having arbitrary initial value.

In CIL (src/cil.ml) there is a function makeZeroInit. Perhaps, it could direct us...

Actions #1

Updated by Evgeny Novikov over 13 years ago

As I understand just static global variables are initialized with 0 unless this was done explicitly. Does it?

Actions #2

Updated by Pavel Shved about 13 years ago

  • Project changed from Linux Driver Verification to BLAST
  • Category deleted (BLAST)
Actions

Also available in: Atom PDF