Pvm : Pvm analysis 1 : Free Null Pointer at ddpro.c:1012
|
|
| 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_324212 >= 1 &$unknown_324217 <= hosts->ht_last &$unknown_324217 >= 2 filehosts->ht_last >= 1 hosts->ht_last >= 2 strlen(&$unknown_324215) > 0 busyadding = 0 $heap_16414 != 0 strlen(&$heap_16414) != 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
__x' = 2130706433 buf' = &$heap_16414 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_16406)' = 80 $heap_16406' is allocated by malloc $heap_16406' is allocated bytes_before(&$heap_16406)' = 0 ((char*)&$heap_16406)[20]' = 3 ((char*)&$heap_16406)[24]' = 0 ((char*)&$heap_16406)[56]' = 0 ((char*)&$heap_16406)[64]' = 0 ((char*)&$heap_16406)[72]' = &$heap_16407 $heap_16407' = 1 bytes_after(&$heap_16407)' = 16 $heap_16407' is allocated by malloc $heap_16407' is allocated bytes_before(&$heap_16407)' = 0 ((char*)&$heap_16407)[8]' = &$heap_16408 $heap_16408' = &$heap_16409 bytes_after(&$heap_16408)' = 8 $heap_16408' is allocated by malloc $heap_16408' is allocated bytes_before(&$heap_16408)' = 0 strlen(&$heap_16408)' = 0 $heap_16409' = 1 bytes_after(&$heap_16409)' = 200 $heap_16409' is allocated by malloc $heap_16409' is allocated bytes_before(&$heap_16409)' = 0 strlen(&$heap_16409)' = 0 ((char*)&$heap_16409)[136]' = &$heap_16413 ((char*)&$heap_16409)[152]' = 1 ((char*)&$heap_16409)[176]' = &$heap_16412 ((char*)&$heap_16409)[24]' = &$heap_16415 ((char*)&$heap_16409)[80]' = -28 ((char*)&$heap_16409)[8]' = &$unknown_324215 ((char*)&$heap_16409)[88]' = 2 ((char*)&$heap_16409)[104]' = 1 ((char*)&$heap_16409)[108]' = 1 ((char*)&$heap_16409)[112]' = &$heap_16410 ((char*)&$heap_16409)[120]' = &$heap_16411 bytes_after(&$heap_16410)' = 184 $heap_16410' is allocated by malloc $heap_16410' is allocated bytes_before(&$heap_16410)' = 0 ((char*)&$heap_16410)[16]' = 0 ((char*)&$heap_16410)[176]' = 0 ((char*)&$heap_16410)[24]' = 0 ((char*)&$heap_16410)[32]' = 0 ((char*)&$heap_16410)[40]' = 0 bytes_after(&$heap_16411)' = 184 $heap_16411' is allocated by malloc $heap_16411' is allocated bytes_before(&$heap_16411)' = 0 ((char*)&$heap_16411)[16]' = 0 ((char*)&$heap_16411)[176]' = 0 ((char*)&$heap_16411)[24]' = 0 ((char*)&$heap_16411)[32]' = 0 ((char*)&$heap_16411)[40]' = 0 $heap_16412' = &$heap_16412 bytes_after(&$heap_16412)' = 32 $heap_16412' is allocated by malloc $heap_16412' is allocated bytes_before(&$heap_16412)' = 0 ((char*)&$heap_16412)[16]' = 0 ((char*)&$heap_16412)[20]' = 0 ((char*)&$heap_16412)[24]' = 0 ((char*)&$heap_16412)[8]' = &$heap_16412 bytes_after(&$heap_16413)' = 184 $heap_16413' is allocated by malloc $heap_16413' is allocated bytes_before(&$heap_16413)' = 0 ((char*)&$heap_16413)[16]' = 0 ((char*)&$heap_16413)[176]' = 0 ((char*)&$heap_16413)[24]' = 0 ((char*)&$heap_16413)[32]' = 0 ((char*)&$heap_16413)[40]' = 0 bytes_after(&$heap_16414)' = &$unknown_324212 $heap_16414' is allocated by malloc $heap_16414' is freed bytes_before(&$heap_16414)' = 0 bytes_after(&$heap_16415)' = strlen(((char*)&$unknown_324214)[24]) + 1 $heap_16415' is allocated by malloc $heap_16415' is allocated bytes_before(&$heap_16415)' = 0 strlen(&$heap_16415)' = strlen(((char*)&$unknown_324214)[24]) hh' = &$unknown_324217 - 1 hp' = &$heap_16409 hp2' = &$unknown_324218 i' = 1 j' = 0 maxhostid' >= 1 mp' = $param_1 ngood' = 0 ntid' = 0 rmp' = $param_2 tids' = 0 wp' = &$heap_16406 wxp' = &$heap_16407 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
