Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Buffer Underrun  at tdpro.c:1910

Categories: LANG.MEM.BU CWE:124 CWE:127
Warning ID: 298.28975
Procedure: tm_mca
Trace: view
Modified: Thu Nov 26 11:29:20 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_mca
 1863 tm_mca(tp, mp) 
 1864         struct task *tp;
 1865         struct pmsg *mp;
 1866 {
 1867         struct mca *mcap;                       /* mca descriptor */ 
 1868         int ndst;                                       /* num of dst tids */ 
 1869         int *dsts;                                      /* dst tids */ 
 1870         int tid;
 1871         int i, j;
 1872  
 1873         /*
 1874         * unpack list of dst tids from message (expect it to be sorted).
 1875         * discard tids to nonexistent foreign hosts.
 1876         */ 
 1877  
 1878         mcap = mca_new();
 1879         mcap->mc_tid = TIDGID | tp->t_tid;   /* Null Pointer Dereference (ID: 305.28982) */
 1880         upkint(mp, &ndst);
true1881         dsts = TALLOC(ndst, int, "dsts");   /* Integer Overflow of Allocation Size (ID: 304.28981) */
bytes_before(dsts) < 41882         for ( i=0, j=0 ; i < ndst ; i++ ) {
 1883                 upkuint(mp, &tid);
 1884                 if ((tid & tidhmask) == myhostpart || tidtohost(hosts, tid))
j <= ( -8 * bytes_before(dsts) + 31 ) / 321885                         dsts[j++] = tid;   /* Null Pointer Dereference (ID: 303.28980) */
 1886         }
j <= ( -8 * bytes_before(dsts) + 63 ) / 321887         ndst = j;
 1888  
 1889         if (ndst < 1)
 1890                 goto noguys;
 1891  
 1892         /*
 1893         * send DM_MCA messages containing tids to destination hosts 
 1894         * make list of destination hosts for us 
 1895         */ 
 1896  
 1897         mcap->mc_dsts = TALLOC(ndst, int, "mcal");      /* XXX cheat, too much space */   /* Integer Overflow of Allocation Size (ID: 301.28978) */
 1898         mcap->mc_ndst = 0;   /* Useless Assignment (ID: 296.28973) */
 1899  
 1900         for (j = 0; j < ndst; ) {
 1901                 i = j;
 1902                 tid = dsts[i] & tidhmask;   /* Null Pointer Dereference (ID: 300.28977) */
ndst <= ( -8 * bytes_before(dsts) + 63 ) / 321903                 while (++j < ndst && tid == (dsts[j] & tidhmask)) ;
 1904                 mp = mesg_new(0);
 1905                 mp->m_dst = (tid |= TIDPVMD);   /* Null Pointer Dereference (ID: 299.28976) */
 1906                 mp->m_tag = DM_MCA;
 1907                 pkint(mp, mcap->mc_tid);
 1908                 pkint(mp, j - i);
j <= ( -8 * bytes_before(dsts) + 63 ) / 321909                 while (i < j)
i <= ( -8 * bytes_before(dsts) - 1 ) / 321910                         pkint(mp, dsts[i++]);     /* Buffer Underrun */
 1911                 sendmessage(mp);
 1912                 mcap->mc_dsts[mcap->mc_ndst++] = tid;   /* Null Pointer Dereference (ID: 297.28974) */
Preconditions 
&$unknown_1006465 != 0
&$unknown_1006467 = &$unknown_1006466 + 92
hosts->ht_last >= 1
Postconditions 
((char*)&$unknown_1006466)[8]' = &$unknown_1006470
$unknown_1006467' = &freepmsgs.m_link
((char*)&$unknown_1006467)[4]' = ((char*)&$unknown_1006466)[4]
dsts' = &$heap_333657
freepmsgs.m_link' = &$unknown_1006466
freepmsgs.m_rlink' = &$unknown_1006467
bytes_after(&$heap_333656)' = 20
$heap_333656' is allocated by malloc
$heap_333656' is allocated
bytes_before(&$heap_333656)' = 0
((char*)&$heap_333656)[16]' = &$heap_333658
bytes_after(&$heap_333657)' = 4
$heap_333657' is allocated by malloc
$heap_333657' is allocated
bytes_before(&$heap_333657)' = 0
bytes_after(&$heap_333658)' = 4
$heap_333658' is allocated by malloc
$heap_333658' is allocated
bytes_before(&$heap_333658)' = 0
i' = 0
j' = 1
mcap' = &$heap_333656
mp' = &$unknown_1006466
ndst' = 1
numpmsgs' = 49



Change Warning 298.28975 : Buffer Underrun

Priority:
State:
Finding:
Owner:
Note: