CodeSonar : Pvm : Null Pointer Dereference

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

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	2928.3010
Procedure:	job_new
Trace:	View
Modified:	Wed Sep 2 12:52:48 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 job_new

struct job *

job_new(jid)

int jid;

{

struct job *jp = joblist->j_link;

struct job *jp2;

struct obuf *op;

while (jp != joblist && jp->j_jid < jid)

134

jp = jp->j_link;

135

if (jp->j_jid != jid) {

true

136

jp2 = TALLOC(1, struct job, "job");

jp2 <= 4095

137

BZERO((char*)jp2, sizeof(struct job)); /* Null Pointer Dereference */

Preconditions

((char*)*$unknown_3278667)[16] != $param_1
joblist->j_link->j_jid <= $param_1 - 1
((char*)$unknown_3278667)[16] <= $param_1 - 1
*$unknown_3278667 = joblist
joblist->j_link != joblist

Postconditions

jid' = $param_1
jp' = *$unknown_3278667
jp2' = 0

Change Warning 2928.3010 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: