Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Buffer Overrun  at pvmcruft.c:1000

Categories: LANG.MEM.BO CWE:120 CWE:121 CWE:122 CWE:126
Warning ID: 242.28879
Procedure: pvmgetpvmd
Trace: view
Modified: Thu Nov 26 11:28:20 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/pvmcruft.c
   Enter pvmgetpvmd
 988 char * 
 989 pvmgetpvmd() 
 990 {
 991         char *r;
 992         static char *pp = 0;
 993  
 994         if (!pp) {
 995                 if (PVMDFILE[0] == '/')   /* Redundant Condition (ID: 240.28877) */
 996                         pp = PVMDFILE;   /* Unreachable Computation (ID: 241.28878) */
$input_12 >= UNKNOWN997                 else {
 998                         r = pvmgetroot();
 999                         pp = TALLOC(strlen(r) + strlen(PVMDFILE) + 2, char, "pvmdpath");
strlen(r) > bytes_after(pp) - 101000                         sprintf(pp, "%s/%s", r, PVMDFILE);     /* Buffer Overrun */  /* Null Pointer Dereference (ID: 243.28880) */
Preconditions 
pp = 0
rd = 0
$input_12 >= 0
Postconditions 
errno' != 0
$heap_75367' = $input_444
bytes_after(&$heap_75367)' = $input_12 + 1
$heap_75367' is allocated by malloc
$heap_75367' is a non-heap object
bytes_before(&$heap_75367)' = 0
strlen(&$heap_75367)' = $input_12
pp' = 0
r' = &$heap_75367
rd' = &$heap_75367



Change Warning 242.28879 : Buffer Overrun

Priority:
State:
Finding:
Owner:
Note: