CodeSonar : pvm3.4.6 : Null Pointer Dereference

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at task.c:321

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	71.28658
Procedure:	task_init
Trace:	view
Modified:	Thu Nov 26 11:27:17 2009 show details hide details

Priority:	None
State:	None
Finding:	None
Owner:	None
	edit properties

Legend	[ X ]
Warning Location Contributes Parse Error Other Warning Two or More Loop Iterations On Execution Path Comment Macro Preprocessor Include Keyword Preprocessed Away

Legend
Warning Location	Contributes	Parse Error
Other Warning	Two or More Loop Iterations	On Execution Path
Comment	Macro	Preprocessor
Include	Keyword	Preprocessed Away

Source | Language: C

Hide Legend

Problem	Line	Source

			/kat0/fletcher/SATE/2010/pvm3/src/task.c

			Enter task_init

{

if (!locltasks) {

locltasks = TALLOC(1, struct task, "task");

314

BZERO((char*)locltasks, sizeof(struct task)); /* Null Pointer Dereference (ID: 72.28659) */

315

locltasks->t_link = locltasks;

316

locltasks->t_rlink = locltasks;

317

locltasks->t_plink = locltasks;

318

locltasks->t_prlink = locltasks;

319

true

320

cconlist = TALLOC(1, struct ccon, "ccon");

cconlist <= 4095

321

BZERO((char*)cconlist, sizeof(struct ccon)); /* Null Pointer Dereference */

Preconditions

locltasks = 0

Postconditions

cconlist' = 0
errno' != 0
$heap_3274' = &$heap_3274
bytes_after(&$heap_3274)' = 148
$heap_3274' is allocated by malloc
$heap_3274' is allocated
bytes_before(&$heap_3274)' = 0
((char*)&$heap_3274)[4]' = &$heap_3274
((char*)&$heap_3274)[8]' = &$heap_3274
((char*)&$heap_3274)[12]' = &$heap_3274
locltasks' = &$heap_3274

Change Warning 71.28658 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: