Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Buffer Overrun  at lpvmgen.c:3119

Categories: LANG.MEM.BO CWE:120 CWE:121 CWE:122 CWE:126
Warning ID: 386.29090
Procedure: pvmgetenvars
Trace: view
Modified: Thu Nov 26 11:31:45 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
   /kat0/fletcher/SATE/2010/pvm3/src/lpvmgen.c
   Enter pvmgetenvars
&$unknown_4398347 > 2003098 pvmgetenvars(ep) 
 3099         char ***ep;
 3100 {
 3101         char **xpl;                     /* vars to export */ 
 3102         int mxpl;                       /* cur length of xpl */ 
 3103         int nxpl;                       /* num vars found */ 
 3104         char buf[200];
 3105         char *p, *q;
 3106         int n;
 3107  
&$unknown_4398349 > 2003108         if (p = getenv("PVM_EXPORT")) {
&$unknown_4398355 > 2003109                 mxpl = 5;
&$unknown_4398356 > 2003110                 xpl = TALLOC(mxpl, char *, "env");
&$unknown_4398360 > 2003111                 xpl[0] = p - 11;   /* Null Pointer Dereference (ID: 388.29092) */
&$unknown_4398361 > 2003112                 nxpl = 1;
&$unknown_4398362 > 2003113                 while (1) {
&$unknown_4398363 > 2003114                         while (*p == ':')
&$unknown_4398364 > 2003115                                 p++;
&$unknown_4398366 > 2003116                         if (!*p)
 3117                                 break;
&$unknown_4398367 > 2003118                         n = (q = CINDEX(p, ':')) ? q - p : strlen(p);
n > 2003119                         strncpy(buf, p, n);     /* Buffer Overrun */  /* No Space For Null Terminator (ID: 22125.29091) */
Preconditions
&$unknown_4398376 >= 1
((char*)&$heap_370600)[1] != 0
((char*)&$heap_370600)[1] != 58
$input_12 = &$unknown_4398376 + 1
$input_12 >= 2
Postconditions
buf[0]' = ((char*)&$heap_370600)[1]
$heap_370600' = 58
bytes_after(&$heap_370600)' = $input_12 + 1
$heap_370600' is allocated by malloc
bytes_before(&$heap_370600)' = 0
strlen(&$heap_370600)' = $input_12
$heap_370601' = &$heap_370600 - 11
bytes_after(&$heap_370601)' = 20
$heap_370601' is allocated by malloc
$heap_370601' is allocated
bytes_before(&$heap_370601)' = 0
mxpl' = 5
n' = $input_12 - 1
nxpl' = 1
p' = &$heap_370600 + 1
q' = 0
xpl' = &$heap_370601




Change Warning 386.29090 : Buffer Overrun

Priority:
State:
Finding:
Owner:
Note: