Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Use After Free  at lpvm.c:1039

Categories: ALLOC.UAF CWE:416
Warning ID: 342.29020
Procedure: check_routeadd
Trace: view
Modified: Thu Nov 26 11:29:38 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/lpvm.c
   Enter mxfer
 1789 mxfer(txup, tmout) 
 1790         struct pmsg *txup;                      /* outgoing message or null */ 
 1791         struct timeval *tmout;          /* time limit to get at least one message */ 
 1792 {
 1793         struct ttpcb *txpcbp = 0;       /* route for ogm */ 
 1794         struct frag *txfp = 0;          /* cur ogm frag or null */ 
 1795         struct timeval tin;
 1796         struct timeval tnow;
 1797         struct timeval *tvp;
 1798 #ifdef FDSETNOTSTRUCT 
 1799         fd_set rfds, wfds;
 1800 #else 
 1801         struct fd_set rfds, wfds; 
 1802 #endif 
 1803         int wantmore = 1;                       /* nothing rxd yet and not timed out */ 
 1804         int gotem = 0;                          /* count of received msgs downloaded */ 
 1805         int ff;
 1806         int n;
 1807 #ifdef SOCKLENISUINT 
 1808 #if defined(IMA_AIX4SP2) || defined(IMA_AIX5SP2)
 1809         unsigned int oslen;
 1810 #else 
 1811         size_t oslen;
 1812 #endif 
 1813 #else 
 1814         int oslen;
 1815 #endif 
 1816         char *txcp = 0;                         /* point to remainder of txfp */ 
 1817         int txtogo = 0;                         /* len of remainder of txfp */ 
 1818         struct sockaddr_in sad;
 1819         int s;
 1820         struct ttpcb *pcbp;
 1821         char *inPlaceHeader = (char  *) NULL;   /* for inplace data */ 
 1822         int inPlaceBodyLen = 0;                                 /* len of inplace body */       
 1823         int bypassRead = FALSE;                         /* bypass reading packets before send?*/ 
 1824         int waitForOgmToComplete = FALSE;
 1825         int probedForIncomingPkts = FALSE;      /* need to probe for incoming pkts */ 
 1826         struct msgid *sendmsg = (struct msgid *) NULL;
 1827         char errtxt[64];
 1828  
 1829         int nfr = 0, totfr = 0;                         /* number frags read my mxinput */ 
 1830         int probe = 0;                                          /* called at a probe (nrecv) */ 
 1831  
 1832         if (tmout)
 1833         {
 1834                 pvmgetclock(&tin);
 1835                 probe = ( tmout -> tv_sec == 0 && tmout -> tv_usec == 0);
 1836         }
 1837  
 1838         if (txup) {     /* transmitting a umsg */ 
 1839                 txfp = txup->m_frag->fr_link;
 1840                 if (!txfp->fr_buf) {
 1841                         if (!(txfp = fr_new(MAXHDR)))   /* Leak (ID: 22100.29019) */
 1842                                 return PvmNoMem;
 1843                         txfp->fr_dat += MAXHDR;
 1844                         LISTPUTBEFORE(txup->m_frag, txfp, fr_link, fr_rlink);
 1845                 }
 1846                 /* Get connection info for this dest. If none, go to pvmd */ 
 1847                 if (!(txpcbp = ttpcb_find(txup->m_dst)) || txpcbp->tt_state != TTOPEN)
 1848                         txpcbp = topvmd;
 1849                 txup->m_ref++;
 1850                 bypassRead = TRUE;              /* bypass reading the first time through */ 
 1851         }
 1852  
 1853         if (pvmdebmask & PDMMESSAGE) {
 1854                 pvmlogprintf("mxfer() mid %d", (txup ? txup->m_mid : 0));
 1855                 if (txup)
 1856                         pvmlogprintf(" ctx %d tag %s dst t%x route t%x",
 1857                                         txup->m_ctx,
 1858                                         pvmnametag(txup->m_tag, (int *)0),
 1859                                         txup->m_dst, txpcbp->tt_tid);
 1860                 if (tmout)
 1861                         pvmlogprintf(" tmout %d.%06d\n",
 1862                                         tmout->tv_sec, tmout->tv_usec);
 1863                 else 
   ...
 1872          *              1) Sending a frag 
 1873          * OR   2) Received *part* of an incoming frag from the daemon 
 1874          * OR   3) Wantmore is true 
 1875          * OR   4) Need the current OGM to complete its asynch send 
 1876          * OR   5) We haven't probed at least once for incoming packets 
 1877          *
 1878          * wantmore is initialized to  TRUE  -> loop exec'ed at least once 
 1879         */ 
 1880  
 1881  
 1882         while (txfp || topvmd->tt_rxf || wantmore || waitForOgmToComplete 
 1883                         || !probedForIncomingPkts 
 1884         )  
 1885         {
 1886  
 1887                 totfr = 0;  
 1888  
 1889                 /* Either we are sending something, or have a partial recv'd frag */ 
 1890                 if (txfp || topvmd->tt_rxf)                     /* gotta block */ 
 1891                 {
 1892                         /* must block if sending any message, or receiving from pvmd */ 
 1893                         tvp = (struct timeval *) NULL;
 1894  
 1895                 }  
 1896                 else 
 1897                 {
 1898                         if (wantmore)  
 1899                         {
 1900                                 /* Calculate how long to wait inside the "select"
 1901                                  *      tval = NULL means wait forever 
 1902                                  *  tval = (0,0) means probe 
 1903                                  *      tval = (x,y) means wait at most x sec + y usec 
 1904                                 */ 
 1905  
 1906                                 if (tmout)                                      /* finite time to block */ 
 1907                                 {
 1908                                         pvmgetclock(&tnow);
 1909                                         TVXSUBY(&tnow, &tnow, &tin);
 1910                                         if (TVXLTY(tmout, &tnow))       /* time's up */ 
 1911                                         {
 1912                                                 TVCLEAR(&tnow);
 1913                                                 wantmore = 0;
 1914                                         }  
 1915                                         else 
 1916                                         {
 1917                                                 TVXSUBY(&tnow, tmout, &tnow);
 1918                                         }
 1919                                         tvp = &tnow;
 1920                                 }  
 1921                                 else 
 1922                                 {                                               /* forever to block */ 
 1923                                         tvp = (struct timeval *) NULL;
 1924                                 }
 1925  
 1926                         }  
 1927                         else 
 1928                         {                                                       /* return asap */ 
 1929                                 TVCLEAR(&tnow);
 1930                                 tvp = &tnow;
 1931                         }
 1932                 }
 1933  
 1934                 /* Here we are setting the read and write file descriptors for 
 1935                  *      the following select statement.  
 1936                 */ 
 1937  
 1938  
 1939 #if !defined(IMA_MPP)
 1940                 rfds = pvmrfds;
 1941                 FD_ZERO(&wfds);
 1942                 if (txfp)
 1943                         FD_SET(txpcbp->tt_fd, &wfds);
 1944 #endif 
 1945  
 1946                 if (pvmdebmask & PDMSELECT) {
 1947                         if (tvp)
 1948                                 pvmlogprintf("mxfer() select timeout %d.%06d\n",
 1949                                                 tvp->tv_sec, tvp->tv_usec);
 1950                         else 
 1951                                 pvmlogprintf("mxfer() select timeout inf\n");
 1952 #if !defined(IMA_MPP)
 1953                         print_fdset("mxfer() rfds=", pvmnfds, &rfds);
 1954                         print_fdset("mxfer() wfds=", pvmnfds, &wfds);
 1955 #endif 
 1956                 }
 1957  
 1958 #if !defined(IMA_MPP)
 1959                 probedForIncomingPkts = TRUE;
 1960                 if ((n = select(pvmnfds,
 1961 #ifdef  FDSETISINT 
 1962                                 (int *)&rfds, (int *)&wfds, (int *)0, 
 1963 #else 
 1964                                 (fd_set *)&rfds, (fd_set *)&wfds, (fd_set*)0,
 1965 #endif 
 1966                                 tvp)) == -1   /* Uninitialized Variable (ID: 343.29021) */
 1967                 && errno != EINTR 
 1968 #ifdef IMA_LINUX 
 1969                 && errno != EAGAIN 
 1970 #endif 
 1971                 ) {
 1972                         pvmlogperror("mxfer() select");
 1973                         return PvmSysErr;
 1974                 }
 1975                 if (pvmdebmask & PDMSELECT) {
 1976                         pvmlogprintf("mxfer() select returns %d\n", n);
 1977                 }
 1978                 if (n == -1)
 1979                         continue;
 1980         /*
 1981         * if pvmd conn has data ready, read packets 
 1982         */ 
 1983  
 1984                 if (FD_ISSET(topvmd->tt_fd, &rfds) 
 1985                         && !(mxfersingle && gotem))  
 1986                 {
 1987                         if ((n = mxinput(topvmd, &nfr)) < 0) {
 1988                                 if (n != -1)
 1989                                         pvmlogerror("mxfer() mxinput bad return on pvmd sock\n");
 1990                                 else if (pvmdebmask & (PDMSELECT|PDMMESSAGE|PDMPACKET))
 1991                                         pvmlogerror("mxfer() EOF on pvmd sock\n");
 1992                                 return PvmSysErr;
 1993                         }
 1994  
 1995                         totfr += nfr;
 1996                         if (gotem += n)
 1997                                 wantmore = 0;
 1998                 }
 1999  
 2000         /*
 2001         * if task conn has data ready, read packets 
 2002         */ 
 2003  
 2004         /* This goes through *all* of the pcbs that have been defined to 
 2005          *      check for messages.  This is too much overhead for IMA_MPP 
 2006          *      machines. Instead all local routes must be probed at one time.
 2007         */ 
 2008                  
 2009                 for (pcbp = ttlist->tt_link; pcbp != ttlist; pcbp = pcbp->tt_link) {
 2010                         if (pcbp->tt_state == TTOPEN && FD_ISSET(pcbp->tt_fd, &rfds)) {
 2011                                 if ((n = mxinput(pcbp, &nfr)) < 0)
 2012                                         ttpcb_dead(pcbp);
 2013  
 2014                                 else {
 2015                                         totfr += nfr;
 2016                                         if (gotem += n)
 2017                                                 wantmore = 0;
 2018                                 }
 2019  
 2020                         } else /* Try and complete a direct (socket) Connection rqst */ 
 2021                                 if (pcbp->tt_state == TTGRNWAIT 
 2022                                 && FD_ISSET(pcbp->tt_fd, &rfds)) {
 2023                                         oslen = sizeof(sad);
 2024                                         s = accept(pcbp->tt_fd, (struct sockaddr*)&sad, &oslen);
 2025                                         if (s == -1) {
 2026                                                 pvmlogperror("mxfer() accept");
 2027                                                 ttpcb_dead(pcbp);
 2028  
 2029                                         } else {
 2030 #ifndef NOSOCKOPT 
 2031 #ifndef NOUNIXDOM 
 2032                                                 if (!pcbp->tt_spath) {  /* not unix sock */ 
 2033 #endif 
 2034                                                         n = 1;
 2035                                                         if (setsockopt(s, IPPROTO_TCP, TCP_NODELAY,
 2036                                                                         (char*)&n, sizeof(int)) == -1)
 2037                                                                 pvmlogperror("mxfer() setsockopt");
 2038 #if (!defined(IMA_RS6K)) \
 2039                 && (!defined(IMA_AIX46K)) && (!defined(IMA_AIX46K64)) \
 2040                 && (!defined(IMA_AIX56K)) && (!defined(IMA_AIX56K64))
 2041                                                         n = TTSOCKBUF;
 2042                                                         if (setsockopt(s, SOL_SOCKET, SO_SNDBUF,
 2043                                                                         (char*)&n, sizeof(int)) == -1 
 2044                                                         || setsockopt(s, SOL_SOCKET, SO_RCVBUF,
 2045                                                                         (char*)&n, sizeof(n)) == -1)
 2046                                                                 pvmlogperror( 
 2047                                                                         "mxfer() setsockopt SO_SNDBUF");
 2048 #endif 
 2049 #ifndef NOUNIXDOM 
 2050                                                 }
 2051 #endif 
 2052 #endif /*NOSOCKOPT*/ 
 2053                                                 if (pvmdebmask & PDMROUTE) {
 2054                                                         pvmlogprintf("mxfer() accept from t%x = %d\n",
 2055                                                                         pcbp->tt_tid, s);
 2056                                                 }
 2057                                                 (void)close(pcbp->tt_fd);
 2058 /*
 2059                                                 (void)dup2(s, pcbp->tt_fd);
 2060                                                 (void)close(s);
 2061 */ 
 2062                                                 pvm_fd_delete(pcbp->tt_fd, 1);
 2063  
 2064         /* notify route socket closed */ 
 2065  
true2066                                                 check_routedelete(pcbp);
 2067                                                 pcbp->tt_fd = s;
 2068                                                 pcbp->tt_state = TTOPEN;
 2069  
 2070 #ifndef WIN32 
 2071                                                 {
 2072                                                         int i;
 2073  
 2074                                                         if ((i = fcntl(pcbp->tt_fd, F_GETFL, 0)) 
 2075                                                                         == -1)
 2076                                                                 pvmlogperror("mxfer() fcntl");
 2077                                                         else {
 2078 #ifdef O_NDELAY 
 2079                                                                 i |= O_NDELAY;
 2080 #else 
 2081                                                                 i |= FNDELAY; 
 2082 #endif 
 2083                                                                 (void)fcntl(pcbp->tt_fd, F_SETFL, i);
 2084                                                         }
 2085                                                 }
 2086 #endif 
 2087  
 2088                                                 pvm_fd_add(s, 1);
 2089  
 2090         /* new route socket created for communication */ 
 2091  
*waitlist->wa_link is freed2092                                                 check_routeadd(pcbp);
     Enter mxfer / check_routeadd
 1030   check_routeadd(pcbp) 
 1031           struct ttpcb *pcbp;
 1032   {
 1033           struct waitc *wp, *wp2;
 1034           struct pmsg *up;
 1035           int sbf;
 1036    
*waitlist->wa_link is freed1037           wp = waitlist->wa_link;
 1038           while (wp != waitlist) {
*wp is freed1039                   wp2 = wp->wa_link;     /* Use After Free */
     Exit mxfer / check_routeadd
 2093                                         }
 2094                                 }
 2095                 }
 2096  
 2097                 bypassRead = bypassRead; /* sgi compiler */ 
 2098  
 2099 #else   /* !IMA_MPP */ 
 2100  
 2101                 /* For Native Messaging mxinput is used to probe pvmd AND tasks when 
 2102                  * given a NULL ttpcb pointer 
 2103                 */ 
 2104  
 2105                 if (!bypassRead)
 2106                 {
 2107          
   ...
 2118                  
 2119  
 2120 #endif /* !IMA_MPP */ 
 2121         /*
 2122         * if sending and socket ready to write, send packets 
 2123         */ 
 2124  
 2125 #if !defined(IMA_MPP)
 2126                 /* XXX Native message direct routes are alway open, if they exist */ 
 2127  
 2128                 if (txfp && txpcbp->tt_state != TTOPEN)  
 2129                 {
 2130                 /* make sure our route hasn't just been closed */ 
 2131                         txpcbp = topvmd;
 2132                         txcp = 0;
 2133                         txtogo = 0;
 2134                         txfp = txup->m_frag->fr_link;
 2135  
 2136                 }  
 2137                 else 
 2138 #endif 
 2139                 {
 2140                         if (txfp 
 2141                                 && !waitForOgmToComplete 
 2142 #if !defined(IMA_MPP)
 2143                                 && FD_ISSET(txpcbp->tt_fd, &wfds) 
 2144 #endif 
 2145                         ){
 2146                                 inPlaceHeader = (char *) NULL;          /*sending inplace header ?*/ 
 2147                                 inPlaceBodyLen = 0;        /* length of inplace body, if inplace*/ 
 2148  
 2149                                 if (!txtogo)  /* We haven't sent anything, yet, Build Header */ 
 2150                                 {
 2151                                         if (txfp->fr_u.dab)                     /* packed data */ 
 2152                                         {
 2153                                                 txcp = txfp->fr_dat;
 2154                                         }
 2155                                         else                                            /* inplace data */ 
 2156                                         {
 2157                                                 txcp = inPlaceHeader = inPlaceHdrPool + 
 2158                                                                 hdrPoolStk*(HEADER_SIZE+SHORT_PAYLOAD) + HEADER_SIZE;  
 2159                                                                          
 2160                                                 if (pvmdebmask & PDMPACKET)
 2161                                                 {
 2162                                                         sprintf(errtxt,"mxfer() hdrPoolStk is %d\n", hdrPoolStk);
 2163                                                         pvmlogerror(errtxt);
 2164                                                 }
 2165  
 2166                                                 if (hdrPoolStk++ >= NINPLACE_HDRS)
 2167                                                 {
 2168                                                         sprintf(errtxt, "mxfer(): > %d inplace frags \n",
 2169                                                                         NINPLACE_HDRS);
 2170                                                         pvmlogerror(errtxt);
 2171                                                         return PvmSysErr;
 2172                                                 }
 2173  
 2174                                         }
 2175  
 2176                                         txtogo = txfp->fr_len;
 2177  
 2178                                         /*
 2179                                          * if this is first frag, prepend message header 
 2180                                         */ 
 2181                                         ff = 0;
 2182                                         if (txfp->fr_rlink == txup->m_frag)  
 2183                                         {
 2184                                                 txcp -= MSGHDRLEN;
 2185                                                 txtogo += MSGHDRLEN;
 2186                                                 pvmput32(txcp,
 2187                                                         (txup->m_enc == 0x20000000 ? pvmmydsig : txup->m_enc));
 2188                                                 pvmput32(txcp + 4, txup->m_tag);
 2189                                                 pvmput32(txcp + 8, txup->m_ctx);
 2190                                                 pvmput32(txcp + 16, txup->m_wid);
 2191 #ifdef  MCHECKSUM 
 2192                                                 pvmput32(txcp + 20, umbuf_crc(txup)); 
 2193 #else 
 2194                                                 pvmput32(txcp + 20, 0);
 2195 #endif 
 2196                                                 ff = FFSOM;
 2197                                         }
 2198                                         if (txfp->fr_link == txup->m_frag)
 2199                                                 ff |= FFEOM;
 2200                                         /*
 2201                                          * prepend frag header 
 2202                                         */ 
 2203                                         txcp -= TDFRAGHDR;
 2204                                         pvmput32(txcp, txup->m_dst);
 2205                                         pvmput32(txcp + 4, pvmmytid);
 2206                                         pvmput32(txcp + 8, txtogo);
 2207                                         pvmput32(txcp + 12, 0);         /* to keep putrify happy */ 
 2208                                         pvmput8(txcp + 12, ff);
 2209                                         txtogo += TDFRAGHDR;
 2210                                         if (!txfp->fr_u.dab)                    /* inplace data */ 
 2211                                         {
 2212                                                 txtogo -= txfp->fr_len;
 2213                                                 inPlaceBodyLen = txfp->fr_len;
 2214                                         }
 2215                                 }
 2216  
 2217                                 if (pvmdebmask & PDMPACKET)  
 2218                                 {
 2219                                         pvmlogprintf("mxfer() dst t%x n=%d\n", txup->m_dst, txtogo);
 2220                                 }
 2221                                  
 2222 #if defined(IMA_MPP) 
 2223  
 2224                                 /* node_send will do an async send. Feed it a midlist struct.  
 2225                                  * when we get to the end of a message we call ogm_done 
 2226                                  * to make sure message is really gone, and we can free 
 2227                                  * memory 
 2228                                  *      
 2229                                 */ 
 2230                                 n = pvm_node_send(txcp, txtogo, txpcbp, &sendmsg,  
 2231                                                         inPlaceHeader, inPlaceBodyLen); 
 2232 #else 
 2233                                 inPlaceBodyLen = inPlaceBodyLen; /* sgi compiler */ 
 2234  
 2235 #if defined(IMA_RS6K) || defined(IMA_SP2MPI) || defined(IMA_AIX4SP2) \
 2236                 || defined(IMA_AIX5SP2) 
 2237                                 n = write(txpcbp->tt_fd, txcp, min(txtogo, 4096)); 
 2238 #else 
 2239 #ifndef WIN32 
 2240                                 n = write(txpcbp->tt_fd, txcp, txtogo);
 2241 #else  
 2242                                 n = win32_write_socket(txpcbp->tt_fd,txcp,txtogo); 
 2243 #endif 
 2244 #endif 
 2245  
 2246 #endif 
 2247                                 if (pvmdebmask & PDMPACKET) {
 2248                                         pvmlogprintf("mxfer() wrote %d\n", n);
 2249                                 }
 2250                                 if (n == -1 &&  
 2251 #ifndef WIN32 
 2252                                                 errno != EWOULDBLOCK &&  
 2253 #endif 
 2254                                                 errno != EINTR)  
 2255                                 {
 2256                                         if (txpcbp == topvmd)  
 2257                                         {
 2258                                                 pvmlogperror("mxfer() write pvmd sock");
 2259                                                 return PvmSysErr;
 2260                                         }  
 2261                                         else 
 2262                                         {
 2263                                                 pvmlogperror("mxfer() write tt sock");
 2264                                                 /* reset message and route to pvmd */ 
 2265                                                 ttpcb_dead(txpcbp);
 2266                                                 txpcbp = topvmd;
 2267                                                 txcp = 0;
 2268                                                 txtogo = 0;
 2269                                                 txfp = txup->m_frag->fr_link;
 2270                                         }
 2271                                 }
 2272  
 2273                                 if (n > 0)  
 2274                                 {
 2275                                         txcp += n;
 2276                                         if ((txtogo -= n) <= 0)  
 2277                                         {
 2278                                                 if (txcp == inPlaceHeader && txfp->fr_len )      
 2279                                                 /* inplace, body length > 0  */ 
 2280                                                 {
 2281                                                         txcp = txfp->fr_dat;
 2282                                                         txtogo = txfp->fr_len;
 2283                                                         bypassRead = TRUE; /* try to send body without 
 2284                                                                                                         doing another read */ 
 2285                                                 }
 2286                                                 else                                            /* packed */ 
 2287                                                 {
 2288                                                         txcp = 0;
 2289                                                         txfp = txfp->fr_link;
 2290                                                         if (!txfp->fr_buf) {
 2291                                                                 txfp = 0;
 2292                                                                 waitForOgmToComplete = TRUE;
 2293                                                                 bypassRead = FALSE;
 2294                                                         }
 2295                                                 }
 2296                                         }
 2297                                 }  
 2298                                 else /* we couldn't send, might be a head-head send so ... */ 
 2299                                 {
 2300                                         bypassRead = FALSE; /* enable reading if couldn't send */ 
 2301                                 }
 2302                         }
 2303  
 2304                 }
 2305  
 2306                 /* We are waiting for an outgoing message to complete. We 
 2307                         can't send the next message until it does complete */ 
 2308  
 2309                 if (waitForOgmToComplete)
 2310                 {
 2311                         if (ogm_complete(&sendmsg))
 2312                         {
 2313                                 pmsg_unref(txup);       /* unref the message */ 
 2314                                 txup = 0;
 2315                                 waitForOgmToComplete = FALSE;
 2316                                 hdrPoolStk = 0;         /* recover all the inplace headers */ 
 2317                         }
 2318                 }
 2319  
 2320         /* if not sending, and not waiting for ogm to complete,
 2321                 flush anything waiting in the reentered-send queue */ 
 2322  
 2323                 if (!txfp && txrp != txwp && !waitForOgmToComplete) {
 2324                         txup = txlist[txrp];
 2325                         if (++txrp >= sizeof(txlist)/sizeof(txlist[0]))
 2326                                 txrp = 0;
 2327  
 2328                         txfp = txup->m_frag->fr_link;
 2329                         txfp = txfp->fr_buf ? txfp : 0;
 2330                         if (!(txpcbp = ttpcb_find(txup->m_dst)) 
 2331                         || txpcbp->tt_state != TTOPEN)
 2332                                 txpcbp = topvmd;
 2333                 }
 2334  
 2335                 if (pvmdebmask & PDMMESSAGE) {
 2336                         pvmlogprintf("mxfer() txfp %d gotem %d tt_rxf %d\n",
 2337                                         (txfp ? 1 : 0), gotem, (topvmd->tt_rxf ? 1 : 0));
 2338                 }
 2339  
 2340                 if (probe && !gotem && totfr)           /* got frags, keep reading */ 
 2341                         wantmore = 1;
Preconditions 
$param_2 = 0
&$unknown_1185942 != 0
&$unknown_1185944 != 0
&$unknown_1185971 != 0
((char*)*pcbp->tt_state)[8] != 0
ttlist->tt_link->tt_tid <= pcbp->tt_osad.sin_zero[4] - 1
waitlist->wa_link->wa_kind = 16
((char*)$unknown_1185941)[12] = 3
((char*)$unknown_1185951)[60] = 0
waitlist->wa_link != waitlist
((char*)&$unknown_1185941)[8] <= pcbp->tt_osad.sin_zero[4] - 1
mxfersingle != 0
$input_2300 <= 16
$input_2300 >= 1
$input_852 <= 15
$input_852 <= $input_2300 - 1
$input_852 >= 0
ttlist != ttlist->tt_link
ttlist != $unknown_1185941
ttlist != $unknown_1185951
Postconditions 
waitlist->wa_link->wa_mesg' = 0
((char*)$unknown_1185951)[16]' = &$heap_336802 - 4096
((char*)$unknown_1185951)[12]' = 3
((char*)*$unknown_1185951)[16]' is freed
*waitlist->wa_link' is freed
*stderr' is allocated by fopen
bytes_before(stderr)' = 0
__result' = &$unknown_1185944
__result' = &$unknown_1185971
bypassRead' = 1
errno' != 0
$heap_336802' is allocated by open
$heap_336802' is allocated
inPlaceBodyLen' = 0
inPlaceHeader' = 0
n' = 32768
newline' = 1
oslen' = $input_2300
pcbp' = $unknown_1185951
pcbp' = $unknown_1185951
probe' = 0
probedForIncomingPkts' = 1
s' = &$heap_336802 - 4096
sad.sin_family' = $input_868
strlen(&sad.sin_family)' = $input_852
sendmsg' = 0
tnow.tv_sec' = 0
tnow.tv_usec' = 0
tvp' = &tnow.tv_sec
txfp' = 0
waitForOgmToComplete' = &$unknown_1185942
wp' = waitlist->wa_link



Change Warning 342.29020 : Use After Free

Priority:
State:
Finding:
Owner:
Note: