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: 290.28965
Procedure: sendmessage
Trace: view
Modified: Thu Nov 26 11:29:17 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_config
 1478 tm_config(tp, mp) 
 1479         struct task *tp;
 1480         struct pmsg *mp;
 1481 {
 1482         int hh;
 1483         struct hostd *hp;
 1484  
true1485         mp = replymessage(mp);
 1486         pkint(mp, hosts->ht_cnt);
 1487         pkint(mp, hosts->ht_narch);
 1488         for (hh = 1; hh <= hosts->ht_last; hh++) {
 1489                 if (hp = hosts->ht_hosts[hh]) {
 1490                         pkint(mp, hp->hd_hostpart);
 1491                         pkstr(mp, hp->hd_name);
 1492                         pkstr(mp, hp->hd_arch ? hp->hd_arch : "");
 1493                         pkint(mp, hp->hd_speed);
 1494                         pkint(mp, hp->hd_dsig);
 1495                 }
 1496         }
mp <= 40951497         sendmessage(mp);
Preconditions 
hosts->ht_last >= 2
((char*)&$unknown_942767)[12] = 0
numpmsgs = 0
Postconditions 
errno' != 0
ff' = 1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hh' = hosts->ht_last + 1
hp' = 0
hp' = &$unknown_942767
mp' = 0
mp' = 0



Change Warning 290.28965 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: