CodeSonar : Pvm : Cast Alters Value

Pvm : Pvm analysis 1 : Cast Alters Value at pmsg.c:1301

Categories:	LANG.CAST.VALUE CWE:192
Warning ID:	2627.2667
Procedure:	enc_xdr_step
Trace:	View
Modified:	Wed Sep 2 12:42:24 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

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

			Enter enc_xdr_step

	1290		enc_xdr_step(mp)
	1291		struct pmsg *mp;
	1292		{
	1293		struct frag *fp;
	1294		int cc;
	1295

true

1296

if (cc = pmsg_extend(mp )) /* Redundant Condition (ID: 2625.2665) */

	1297		return cc; /* Unreachable Data Flow (ID: 2626.2666) */
	1298		fp = mp->m_frag->fr_rlink;
	1299		xdrmem_create(&mp->m_xdr,
	1300		fp->fr_dat,
	1301		(unsigned)(fp->fr_max - (fp->fr_dat - fp->fr_buf)), /* Cast Alters Value */
	1302		XDR_ENCODE);

Preconditions

numfrags != 0
pvmfrgsiz = 0

Postconditions

freefrags.fr_link->fr_link->fr_rlink' = freefrags.fr_link->fr_rlink
freefrags.fr_link->fr_buf' = 0
freefrags.fr_link->fr_dat' = 48
freefrags.fr_link->fr_max' = 0
freefrags.fr_link->fr_len' = 0
freefrags.fr_link->fr_u.ref' = 1
freefrags.fr_link->fr_u.dab' = 1
freefrags.fr_link->fr_u.spr' = 0
freefrags.fr_link->fr_rip' = 0
freefrags.fr_link->fr_rlink' = ((char*)&((char*)*$param_1)[24])[8]
freefrags.fr_link->fr_rlink->fr_link' = freefrags.fr_link->fr_link
freefrags.fr_link->fr_link' = ((char*)$param_1)[24]
cc' = 0
fp' = freefrags.fr_link
mp' = $param_1
numfrags' = numfrags - 1

Change Warning 2627.2667 : Cast Alters Value

Priority:
State:
Finding:
Owner:
Note: