Pvm : Pvm analysis 1 : Null Pointer Dereference at ddpro.c:1050
|
|
| 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_316013 >= 3 &$unknown_316020 <= hosts->ht_last &$unknown_316020 >= 2 &$unknown_316024 = &$unknown_316025 + 136 &$unknown_316024 >= 4232 &$unknown_316028 = 0 hosts->ht_last >= 2 waitlist->wa_wid >= widbase + 2 ((char*)&$unknown_316026)[184] != 0 ((char*)&$unknown_316026)[24] = 0 ((char*)&$unknown_316026)[64] = 0 ((char*)&$unknown_316026)[80] = 0 busyadding = 0 filehosts = 0 numpmsgs = 0 widrange <= lastwid |
||||||||||||
| Postconditions | ||||||||||||
waitlist->wa_rlink' = &$heap_12169 waitlist->wa_rlink->wa_link' = &$heap_12169 ((char*)$unknown_316025)[8]' = &$unknown_316024 __x' = 2130706433 $unknown_316024' = &freepmsgs.m_link ((char*)&$unknown_316024)[8]' = ((char*)&$unknown_316025)[8] busyadding' = 1 count' = &$unknown_316013 freepmsgs.m_link' = &$unknown_316025 freepmsgs.m_rlink' = &$unknown_316025 + 136 ghbn_h_name[0]' = 60 strlen(&ghbn_h_name[0])' = 255 ghbn_h_name[255]' = 0 he' = &stored_hostent.h_name $heap_12169' = waitlist bytes_after(&$heap_12169)' = 80 $heap_12169' is allocated by malloc $heap_12169' is allocated bytes_before(&$heap_12169)' = 0 ((char*)&$heap_12169)[16]' = widbase + 1 ((char*)&$heap_12169)[20]' = 3 ((char*)&$heap_12169)[24]' = 0 ((char*)&$heap_12169)[56]' = $param_2 ((char*)&$heap_12169)[64]' = 0 ((char*)&$heap_12169)[72]' = &$heap_12170 ((char*)&$heap_12169)[8]' = waitlist->wa_rlink $heap_12170' = &$unknown_316013 bytes_after(&$heap_12170)' = 16 $heap_12170' is allocated by malloc $heap_12170' is allocated bytes_before(&$heap_12170)' = 0 ((char*)&$heap_12170)[8]' = &$heap_12171 $heap_12171' = 0 bytes_after(&$heap_12171)' = 8 * &$unknown_316013 $heap_12171' is allocated by malloc $heap_12171' is allocated bytes_before(&$heap_12171)' = 0 strlen(&$heap_12171)' = 0 $heap_12173' = 1 bytes_after(&$heap_12173)' = 200 $heap_12173' is allocated by malloc bytes_before(&$heap_12173)' = 0 strlen(&$heap_12173)' = 0 ((char*)&$heap_12173)[136]' = &$heap_12176 ((char*)&$heap_12173)[152]' = 1 ((char*)&$heap_12173)[176]' = 0 ((char*)&$heap_12173)[88]' = 2 ((char*)&$heap_12173)[104]' = 1 ((char*)&$heap_12173)[108]' = 1 ((char*)&$heap_12173)[112]' = &$heap_12174 ((char*)&$heap_12173)[120]' = &$heap_12175 bytes_after(&$heap_12174)' = 184 $heap_12174' is allocated by malloc $heap_12174' is allocated bytes_before(&$heap_12174)' = 0 ((char*)&$heap_12174)[16]' = 0 ((char*)&$heap_12174)[176]' = 0 ((char*)&$heap_12174)[24]' = 0 ((char*)&$heap_12174)[32]' = 0 ((char*)&$heap_12174)[40]' = 0 bytes_after(&$heap_12175)' = 184 $heap_12175' is allocated by malloc $heap_12175' is allocated bytes_before(&$heap_12175)' = 0 ((char*)&$heap_12175)[16]' = 0 ((char*)&$heap_12175)[176]' = 0 ((char*)&$heap_12175)[24]' = 0 ((char*)&$heap_12175)[32]' = 0 ((char*)&$heap_12175)[40]' = 0 $heap_12176' = &$heap_12176 bytes_after(&$heap_12176)' = 184 $heap_12176' is allocated by malloc $heap_12176' is allocated bytes_before(&$heap_12176)' = 0 ((char*)&$heap_12176)[16]' = 0 ((char*)&$heap_12176)[176]' = 0 ((char*)&$heap_12176)[24]' = 0 ((char*)&$heap_12176)[32]' = 0 ((char*)&$heap_12176)[40]' = 0 ((char*)&$heap_12176)[8]' = &$heap_12176 $heap_12178' is allocated by malloc $heap_12178' is freed bytes_before(&$heap_12178)' = 0 hh' = &$unknown_316020 - 1 hp' = &$unknown_316026 hp2' = &$unknown_316021 i' = &$unknown_316013 - 2 j' >= 2 lastwid' = 1 maxhostid' >= 3 maxhostid' >= &$unknown_316013 mp' = $param_1 mp2' = &$unknown_316025 ngood' >= 2 ntid' >= 2 numpmsgs' = 49 pvmdpath' = &#string10[0] rmp' = $param_2 tids' = &$heap_12178 winpvmdpath' = &#string12[0] wp' = &$heap_12169 wxp' = &$heap_12170 |
||||||||||||
