CodeSonar : Pvm : Null Pointer Dereference

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	2650.2695
Procedure:	pvmcopyenv
Trace:	View
Modified:	Wed Sep 2 12:42:37 2009 show details hide details

Legend	[ X ]
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 pvmcopyenv

char **

char **anyep; /* old environment to copy, or NULL */

{

char **newep;

int i, n;

if (anyep) {

for (n = 0; anyep[n]; n++) ;

if (newep = TALLOC(n + 1, char *, "env")) {

newep[n] = 0;

for (i = 0; i < n; i++) {

if (!(newep[i] = STRALLOC(anyep[i]))) { /* Null Pointer Dereference */

Preconditions

&$unknown_785052 = 0

Postconditions

anyep' = $param_1
$heap_43436' is allocated by malloc
$heap_43436' is allocated
bytes_before(&$heap_43436)' = 0
newep' = &$heap_43436