Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference  at ddpro.c:2254

Categories: LANG.MEM.NPD CWE:476
Warning ID: 146.28768
Similar Warnings: 146.28767
Procedure: startack
Trace: view
Modified: Thu Nov 26 11:27:49 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/ddpro.c
   Enter startack
 2056 startack(wp, mp) 
 2057         struct waitc *wp;               /* wait context on hoster */ 
 2058         struct pmsg *mp;
 2059 {
 2060         struct hostd *hp;
 2061         struct pmsg *mp2;
 2062         struct waitc *wp2;              /* seed waitc for htupd peer group */ 
 2063         struct waitc *wp3;
 2064         int count;                              /* num of new hosts */ 
 2065         int happy;                              /* num of happy new hosts */ 
 2066         struct waitc_add *wxp;
   ...
 2070         int i, j;
 2071         int t;
 2072         int hh;
 2073         char *buf;
 2074         char buf2[256];
 2075  
 2076         /*
 2077         * unpack startup results, update hosts in wait context 
 2078         */ 
 2079  
 2080         wxp = (struct waitc_add *)wp->wa_spec;
 2081         count = wxp->w_num;
 2082         upkint(mp, &j);
 2083  
 2084         while (j-- > 0) {
 2085                 if (upkuint(mp, &t) || upkstralloc(mp, &buf)) {
 2086                         pvmlogerror("startack() bad message format\n");
 2087                         pkint(wp->wa_mesg, PvmDSysErr);
 2088                         sendmessage(wp->wa_mesg);
 2089                         wp->wa_mesg = 0;
 2090                         wait_delete(wp);
 2091                         busyadding = 0;
 2092                         return 0;
 2093                 }
 2094                 for (i = count; i-- > 0 && wxp->w_hosts[i]->hd_hostpart != t; ) ;
   ...
 2127                 hp->hd_mtu = atoi(av[3]);
 2128                 hp->hd_dsig = atoi(av[4]);
 2129  
 2130                 PVM_FREE(buf);
 2131         }
 2132  
 2133         /*
 2134         * update reply message to add-host requestor 
 2135         */ 
 2136  
 2137         mp2 = wp->wa_mesg;
 2138         pkint(mp2, count);
 2139         pkint(mp2, 0);  /* XXX narches = 0 for now */ 
 2140         for (i = 0; i < count; i++) {
 2141                 hp = wxp->w_hosts[i];
 2142                 if (hp->hd_err) {
 2143                         pkint(mp2, hp->hd_err);
 2144                         pkstr(mp2, "");
 2145                         pkstr(mp2, "");
 2146                         pkint(mp2, 0);
 2147                         pkint(mp2, 0);
 2148  
 2149                 } else {
 2150                         pkint(mp2, hp->hd_hostpart);
 2151                         pkstr(mp2, hp->hd_name);
 2152                         pkstr(mp2, hp->hd_arch);
 2153                         pkint(mp2, hp->hd_speed);
 2154                         pkint(mp2, hp->hd_dsig);
 2155                 }
 2156         }
 2157  
 2158         /*
 2159         * delete broken ones, done now if none succeeded,
 2160         * otherwise done when host table update is complete.
 2161         */ 
 2162  
 2163         for (j = i = 0; i < count; i++)
 2164                 if (!wxp->w_hosts[i]->hd_err) {
 2165                         hp = wxp->w_hosts[i];
 2166                         wxp->w_hosts[i] = 0;
 2167                         wxp->w_hosts[j++] = hp;
 2168  
 2169                 } else {
 2170                         hd_unref(wxp->w_hosts[i]);
 2171                         wxp->w_hosts[i] = 0;
 2172                 }
 2173         count = j;
 2174  
 2175         if (count < 1) {
 2176                 busyadding = 0;
 2177                 sendmessage(wp->wa_mesg);
 2178                 wp->wa_mesg = 0;
 2179                 free_waitc_add(wxp);
 2180                 wait_delete(wp);
 2181                 return 0;
 2182         }
 2183  
 2184         wp2 = wait_new(WT_HTUPD);
 2185         wp2->wa_dep = wp->wa_dep;
 2186         wp2->wa_mesg = wp->wa_mesg;
 2187         wp->wa_mesg = 0;
 2188  
 2189         /*
 2190         * make next host table 
 2191         */ 
 2192  
 2193         newhosts = ht_new(1);
 2194         newhosts->ht_serial = hosts->ht_serial + 1;
 2195         newhosts->ht_master = hosts->ht_master;
 2196         newhosts->ht_cons = hosts->ht_cons;
 2197         newhosts->ht_local = hosts->ht_local;
 2198  
 2199         for (i = 0; i < count; i++)
 2200                 ht_insert(newhosts, wxp->w_hosts[i]);
 2201  
 2202         free_waitc_add(wxp);
 2203         wait_delete(wp);
 2204         wp = 0;
 2205  
 2206         runstate = PVMDHTUPD;
 2207  
 2208         /*
 2209         * send DM_SLCONF message to each new host 
 2210         */ 
 2211  
 2212         for (hh = newhosts->ht_last; hh > 0; hh--)
 2213                 if (hp = newhosts->ht_hosts[hh]) {
 2214                         mp2 = mesg_new(0);
 2215                         mp2->m_tag = DM_SLCONF;   /* Null Pointer Dereference (ID: 147.28769) */
 2216                         mp2->m_dst = hp->hd_hostpart | TIDPVMD;
 2217                         if (hp->hd_epath) {
 2218                                 pkint(mp2, DM_SLCONF_EP);
 2219                                 pkstr(mp2, hp->hd_epath);
 2220                         }
 2221                         if (hp->hd_bpath) {
 2222                                 pkint(mp2, DM_SLCONF_BP);
 2223                                 pkstr(mp2, hp->hd_bpath);
 2224                         }
 2225                         if (hp->hd_wdir) {
 2226                                 pkint(mp2, DM_SLCONF_WD);
 2227                                 pkstr(mp2, hp->hd_wdir);
 2228                         }
 2229                         if (pvmschedtid) {
 2230                                 sprintf(buf2, "%x", pvmschedtid);
 2231                                 pkint(mp2, DM_SLCONF_SCHED);
 2232                                 pkstr(mp2, buf2);
 2233                         }
 2234                         if (pvmtracer.trctid || pvmtracer.outtid) {
 2235                                 sprintf(buf2, "%x %d %d %x %d %d %d %d %s",
 2236                                         pvmtracer.trctid, pvmtracer.trcctx,
 2237                                                 pvmtracer.trctag,
 2238                                         pvmtracer.outtid, pvmtracer.outctx,
 2239                                                 pvmtracer.outtag,
 2240                                         pvmtracer.trcbuf, pvmtracer.trcopt,
 2241                                         pvmtracer.tmask);
 2242                                 pkint(mp2, DM_SLCONF_TRACE);
 2243                                 pkstr(mp2, buf2);
 2244                         }
 2245                         sendmessage(mp2);
 2246                 }
 2247  
 2248         /*
 2249         * create host table update message containing all current hosts 
 2250         * plus new ones, send to each new host.
 2251         */ 
 2252  
true2253         mp2 = mesg_new(0);
mp2 <= 40952254         mp2->m_tag = DM_HTUPD;     /* Null Pointer Dereference */
Preconditions 
&$unknown_546343 >= 2
&$unknown_546351 = &$unknown_546352 - 92
wp->wa_peer >= 0
waitlist->wa_wid <= widbase
wp->wa_link >= 0
*wp->wa_spec >= 2
waitlist->wa_link != waitlist
((char*)&$heap_67218)[4] >= 2
pvmschedtid != 0
pvmtracer.trctid != 0
strlen(&pvmtracer.trctid) >= -58
widrange <= lastwid
Postconditions 
((char*)**$unknown_546344)[4]' = &$heap_67216
((char*)&$unknown_546352)[4]' = ((char*)&$unknown_546351)[4]
strlen(&buf2[0])' = strlen(&pvmtracer.trctid) + 58
buf2[8]' = 0
count' = &$unknown_546343
errno' != 0
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
bytes_after(&$heap_67216)' = 48
$heap_67216' is allocated by malloc
$heap_67216' is allocated
bytes_before(&$heap_67216)' = 0
((char*)&$heap_67216)[16]' = 0
((char*)&$heap_67216)[20]' = 0
((char*)&$heap_67216)[24]' = wp->wa_dep
((char*)&$heap_67216)[28]' = &$heap_67216
((char*)&$heap_67216)[36]' = wp->wa_mesg
((char*)&$heap_67216)[40]' = 0
((char*)&$heap_67216)[4]' = ((char*)*$unknown_546344)[4]
((char*)&$heap_67216)[44]' = 0
((char*)&$heap_67216)[8]' = widbase + 1
((char*)&$heap_67216)[12]' = 6
$heap_67218' = hosts->ht_serial + 1
bytes_after(&$heap_67218)' = 32
$heap_67218' is allocated by malloc
$heap_67218' is allocated
bytes_before(&$heap_67218)' = 0
((char*)&$heap_67218)[16]' = hosts->ht_cons
((char*)&$heap_67218)[20]' = hosts->ht_local
((char*)&$heap_67218)[24]' = 0
((char*)&$heap_67218)[12]' = hosts->ht_master
hh' = 0
hp' = ((char*)&((char*)$heap_67218)[28])[4]
i' = &$unknown_546343
j' = &$unknown_546343
lastwid' = 1
mp2' = 0
newhosts' = &$heap_67218
numpmsgs' = 0
runstate' = 2
wp' = 0
wp2' = &$heap_67216
wxp' = wp->wa_spec



Change Warning 146.28768 : Null Pointer Dereference

Because they are very similar, this warning shares annotations with warning 146.28767.
CodeSonar has selected warning 146.28767 to represent this group of similar warnings. In order to edit this group, you must edit warning 146.28767.