Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Free Null Pointer  at ddpro.c:1012

Categories: ALLOC.FNP CWE:590
Warning ID: 22047.28718
Procedure: addhosts
Trace: view
Modified: Thu Nov 26 11:27:35 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
   /kat0/fletcher/SATE/2010/pvm3/src/ddpro.c
   Enter addhosts
 840 addhosts(mp, rmp) 
 841         struct pmsg *mp;        /* the request message */ 
 842         struct pmsg *rmp;       /* reply message blank */ 
 843 {
 844         struct hostd *hp, *hp2;
 845         struct pmsg *mp2;
 846         struct waitc *wp = 0;
 847         struct waitc_add *wxp = 0;
 848         int i, j;
 849         int count;
 850         int ngood;
 851         int ntid;
 852         struct hostent *he;
 853         int maxhostid = (tidhmask >> ffs(tidhmask) - 1);
 854         int hh;
 855         int pid;
 856         int *tids;
 857         char *winpvmdpath;
 858         char *pvmdpath;
 859         char *vmid;
 860         char *buf;
 861         int len;
 862  
 863         /*
 864         * have to lock this for 2 reasons:
 865         *  1. system can't handle overlapping host table updates,
 866         *  2. the new host tids aren't reserved 
 867         */ 
 868         if (busyadding) {
 869 /*
 870                 pvmlogerror("addhosts() already adding new hosts\n");
 871 */ 
 872                 pkint(rmp, PvmAlready);
 873                 sendmessage(rmp);
 874                 return 0;
 875         }
 876  
 877         busyadding = 1;
 878  
 879         /* sanity check count */ 
 880  
 881         if (upkint(mp, &count) || count < 1 || count > maxhostid) {
 882                 pvmlogerror("addhosts() bad msg format\n");
 883                 goto bad;
 884         }
 885  
 886         /*
 887         * make wait context, extract host list from message,
 888         */ 
 889  
 890         wp = wait_new(WT_HOSTSTART);
 891         wp->wa_tid = mp->m_src;
 892         wp->wa_dep = mp->m_wid;
 893         wxp = TALLOC(1, struct waitc_add, "waix");
 894         wxp->w_num = count;   /* Null Pointer Dereference (ID: 22059.28730) */
 895         wxp->w_hosts = TALLOC(count, struct hostd *, "waiv");   /* Integer Overflow of Allocation Size (ID: 22058.28729) */
 896         BZERO((char*)wxp->w_hosts, count * sizeof(struct hostd *));   /* Null Pointer Dereference (ID: 22057.28728) */
 897         wp->wa_spec = (void *)wxp;
 898  
 899         for (i = 0; i < count; i++) {
 900                 hp = hd_new(0);
 901                 wxp->w_hosts[i] = hp;
 902                 if (upkstralloc(mp, &buf)) {
 903                         pvmlogerror("addhosts() bad msg format\n");
 904                         goto bad;
 905                 }
 906                 if (parsehost(buf, hp)) {
 907                         hp->hd_err = PvmBadParam;   /* Null Pointer Dereference (ID: 22054.28725) */
 908  
 909                 } else {
 910  
 911                 /* Set unspecified fields from hostfile if available */ 
 912  
 913                         if (filehosts &&
 914                                         ((hp2 = nametohost(filehosts, hp->hd_name))   /* Null Pointer Dereference (ID: 22053.28724) */
 915                                         || (hp2 = filehosts->ht_hosts[0])))
 916                                 applydefaults(hp, hp2);
 917                 }
 918                 PVM_FREE(buf);
 919         }
 920  
 921         /*
 922         * verify we have a chance to add these babies...
 923         * check whether our IP is "real" or just loopback 
 924         */ 
 925  
 926         hp = hosts->ht_hosts[hosts->ht_local];
 927  
 928         if ( hp->hd_sad.sin_addr.s_addr == htonl(0x7f000001) ) {
 929  
 930                 /* damn, we're hosed.  bail on host adds with new */ 
 931                 /* PvmIPLoopback error code... */ 
 932  
 933                 for (i = 0; i < count; i++) {
 934                         hp = wxp->w_hosts[i];
 935                         if (hp->hd_err)
 936                                 continue;
 937                         hp->hd_err = PvmIPLoopback;
 938                 }
 939         }
 940  
 941         /*
 942         * lookup IP addresses  XXX we already have some of them 
 943         */ 
 944  
 945         ngood = 0;
 946         for (i = 0; i < count; i++) {
 947                 hp = wxp->w_hosts[i];
 948                 if (hp->hd_err)
 949                         continue;
 950  
 951                 if (he = gethostbyname(hp->hd_aname ? hp->hd_aname : hp->hd_name)) {
 952                         BCOPY(he->h_addr_list[0], (char*)&hp->hd_sad.sin_addr,
 953                                         sizeof(struct in_addr));   /* Buffer Overrun (ID: 22052.28723) */
 954  
 955                 } else {
 956                         if (pvmdebmask & PDMSTARTUP) {
 957                                 pvmlogprintf( 
 958                                                 "start_slaves() can't gethostbyname: %s\n",
 959                                                 hp->hd_name);
 960                         }
 961                         hp->hd_err = PvmNoHost;
 962                         continue;
 963                 }
 964  
 965         /* make sure it's not already configured */ 
 966  
 967                 if (!(hp->hd_flag & HF_OVERLOAD)) {
 968                         for (hh = hosts->ht_last; hh > 0; hh--)
 969                                 if ((hp2 = hosts->ht_hosts[hh]) 
 970                                 && (hp2->hd_sad.sin_addr.s_addr == hp->hd_sad.sin_addr.s_addr)) {
 971                                         hp->hd_err = PvmDupHost;
 972                                         break;
 973                                 }
 974                         if (hp->hd_err)
 975                                 continue;
 976  
 977         /* make sure new ones aren't duplicated */ 
 978  
 979                         for (j = i; j-- > 0; )
 980                                 if (hp->hd_sad.sin_addr.s_addr 
 981                                 == wxp->w_hosts[j]->hd_sad.sin_addr.s_addr) {
 982                                         hp->hd_err = PvmDupHost;
 983                                         break;
 984                                 }
 985                         if (hp->hd_err)
 986                                 continue;
 987                 }
 988  
 989                 ngood++;
 990         }
 991  
 992         /*
 993         * assign tids  XXX these are unreserved until hosts are added...
 994         */ 
 995  
 996         ntid = ngood;
true997         tids = TALLOC(ngood, int, "xxx");   /* Integer Overflow of Allocation Size (ID: 22051.28722) */
 998         hostids_new(&ntid, tids);
 999         if (ntid < ngood) {
 1000                 pvmlogerror("addhosts() out of hostids\n");
 1001                 ngood = ntid;
 1002         }
 1003         for (j = i = 0; i < count; i++) {
 1004                 hp = wxp->w_hosts[i];
 1005                 if (hp->hd_err)
 1006                         continue;
 1007                 if (j < ntid)
 1008                         hp->hd_hostpart = tids[j++];   /* Null Pointer Dereference (ID: 22048.28719) */  /* Uninitialized Variable (ID: 22049.28720) */
 1009                 else 
 1010                         hp->hd_err = PvmOutOfRes;
 1011         }
tids <= 40951012         PVM_FREE(tids);     /* Free Null Pointer */
Preconditions
&$unknown_361173 >= 3
&$unknown_361176 >= 1
&$unknown_361182 <= &$unknown_361173 - 1
&$unknown_361182 >= 2
hosts->ht_last >= 2
((char*)&$unknown_361179)[116] != 0
busyadding = 0
filehosts = 0
$heap_42191 != 0
strlen(&$heap_42191) != 0
lasthh = 1
$input_12 >= 0
$input_8476 >= 0
$input_8500 >= 0
Postconditions
__x' = 2130706433
((char*)&$unknown_361185)[48]' = -27
atnewline' = 1
buf' = &$heap_42191
busyadding' = 1
count' = &$unknown_361173
he' = &$heap_42194
bytes_after(&$heap_42183)' = 48
$heap_42183' is allocated by malloc
$heap_42183' is allocated
bytes_before(&$heap_42183)' = 0
((char*)&$heap_42183)[16]' = 0
((char*)&$heap_42183)[36]' = 0
((char*)&$heap_42183)[40]' = 0
((char*)&$heap_42183)[44]' = &$heap_42184
((char*)&$heap_42183)[12]' = 3
$heap_42184' = &$unknown_361173
bytes_after(&$heap_42184)' = 8
$heap_42184' is allocated by malloc
$heap_42184' is allocated
bytes_before(&$heap_42184)' = 0
((char*)&$heap_42184)[4]' = &$heap_42185
$heap_42185' = 0
bytes_after(&$heap_42185)' = 4 * &$unknown_361173
$heap_42185' is allocated by malloc
$heap_42185' is allocated
bytes_before(&$heap_42185)' = 0
$heap_42187' = &$heap_42187
bytes_after(&$heap_42187)' = 120
$heap_42187' is allocated by malloc
$heap_42187' is allocated
bytes_before(&$heap_42187)' = 0
((char*)&$heap_42187)[16]' = 0
((char*)&$heap_42187)[20]' = 0
((char*)&$heap_42187)[4]' = &$heap_42187
((char*)&$heap_42187)[8]' = 0
((char*)&$heap_42187)[116]' = 0
((char*)&$heap_42187)[12]' = 0
bytes_after(&$heap_42188)' = 120
$heap_42188' is allocated by malloc
$heap_42188' is allocated
bytes_before(&$heap_42188)' = 0
((char*)&$heap_42188)[16]' = 0
((char*)&$heap_42188)[20]' = 0
((char*)&$heap_42188)[8]' = 0
((char*)&$heap_42188)[116]' = 0
((char*)&$heap_42188)[12]' = 0
bytes_after(&$heap_42189)' = 120
$heap_42189' is allocated by malloc
$heap_42189' is allocated
bytes_before(&$heap_42189)' = 0
((char*)&$heap_42189)[16]' = 0
((char*)&$heap_42189)[20]' = 0
((char*)&$heap_42189)[8]' = 0
((char*)&$heap_42189)[116]' = 0
((char*)&$heap_42189)[12]' = 0
$heap_42190' = 1
bytes_after(&$heap_42190)' = 124
$heap_42190' is allocated by malloc
bytes_before(&$heap_42190)' = 0
((char*)&$heap_42190)[56]' = 2
((char*)&$heap_42190)[72]' = 1
((char*)&$heap_42190)[76]' = 1
((char*)&$heap_42190)[80]' = &$heap_42187
((char*)&$heap_42190)[84]' = &$heap_42188
((char*)&$heap_42190)[92]' = &$heap_42189
((char*)&$heap_42190)[100]' = 1
((char*)&$heap_42190)[112]' = 0
bytes_after(&$heap_42191)' = &$unknown_361176
$heap_42191' is allocated by malloc
$heap_42191' is freed
bytes_before(&$heap_42191)' = 0
$heap_42192' = &$heap_42193
$heap_42192' is a non-heap object
bytes_before(&$heap_42192)' = 0
$heap_42193' = $input_8484
bytes_after(&$heap_42193)' = $input_8476 + 1
$heap_42193' is allocated by malloc
$heap_42193' is a non-heap object
bytes_before(&$heap_42193)' = 0
strlen(&$heap_42193)' = $input_8476
$heap_42194' = &$heap_42195
bytes_after(&$heap_42194)' = 1024
$heap_42194' is a non-heap object
bytes_before(&$heap_42194)' = 0
((char*)&$heap_42194)[16]' = &$heap_42197
((char*)&$heap_42194)[4]' = &$heap_42192
$heap_42195' = $input_444
bytes_after(&$heap_42195)' = $input_12 + 1
$heap_42195' is allocated by malloc
$heap_42195' is a non-heap object
bytes_before(&$heap_42195)' = 0
strlen(&$heap_42195)' = $input_12
$heap_42196' = $input_8508
bytes_after(&$heap_42196)' = $input_8500 + 1
$heap_42196' is allocated by malloc
$heap_42196' is a non-heap object
bytes_before(&$heap_42196)' = 0
strlen(&$heap_42196)' = $input_8500
$heap_42197' = &$heap_42196
$heap_42197' is a non-heap object
bytes_before(&$heap_42197)' = 0
hh' = 0
hp' = &$unknown_361185
hp2' = 0
i' = &$unknown_361173
j' >= 0
last_rv' = &$heap_42194
lasthh' = 1
maxhostid' >= 3
maxhostid' >= &$unknown_361173
ngood' = 0
ntid' = 0
tids' = 0
tmbuf.tm_sec' = &$unknown_361184
wp' = &$heap_42183
wxp' = &$heap_42184




Change Warning 22047.28718 : Free Null Pointer

Priority:
State:
Finding:
Owner:
Note: