Pvm : Pvm analysis 1 : Uninitialized Variable at ddpro.c:1008
|
|
| 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_322106 >= 2 &$unknown_322109 >= 1 &$unknown_322116 >= 1 hosts->ht_hosts[1] != 0 hosts->ht_last >= 2 waitlist->wa_wid >= widbase + 2 ((char*)&$unknown_322112)[184] = 0 ((char*)&$unknown_322112)[80] = 0 ((char*)&$unknown_322112)[92] != ((char*)&$unknown_322114)[92] ((char*)&$unknown_322118)[80] = 0 busyadding = 0 filehosts = 0 $heap_15585 != 0 strlen(&$heap_15585) != 0 lasthh = 2 widrange <= lastwid |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
waitlist->wa_rlink' = &$heap_15577 waitlist->wa_rlink->wa_link' = &$heap_15577 **(&stored_hostent)[1].h_aliases' = ((char*)&$unknown_322112)[92] __x' = 2130706433 atnewline' = 1 buf' = &$heap_15585 busyadding' = 1 count' = &$unknown_322106 ghbn_h_name[0]' = 60 strlen(&ghbn_h_name[0])' = 255 ghbn_h_name[255]' = 0 he' = &stored_hostent.h_name $heap_15577' = waitlist bytes_after(&$heap_15577)' = 80 $heap_15577' is allocated by malloc $heap_15577' is allocated bytes_before(&$heap_15577)' = 0 ((char*)&$heap_15577)[16]' = widbase + 1 ((char*)&$heap_15577)[20]' = 3 ((char*)&$heap_15577)[24]' = 0 ((char*)&$heap_15577)[56]' = 0 ((char*)&$heap_15577)[64]' = 0 ((char*)&$heap_15577)[72]' = &$heap_15578 ((char*)&$heap_15577)[8]' = waitlist->wa_rlink $heap_15578' = &$unknown_322106 bytes_after(&$heap_15578)' = 16 $heap_15578' is allocated by malloc $heap_15578' is allocated bytes_before(&$heap_15578)' = 0 ((char*)&$heap_15578)[8]' = &$heap_15579 $heap_15579' = 0 bytes_after(&$heap_15579)' = 8 * &$unknown_322106 $heap_15579' is allocated by malloc $heap_15579' is allocated bytes_before(&$heap_15579)' = 0 strlen(&$heap_15579)' = 0 $heap_15581' = 1 bytes_after(&$heap_15581)' = 200 $heap_15581' is allocated by malloc bytes_before(&$heap_15581)' = 0 strlen(&$heap_15581)' = 0 ((char*)&$heap_15581)[136]' = &$heap_15584 ((char*)&$heap_15581)[152]' = 1 ((char*)&$heap_15581)[176]' = 0 ((char*)&$heap_15581)[88]' = 2 ((char*)&$heap_15581)[104]' = 1 ((char*)&$heap_15581)[108]' = 1 ((char*)&$heap_15581)[112]' = &$heap_15582 ((char*)&$heap_15581)[120]' = &$heap_15583 bytes_after(&$heap_15582)' = 184 $heap_15582' is allocated by malloc $heap_15582' is allocated bytes_before(&$heap_15582)' = 0 ((char*)&$heap_15582)[16]' = 0 ((char*)&$heap_15582)[176]' = 0 ((char*)&$heap_15582)[24]' = 0 ((char*)&$heap_15582)[32]' = 0 ((char*)&$heap_15582)[40]' = 0 bytes_after(&$heap_15583)' = 184 $heap_15583' is allocated by malloc $heap_15583' is allocated bytes_before(&$heap_15583)' = 0 ((char*)&$heap_15583)[16]' = 0 ((char*)&$heap_15583)[176]' = 0 ((char*)&$heap_15583)[24]' = 0 ((char*)&$heap_15583)[32]' = 0 ((char*)&$heap_15583)[40]' = 0 $heap_15584' = &$heap_15584 bytes_after(&$heap_15584)' = 184 $heap_15584' is allocated by malloc $heap_15584' is allocated bytes_before(&$heap_15584)' = 0 ((char*)&$heap_15584)[16]' = 0 ((char*)&$heap_15584)[176]' = 0 ((char*)&$heap_15584)[24]' = 0 ((char*)&$heap_15584)[32]' = 0 ((char*)&$heap_15584)[40]' = 0 ((char*)&$heap_15584)[8]' = &$heap_15584 bytes_after(&$heap_15585)' = &$unknown_322109 $heap_15585' is allocated by malloc $heap_15585' is freed bytes_before(&$heap_15585)' = 0 bytes_after(&$heap_15586)' = 4 * &$unknown_322116 $heap_15586' is allocated by malloc $heap_15586' is allocated bytes_before(&$heap_15586)' = 0 hh' = 0 hp' = &$unknown_322118 hp2' = &$unknown_322114 i' = &$unknown_322106 - 1 lasthh' = 2 lastwid' = 1 maxhostid' >= 2 maxhostid' >= &$unknown_322106 mp' = $param_1 ngood' = 0 ntid' = 0 rmp' = $param_2 tids' = &$heap_15586 tmbuf.tm_sec' = &$unknown_322117 wp' = &$heap_15577 wxp' = &$heap_15578 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
