CodeSonar : pvm3.4.6 : Null Pointer Dereference

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	312.28989
Procedure:	sendmessage
Trace:	view
Modified:	Thu Nov 26 11:29:23 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

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

			Enter tm_sched

mp2 = replymessage (mp );

	2239		pkint(mp2, pvmschedtid );
	2240		hp = hosts->ht_hosts[hosts->ht_master];
	2241		pkint(mp2, hp->hd_hostpart );
	2242		pkstr(mp2, hp->hd_name );
	2243		pkstr(mp2, hp->hd_arch ? hp->hd_arch : "");
	2244		pkint(mp2, hp->hd_speed );
	2245		pkint(mp2, hp->hd_dsig );

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

					Enter tm_sched / sendmessage

struct pmsg *mp;

{

struct hostd *hp = 0;

struct task *tp;

struct frag *fp;

struct pkt *pp;

int ff = FFSOM;

int dst = mp->m_dst; /* Null Pointer Dereference */ /* 13 more... */

					Exit tm_sched / sendmessage

Preconditions

((char*)&$unknown_1034898)[12] = 0
numpmsgs = 0

Postconditions

errno' != 0
ff' = 1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = 0
hp' = &$unknown_1034898
mp' = 0
mp2' = 0