CodeSonar : Pvm : Null Pointer Dereference

Pvm : Pvm analysis 1 : Null Pointer Dereference at lpvmcat.c:256

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	2776.2832
Procedure:	tobuf_new
Trace:	View
Modified:	Wed Sep 2 12:46:13 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

			/u1/paul/SATE/2010/c/pvm/pvm3/src/lpvmcat.c

			Enter tobuf_new

245

static struct tobuf *

tobuf_new(tid)

int tid;

{

struct tobuf *op = tobuflist->o_link;

250

struct tobuf *op2;

251

252

while (op != tobuflist && op->o_tid < tid)

253

op = op->o_link;

254

if (op->o_tid != tid) {

true

255

op2 = TALLOC(1, struct tobuf, "tobuf");

op2 <= 4095

256

BZERO((char*)op2, sizeof(struct tobuf)); /* Null Pointer Dereference */

Preconditions

((char*)*$unknown_1536442)[16] != $param_1
tobuflist->o_link->o_tid <= $param_1 - 1
((char*)$unknown_1536442)[16] <= $param_1 - 1
*$unknown_1536442 = tobuflist
tobuflist != tobuflist->o_link

Postconditions

op' = *$unknown_1536442
op2' = 0
tid' = $param_1

Change Warning 2776.2832 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: