Pvm : Pvm analysis 1 : Buffer Overrun at ddpro.c:953
|
|
| 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 | Show LegendHide Legend | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Preconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
&$unknown_327068 >= 1 busyadding = 0 ((char*)&$heap_19509)[184] = 0 ((char*)&$heap_19509)[80] = 0 $heap_19514 != 0 strlen(&$heap_19514) != 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
__x' = 2130706433 buf' = &$heap_19514 busyadding' = 1 count' = 1 ghbn_h_name[0]' = 60 strlen(&ghbn_h_name[0])' = 255 ghbn_h_name[255]' = 0 he' = &stored_hostent.h_name bytes_after(&$heap_19506)' = 80 $heap_19506' is allocated by malloc $heap_19506' is allocated bytes_before(&$heap_19506)' = 0 ((char*)&$heap_19506)[20]' = 3 ((char*)&$heap_19506)[24]' = 0 ((char*)&$heap_19506)[56]' = 0 ((char*)&$heap_19506)[64]' = 0 ((char*)&$heap_19506)[72]' = &$heap_19507 $heap_19507' = 1 bytes_after(&$heap_19507)' = 16 $heap_19507' is allocated by malloc $heap_19507' is allocated bytes_before(&$heap_19507)' = 0 ((char*)&$heap_19507)[8]' = &$heap_19508 $heap_19508' = &$heap_19509 bytes_after(&$heap_19508)' = 8 $heap_19508' is allocated by malloc $heap_19508' is allocated bytes_before(&$heap_19508)' = 0 strlen(&$heap_19508)' = 0 $heap_19509' = 1 bytes_after(&$heap_19509)' = 200 $heap_19509' is allocated by malloc $heap_19509' is allocated bytes_before(&$heap_19509)' = 0 strlen(&$heap_19509)' = 0 ((char*)&$heap_19509)[136]' = &$heap_19513 ((char*)&$heap_19509)[152]' = 1 ((char*)&$heap_19509)[176]' = &$heap_19512 ((char*)&$heap_19509)[192]' = &$heap_19515 ((char*)&$heap_19509)[88]' = 2 ((char*)&$heap_19509)[104]' = 1 ((char*)&$heap_19509)[108]' = 1 ((char*)&$heap_19509)[112]' = &$heap_19510 ((char*)&$heap_19509)[120]' = &$heap_19511 bytes_after(&$heap_19510)' = 184 $heap_19510' is allocated by malloc $heap_19510' is allocated bytes_before(&$heap_19510)' = 0 ((char*)&$heap_19510)[16]' = 0 ((char*)&$heap_19510)[176]' = 0 ((char*)&$heap_19510)[24]' = 0 ((char*)&$heap_19510)[32]' = 0 ((char*)&$heap_19510)[40]' = 0 bytes_after(&$heap_19511)' = 184 $heap_19511' is allocated by malloc $heap_19511' is allocated bytes_before(&$heap_19511)' = 0 ((char*)&$heap_19511)[16]' = 0 ((char*)&$heap_19511)[176]' = 0 ((char*)&$heap_19511)[24]' = 0 ((char*)&$heap_19511)[32]' = 0 ((char*)&$heap_19511)[40]' = 0 $heap_19512' = &$heap_19512 bytes_after(&$heap_19512)' = 32 $heap_19512' is allocated by malloc $heap_19512' is allocated bytes_before(&$heap_19512)' = 0 ((char*)&$heap_19512)[16]' = 0 ((char*)&$heap_19512)[20]' = 0 ((char*)&$heap_19512)[24]' = 0 ((char*)&$heap_19512)[8]' = &$heap_19512 $heap_19513' = &$heap_19513 bytes_after(&$heap_19513)' = 184 $heap_19513' is allocated by malloc $heap_19513' is allocated bytes_before(&$heap_19513)' = 0 ((char*)&$heap_19513)[16]' = 0 ((char*)&$heap_19513)[176]' = 0 ((char*)&$heap_19513)[24]' = 0 ((char*)&$heap_19513)[32]' = 0 ((char*)&$heap_19513)[40]' = 0 ((char*)&$heap_19513)[8]' = &$heap_19513 bytes_after(&$heap_19514)' = &$unknown_327068 $heap_19514' is allocated by malloc $heap_19514' is freed bytes_before(&$heap_19514)' = 0 $heap_19515' = *(*filehosts->ht_hosts)->hd_vmid bytes_after(&$heap_19515)' = strlen((*filehosts->ht_hosts)->hd_vmid) + 1 $heap_19515' is allocated by malloc $heap_19515' is allocated bytes_before(&$heap_19515)' = 0 strlen(&$heap_19515)' = strlen((*filehosts->ht_hosts)->hd_vmid) hp' = &$heap_19509 hp2' = *filehosts->ht_hosts i' = 0 maxhostid' >= 1 mp' = $param_1 ngood' = 0 rmp' = $param_2 wp' = &$heap_19506 wxp' = &$heap_19507 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
