CodeSonar : pvm3.4.6 : Null Pointer Dereference

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

	2541		tm_hostsync(tp, mp)
	2542		struct task *tp;
	2543		struct pmsg *mp;
	2544		{
	2545		int where;
	2546		struct hostd *hp;
	2547		struct pmsg *mp2;
	2548		struct waitc *wp;
	2549
	2550		if (upkuint(mp, &where )) {
	2551		pvmlogerror("tm_hostsync() bad msg format\n");
	2552		return 0;
	2553		}
	2554

mp2 = replymessage (mp );

if (!(hp = tidtohost (hosts, where ))) {

pkint(mp2, PvmNoHost );

sendmessage(mp2 );

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

					Enter tm_hostsync / 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_hostsync / sendmessage

Preconditions

hosts->ht_last >= 1
numpmsgs = 0

Postconditions

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