CodeSonar : Pvm : Null Pointer Dereference

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	2702.2755
Procedure:	sendmessage
Trace:	View
Modified:	Wed Sep 2 12:44:02 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/tdpro.c

			Enter tm_exit

mp = replymessage (mp );

tp->t_flag |= TF_CLOSE;

					/u1/paul/SATE/2010/c/pvm/pvm3/src/pvmd.c

					Enter tm_exit / 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 */ /* 12 more... */

					Exit tm_exit / sendmessage

Preconditions

numpmsgs = 0

Postconditions

ff' = 1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = 0
mp' = 0
mp' = 0
tp' = $param_1