CodeSonar : Pvm : Null Pointer Dereference

Pvm : Pvm analysis 1 : Null Pointer Dereference at job.c:215

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	2899.2967
Procedure:	obuf_new
Trace:	View
Modified:	Wed Sep 2 12:52: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/console/job.c

			Enter obuf_new

struct obuf *

obuf_new(jp, tid)

struct job *jp;

int tid;

{

struct obuf *op = jp->j_obufs->o_link;

209

struct obuf *op2;

210

211

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

212

op = op->o_link;

213

if (op->o_tid != tid) {

true

214

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

op2 <= 4095

215

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

Preconditions

((char*)((char*)*$param_1)[32])[16] <= $param_2 - 1
((char*)*$unknown_3160502)[16] != $param_2
((char*)$unknown_3160502)[16] <= $param_2 - 1
((char*)*$param_1)[32] != ((char*)$param_1)[32]
*$unknown_3160502 = ((char*)$param_1)[32]

Postconditions

jp' = $param_1
op' = *$unknown_3160502
op2' = 0
tid' = $param_2

Change Warning 2899.2967 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: