Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Null Pointer Dereference  at pvmd.c:3715

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2737.2790
Procedure: sendmessage
Trace: View
Modified: Wed Sep 2 12:44:39 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
   /u1/paul/SATE/2010/c/pvm/pvm3/src/tdpro.c
   Enter tm_hostsync
 2541 tm_hostsync(tp, mp) 
 2542         struct task *tp;
 2543         struct pmsg *mp;
 2544 {
 2545         int where;
 2546         struct hostd *hp;
 2547         struct pmsg *mp2;
 2548         struct waitc *wp;
 2549  
 2550         if (upkuint(mp, &where)) {
 2551                 pvmlogerror("tm_hostsync() bad msg format\n");
 2552                 return 0;
 2553         }
 2554  
true2555         mp2 = replymessage(mp);
 2556  
 2557         if (!(hp = tidtohost(hosts, where))) {
 2558                 pkint(mp2, PvmNoHost);
mp2 <= 40952559                 sendmessage(mp2);
Preconditions 
hosts->ht_last >= 1
numpmsgs = 0
Postconditions 
ff' = 1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = 0
hp' = 0
mp' = 0
mp' = $param_2
mp2' = 0
tp' = $param_1



Change Warning 2737.2790 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: