Actions
Bug #331
openGlobals without an explicit initializer are not initialized as zeros!
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...
Updated by Evgeny Novikov about 13 years ago
As I understand just static global variables are initialized with 0 unless this was done explicitly. Does it?
Updated by Pavel Shved over 12 years ago
- Project changed from Linux Driver Verification to BLAST
- Category deleted (
BLAST)
Actions