CodeSonar : Pvm : Null Pointer Dereference

Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmcruft.c:598

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	2528.2559
Procedure:	pvmenvinsert
Trace:	View
Modified:	Wed Sep 2 12:40:23 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/pvmcruft.c

			Enter pvmenvinsert

575

pvmenvinsert(anep, s)

576

char ***anep; /* environment pointer, may change (NOT environ) */

577

char *s; /* string of form "NAME=Value" */

{

char **ep;

char **newep;

char *p;

int l; /* length of env var name or env */

newep = *anep;

if (!s || !(p = CINDEX(s, '=')))

587

return -1;

588

l = p - s + 1; /* must include the '=' */

589

590

/* search environ for name */

591

592

for (ep = newep; *ep; ep++)

593

if (!strncmp(*ep, s, l))

594

break;

595

596

if (*ep) { /* already there, replace it */

597

PVM_FREE(*ep);

true

598

*ep = STRALLOC(s); /* Null Pointer Dereference */

Preconditions

&$unknown_353195 != 0
&$unknown_353196 >= *$param_1
&$unknown_353197 <= strlen($param_2)
&$unknown_353197 >= 1
strlen($param_2) >= 1
strlen(((char*)&$unknown_353196)[8]) != strlen($param_2)
strlen(((char*)&$unknown_353196)[8]) >= &$unknown_353197
strlen(((char*)&$unknown_353196)[8]) >= 1

Postconditions

((char*)$unknown_353196)[8]' is freed
anep' = $param_1
codesonar_distance_tweak' = 3
ep' = &$unknown_353196 + 8
l' = &$unknown_353197
newep' = *$param_1
p' = &$unknown_353195
s' = $param_2

Change Warning 2528.2559 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: