pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at host.c:573
|
|
| 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_66934 >= htp->ht_last + 1 &$unknown_66934 >= 3 &$unknown_66935 >= 1 htp->ht_hosts = 0 ((char*)&((char*)$heap_2505)[8])[12] != 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$unknown_66933)[8]' is freed ((char*)$unknown_66933)[12]' is freed strlen(&$unknown_66933)' = strlen(hp) ((char*)&$unknown_66933)[44]' = hp->hd_dsig ((char*)&$unknown_66933)[52]' = hp->hd_mtu ((char*)&$unknown_66933)[56]' = hp->hd_sad.sin_family ((char*)&$unknown_66933)[58]' = hp->hd_sad.sin_port ((char*)&$unknown_66933)[60]' = hp->hd_sad.sin_addr.s_addr ((char*)&$unknown_66933)[64]' = hp->hd_sad.sin_zero[0] ((char*)&$unknown_66933)[8]' = &$heap_2506 ((char*)&$unknown_66933)[108]' = hp->hd_speed ((char*)&$unknown_66933)[12]' = &$heap_2507 d' = ((char*)&((char*)$heap_2505)[8])[44] dsigs' = 0 errno' != 0 found' = 0 bytes_after(&$heap_2505)' = 4 * &$unknown_66934 + 4 $heap_2505' is allocated by malloc $heap_2505' is allocated bytes_before(&$heap_2505)' = 0 $heap_2506' = *hp->hd_name bytes_after(&$heap_2506)' = strlen(hp->hd_name) + 1 $heap_2506' is allocated by malloc $heap_2506' is allocated bytes_before(&$heap_2506)' = 0 strlen(&$heap_2506)' = strlen(hp->hd_name) tocttou($heap_2506)' = tocttou(*hp->hd_name) $heap_2507' = *hp->hd_arch bytes_after(&$heap_2507)' = strlen(hp->hd_arch) + 1 $heap_2507' is allocated by malloc $heap_2507' is allocated bytes_before(&$heap_2507)' = 0 strlen(&$heap_2507)' = strlen(hp->hd_arch) tocttou($heap_2507)' = tocttou(*hp->hd_arch) hh' = 2 hp' = ((char*)&$heap_2505)[8] hp2' = &$unknown_66933 i' = 0 mask' = 0 n' = &$unknown_66934 + 1 ndsigs' = &$unknown_66935 |
||||||||||||
