Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference  at pvmd.c:3715

Categories: LANG.MEM.NPD CWE:476
Warning ID: 289.28964
Procedure: sendmessage
Trace: view
Modified: Thu Nov 26 11:29:16 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
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     
ProblemLineSource
   /kat0/fletcher/SATE/2010/pvm3/src/tdpro.c
   Enter tm_sendsig
 1429 tm_sendsig(tp, mp) 
 1430         struct task *tp;
 1431         struct pmsg *mp;
 1432 {
 1433         int tid;
 1434         struct pmsg *mp2;
 1435  
 1436         if (upkuint(mp, &tid)) {
 1437                 pvmlogerror("tm_sendsig() bad msg format\n");
 1438                 return 0;
 1439         }
 1440         if (!TIDISTASK(tid)) {
 1441                 pvmlogprintf("tm_sendsig() bad tid %x\n", tid);
 1442                 return 0;
 1443         }
 1444  
true1445         mp2 = replymessage(mp);
mp2 <= 40951446         sendmessage(mp2);
Preconditions 
numpmsgs = 0
Postconditions 
errno' != 0
ff' = 1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = 0
mp' = 0
mp2' = 0



Change Warning 289.28964 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: