CodeSonar : pvm3.4.6 : Null Pointer Dereference

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at host.c:535

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	68.28654
Procedure:	ht_insert
Trace:	view
Modified:	Thu Nov 26 11:27:16 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

			/kat0/fletcher/SATE/2010/pvm3/src/host.c

			Enter ht_insert

ht_insert(htp, hp)

struct htab *htp;

struct hostd *hp;

{

int hh;

int i;

unsigned long mask = 0, tmpmask;

int *dsigs;

int ndsigs;

int found;

int d;

hh = (hp->hd_hostpart & tidhmask) >> (ffs(tidhmask) - 1);

521

522

/* extend ht_hosts[] if no room */

523

524

if (hh > htp->ht_last) {

525

int n = htp->ht_last;

526

527

htp->ht_last = (hh * 3) / 2;

true

528

htp->ht_hosts = TREALLOC(htp->ht_hosts, htp->ht_last + 1, struct hostd*); /* Integer Overflow of Allocation Size (ID: 70.28656) */

529

while (++n <= htp->ht_last)

530

htp->ht_hosts[n] = 0; /* Null Pointer Dereference (ID: 69.28655) */

531

}

532

533

/* if already have an entry, take this as an update XXX kind of a hack */

534

htp->ht_hosts <= 4095

535

if (htp->ht_hosts[hh]) { /* already have an entry */ /* Null Pointer Dereference */

Preconditions

htp->ht_hosts != 0
htp->ht_last >= -1

Postconditions

errno' != 0
hh' >= 0
hh' >= htp->ht_last + 1
mask' = 0
n' = htp->ht_last + 1

Change Warning 68.28654 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: