CodeSonar : pvm3.4.6 : Null Pointer Dereference

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at ddpro.c:573

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	41.28626
Procedure:	hostfailentry
Trace:	view
Modified:	Thu Nov 26 11:27:08 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/ddpro.c

			Enter hostfailentry

hostfailentry(hp)

struct hostd *hp;

{

int hpart = hp->hd_hostpart;

550

struct waitc *wp, *wp2;

551

struct pmsg *mp;

552

struct pvmmentry *ep;

553

554

if (pvmdebmask & PDMHOST) {

555

pvmlogprintf("hostfailentry() host %s\n", hp->hd_name );

hd_dump(hp );

}

if (hp == hosts->ht_hosts[hosts->ht_master]) {

560

pvmlogerror("hostfailentry() lost master host, we're screwwwed\n");

pvmbailout(0);

}

* if we're master pvmd, send HT_DEL message to all others

566

567

568

if (hp->hd_hostpart && hosts->ht_master == hosts->ht_local) {

struct hostd *hp2;

int hh;

mp = mesg_new (0);

mp->m_tag = DM_HTDEL; /* Null Pointer Dereference */

Preconditions

hp->hd_hostpart != 0
hp->hd_txq >= 0
hp->hd_vmid != 0
hosts->ht_master = hosts->ht_local
numpmsgs = 0

Postconditions

strlen(&buf[0])' = 59
buf[59]' = 0
errno' != 0
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hpart' = hp->hd_hostpart
mp' = 0

Change Warning 41.28626 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: