CodeSonar : Pvm : Null Pointer Dereference

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	2599.2633
Procedure:	dm_db
Trace:	View
Modified:	Wed Sep 2 12:41:59 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/ddpro.c

			Enter dm_db

	2943		dm_db(hp, mp)
	2944		struct hostd *hp;
	2945		struct pmsg *mp;
	2946		{
	2947		int opcode; /* op requested */
	2948		int tid;
	2949		int req; /* index requested */
	2950		int flags;
	2951		char name = 0; / class name */
	2952		struct pmsg mp2 = 0; / reply */
	2953		struct pmsg mp3 = 0; / data message */
	2954
	2955		struct waitc wp, wp2; /* wait ctx ptrs (notify, recvinfo */
	2956		struct pmsg mp4 = 0; / notify forward message */
	2957		struct hostd hp2; / remote notify host */
	2958
	2959		struct pvmmclass np, np2; /* reset pointers */
	2960		struct pvmmentry ep, ep2; /* reset pointers */
	2961		int noresets; / noreset tids */
	2962		int nnr; /* # of noreset tasks */
	2963		int found;
	2964		int cc;
	2965		int i;
	2966		int notified;
	2967
	2968		hp = hp;
	2969
	2970		if (upkint(mp, &opcode ) \|\| upkint(mp, &tid )
	2971		\|\| upkstralloc(mp, &name ) \|\| upkint(mp, &req ) \|\| upkint(mp, &flags ))
	2972		goto badformat;
	2973

mp2 = mesg_new (0);

mp2->m_dst = mp->m_src; /* Null Pointer Dereference */

Preconditions

numpmsgs = 0

Postconditions

freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = $param_1
mp' = $param_2
mp2' = 0
mp3' = 0
mp4' = 0
name' = 0