Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference  at pvmdpack.c:230

Categories: LANG.MEM.NPD CWE:476
Warning ID: 152.28774
Procedure: pkstr
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
 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: 153.28775) */
     /kat0/fletcher/SATE/2010/pvm3/src/pvmdpack.c
     Enter dm_taskack / pkstr
 225   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 */  /* Null Pointer Dereference (ID: 109.28714) */
     Exit dm_taskack / pkstr
 2501                 PVM_FREE(p);
 2502                 upkint(mp, &i);                 /* pid */ 
 2503                 pkint(mp2, i);
Preconditions 
mp >= 0
&$unknown_566823 >= 1
s[40] != 0
waitlist->wa_link->wa_wid != s[40]
waitlist->wa_link != waitlist
$unknown_566814 != waitlist
((char*)&$unknown_566814)[8] != s[40]
Postconditions 
errno' != 0
mp' = ((char*)$unknown_566814)[36]
mp2' = ((char*)$unknown_566814)[36]
p' = 0
s' = 0
wp' = $unknown_566814



Change Warning 152.28774 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: