Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Null Pointer Dereference  at ddpro.c:809

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2516.2547
Procedure: hostids_new
Trace: View
Modified: Wed Sep 2 12:40:06 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/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: 2522.2553) */
 895         wxp->w_hosts = TALLOC(count, struct hostd *, "waiv");
 896         BZERO((char*)wxp->w_hosts, count * sizeof(struct hostd *));   /* Null Pointer Dereference (ID: 2521.2552) */
 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: 2518.2549) */
 908  
 909                 } else {
 910  
 911                 /* Set unspecified fields from hostfile if available */ 
 912  
 913                         if (filehosts &&
 914                                         ((hp2 = nametohost(filehosts, hp->hd_name)) 
 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: 2517.2548) */
 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");
tids <= 4095998         hostids_new(&ntid, tids);
     Enter addhosts / hostids_new
$param_2 <= 4095787   hostids_new(num, tids) 
 788           int *num;                       /* count requested, returned */ 
 789           int *tids;                      /* return tids */ 
 790   {
 791           static int lasthh = 1;
 792           int oldhh;
 793           int maxhostid = tidhmask >> (ffs(tidhmask) - 1);
 794           int i;
 795    
 796           oldhh = lasthh;
 797    
 798           /* find next free hostid */ 
 799    
 800           for (i = 0; i < *num; i++) {
 801                   if (++lasthh > maxhostid)
 802                           lasthh = 1;
 803                   while ((lasthh <= hosts->ht_last && hosts->ht_hosts[lasthh])) {
 804                           if (++lasthh > maxhostid)
 805                                   lasthh = 1;
 806                           if (lasthh == oldhh)
 807                                   goto done;
 808                   }
tids <= 4095809                   tids[i] = lasthh << (ffs(tidhmask) - 1);     /* Null Pointer Dereference */
     Exit addhosts / hostids_new
Preconditions 
&$unknown_325044 >= 1
&$unknown_325048 <= lasthh
&$unknown_325048 >= 2
hosts->ht_hosts[1] != 0
hosts->ht_last = 1
busyadding = 0
((char*)&$heap_17287)[184] = 0
((char*)&$heap_17287)[80] = 0
((char*)&$heap_17287)[92] != ((char*)&$unknown_325047)[92]
$heap_17292 != 0
strlen(&$heap_17292) != 0
lasthh >= 3
Postconditions 
__x' = 2130706433
buf' = &$heap_17292
busyadding' = 1
count' = 1
ghbn_h_name[0]' = 60
strlen(&ghbn_h_name[0])' = 255
ghbn_h_name[255]' = 0
he' = &stored_hostent.h_name
bytes_after(&$heap_17284)' = 80
$heap_17284' is allocated by malloc
$heap_17284' is allocated
bytes_before(&$heap_17284)' = 0
((char*)&$heap_17284)[20]' = 3
((char*)&$heap_17284)[24]' = 0
((char*)&$heap_17284)[56]' = 0
((char*)&$heap_17284)[64]' = 0
((char*)&$heap_17284)[72]' = &$heap_17285
$heap_17285' = 1
bytes_after(&$heap_17285)' = 16
$heap_17285' is allocated by malloc
$heap_17285' is allocated
bytes_before(&$heap_17285)' = 0
((char*)&$heap_17285)[8]' = &$heap_17286
$heap_17286' = &$heap_17287
bytes_after(&$heap_17286)' = 8
$heap_17286' is allocated by malloc
$heap_17286' is allocated
bytes_before(&$heap_17286)' = 0
strlen(&$heap_17286)' = 0
$heap_17287' = 1
bytes_after(&$heap_17287)' = 200
$heap_17287' is allocated by malloc
$heap_17287' is allocated
bytes_before(&$heap_17287)' = 0
strlen(&$heap_17287)' = 0
((char*)&$heap_17287)[136]' = &$heap_17291
((char*)&$heap_17287)[152]' = 1
((char*)&$heap_17287)[176]' = &$heap_17290
((char*)&$heap_17287)[192]' = &$heap_17293
((char*)&$heap_17287)[88]' = 2
((char*)&$heap_17287)[104]' = 1
((char*)&$heap_17287)[108]' = 1
((char*)&$heap_17287)[112]' = &$heap_17288
((char*)&$heap_17287)[120]' = &$heap_17289
bytes_after(&$heap_17288)' = 184
$heap_17288' is allocated by malloc
$heap_17288' is allocated
bytes_before(&$heap_17288)' = 0
((char*)&$heap_17288)[16]' = 0
((char*)&$heap_17288)[176]' = 0
((char*)&$heap_17288)[24]' = 0
((char*)&$heap_17288)[32]' = 0
((char*)&$heap_17288)[40]' = 0
bytes_after(&$heap_17289)' = 184
$heap_17289' is allocated by malloc
$heap_17289' is allocated
bytes_before(&$heap_17289)' = 0
((char*)&$heap_17289)[16]' = 0
((char*)&$heap_17289)[176]' = 0
((char*)&$heap_17289)[24]' = 0
((char*)&$heap_17289)[32]' = 0
((char*)&$heap_17289)[40]' = 0
$heap_17290' = &$heap_17290
bytes_after(&$heap_17290)' = 32
$heap_17290' is allocated by malloc
$heap_17290' is allocated
bytes_before(&$heap_17290)' = 0
((char*)&$heap_17290)[16]' = 0
((char*)&$heap_17290)[20]' = 0
((char*)&$heap_17290)[24]' = 0
((char*)&$heap_17290)[8]' = &$heap_17290
$heap_17291' = &$heap_17291
bytes_after(&$heap_17291)' = 184
$heap_17291' is allocated by malloc
$heap_17291' is allocated
bytes_before(&$heap_17291)' = 0
((char*)&$heap_17291)[16]' = 0
((char*)&$heap_17291)[176]' = 0
((char*)&$heap_17291)[24]' = 0
((char*)&$heap_17291)[32]' = 0
((char*)&$heap_17291)[40]' = 0
((char*)&$heap_17291)[8]' = &$heap_17291
bytes_after(&$heap_17292)' = &$unknown_325044
$heap_17292' is allocated by malloc
$heap_17292' is freed
bytes_before(&$heap_17292)' = 0
$heap_17293' = *(*filehosts->ht_hosts)->hd_vmid
bytes_after(&$heap_17293)' = strlen((*filehosts->ht_hosts)->hd_vmid) + 1
$heap_17293' is allocated by malloc
$heap_17293' is allocated
bytes_before(&$heap_17293)' = 0
strlen(&$heap_17293)' = strlen((*filehosts->ht_hosts)->hd_vmid)
hh' = hosts->ht_last - 1
hp' = &$heap_17287
hp2' = &$unknown_325047
i' = 1
i' = 0
j' = -1
lasthh' = 2
maxhostid' >= 1
maxhostid' = &$unknown_325048
mp' = $param_1
ngood' = 1
ntid' = 1
num' = &ntid
oldhh' = lasthh
rmp' = $param_2
tids' = 0
tids' = 0
wp' = &$heap_17284
wxp' = &$heap_17285



Change Warning 2516.2547 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: