Text  |   XML   |   Visible Warnings:

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
 
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

Source  |  Language: C Hide Legend     
ProblemLineSource
   /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  
true1296         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: