Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Null Pointer Dereference  at pvmdpack.c:230

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2566.2598
Procedure: pkstr
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
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 */ 
p <= 40952500                 pkstr(mp2, p);   /* Uninitialized Variable (ID: 2567.2599) */
     /u1/paul/SATE/2010/c/pvm/pvm3/src/pvmdpack.c
     Enter dm_taskack / pkstr
$param_2 <= 4095225   pkstr(mp, s) 
 226           struct pmsg *mp;                /* message to pack */ 
 227           char *s;                                /* string to pack */ 
 228   {
 229           int cc;
s <= 4095230           int l = strlen(s) + 1;     /* Null Pointer Dereference */
     Exit dm_taskack / pkstr
 2501                 PVM_FREE(p);   /* Free Null Pointer (ID: 2565.2597) */
 2502                 upkint(mp, &i);                 /* pid */ 
 2503                 pkint(mp2, i);
Preconditions 
$param_1 >= 0
&$unknown_623732 >= 1
((char*)$param_2)[60] != 0
waitlist->wa_link->wa_wid != ((char*)$param_2)[60]
waitlist->wa_link != waitlist
$unknown_623720 != waitlist
((char*)&$unknown_623720)[16] != ((char*)$param_2)[60]
Postconditions 
hp' = $param_1
mp' = $param_2
mp' = ((char*)$unknown_623720)[56]
mp2' = ((char*)$unknown_623720)[56]
p' = 0
s' = 0
wp' = $unknown_623720



Change Warning 2566.2598 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: