CodeSonar : pvm3.4.6 : Null Pointer Dereference

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

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	183.28808
Procedure:	dm_db
Trace:	view
Modified:	Thu Nov 26 11:28:05 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 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

&$unknown_682832 >= 1
numpmsgs = 0

Postconditions

errno' != 0
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
bytes_after(&$heap_71568)' = &$unknown_682832
$heap_71568' is allocated by malloc
bytes_before(&$heap_71568)' = 0
mp2' = 0
mp3' = 0
mp4' = 0
name' = &$heap_71568

Change Warning 183.28808 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: