Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Free Null Pointer  at ddpro.c:2501

Categories: LANG.ALLOC.FNP CWE:590
Warning ID: 2565.2597
Procedure: dm_taskack
Trace: View
Modified: Wed Sep 2 12:41:23 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 dm_taskack
 2476 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);
true2499                 upkstralloc(mp, &p);    /* a.out name */ 
 2500                 pkstr(mp2, p);   /* Uninitialized Variable (ID: 2567.2599) */
p <= 40952501                 PVM_FREE(p);     /* Free Null Pointer */
 2502                 upkint(mp, &i);                 /* pid */ 
 2503                 pkint(mp2, i);
Preconditions 
$param_1 >= 0
((char*)$param_2)[60] != 0
waitlist->wa_link->wa_wid != ((char*)$param_2)[60]
waitlist->wa_link != waitlist
$unknown_622032 != waitlist
((char*)&$unknown_622032)[16] != ((char*)$param_2)[60]
Postconditions 
hp' = $param_1
mp' = $param_2
mp2' = ((char*)$unknown_622032)[56]
p' = 0
wp' = $unknown_622032



Change Warning 2565.2597 : Free Null Pointer

Priority:
State:
Finding:
Owner:
Note: