Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Uninitialized Variable  at ddpro.c:2500

Categories: LANG.MEM.UVAR CWE:457
Warning ID: 153.28775
Procedure: dm_taskack
Trace: view
Modified: Thu Nov 26 11:27:51 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 dm_taskack
true2476 dm_taskack(hp, mp) 
 2477         struct hostd *hp;
 2478         struct pmsg *mp;
 2479 {
 2480         struct waitc *wp;
 2481         struct pmsg *mp2;
 2482         int i;
 2483         char *p;
 2484  
 2485         if (!(wp = wait_get(hp, mp, WT_TASK)))
 2486                 return 0;
 2487  
 2488         /* append data to waiting message */ 
 2489  
 2490         mp2 = wp->wa_mesg;
 2491         while (!upkint(mp, &i)) {
 2492                 pkint(mp2, i);                  /* tid */ 
 2493                 upkint(mp, &i);                 /* ptid */ 
 2494                 pkint(mp2, i);
 2495                 upkint(mp, &i);                 /* host */ 
 2496                 pkint(mp2, i);
 2497                 upkint(mp, &i);                 /* flag */ 
 2498                 pkint(mp2, i);
 2499                 upkstralloc(mp, &p);    /* a.out name */ 
p is uninitialized2500                 pkstr(mp2, p);     /* Uninitialized Variable */
Preconditions 
hp >= 0
&$unknown_567536 != 0
mp->m_wid != 0
waitlist->wa_link->wa_wid != mp->m_wid
waitlist->wa_link != waitlist
$unknown_567528 != waitlist
((char*)&$unknown_567528)[8] != mp->m_wid
Postconditions 
mp2' = &$unknown_567531
wp' = $unknown_567528



Change Warning 153.28775 : Uninitialized Variable

Priority:
State:
Finding:
Owner:
Note: