Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Uninitialized Variable  at ddpro.c:2500

Categories: LANG.MEM.UVAR CWE:457
Warning ID: 2567.2599
Procedure: dm_taskack
Trace: View
Modified: Wed Sep 2 12:41:24 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
   /u1/paul/SATE/2010/c/pvm/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
$param_1 >= 0
&$unknown_624712 != 0
((char*)$param_2)[60] != 0
waitlist->wa_link->wa_wid != ((char*)$param_2)[60]
waitlist->wa_link != waitlist
$unknown_624701 != waitlist
((char*)&$unknown_624701)[16] != ((char*)$param_2)[60]
Postconditions
hp' = $param_1
mp' = $param_2
mp2' = &$unknown_624704
wp' = $unknown_624701




Change Warning 2567.2599 : Uninitialized Variable

Priority:
State:
Finding:
Owner:
Note: