Pvm : Pvm analysis 1 : Null Pointer Dereference at ddpro.c:1071
|
|
|||||||||||||||||||||||||||||
| 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_309253 >= 3 &$unknown_309260 <= hosts->ht_last &$unknown_309260 >= 2 hosts->ht_last >= 2 waitlist->wa_wid >= widbase + 2 strlen(((char*)&$unknown_309267)[64]) = 2 ((char*)&$unknown_309267)[184] = 0 ((char*)&$unknown_309267)[24] != 0 ((char*)&$unknown_309267)[32] = 0 ((char*)&$unknown_309267)[80] = 0 busyadding = 0 filehosts = 0 numfrags = 0 numpmsgs != 0 $input_12 >= 0 widrange <= lastwid |
||||||||||||
| Postconditions | ||||||||||||
freepmsgs.m_link->m_link->m_rlink' = freepmsgs.m_link->m_rlink waitlist->wa_rlink' = &$heap_9793 freepmsgs.m_link->m_rlink->m_link' = freepmsgs.m_link->m_link waitlist->wa_rlink->wa_link' = &$heap_9793 __x' = 2130706433 $unknown_309265' = &freefrags.fr_link ((char*)&$unknown_309265)[8]' = ((char*)&$unknown_309264)[8] buf' = 0 busyadding' = 1 count' = &$unknown_309253 freefrags.fr_link' = &$unknown_309265 - 64 freefrags.fr_rlink' = &$unknown_309265 ghbn_h_name[0]' = 60 strlen(&ghbn_h_name[0])' = 255 ghbn_h_name[255]' = 0 he' = &stored_hostent.h_name $heap_9793' = waitlist bytes_after(&$heap_9793)' = 80 $heap_9793' is allocated by malloc $heap_9793' is allocated bytes_before(&$heap_9793)' = 0 ((char*)&$heap_9793)[16]' = widbase + 1 ((char*)&$heap_9793)[20]' = 3 ((char*)&$heap_9793)[24]' = 0 ((char*)&$heap_9793)[56]' = $param_2 ((char*)&$heap_9793)[64]' = 0 ((char*)&$heap_9793)[72]' = &$heap_9794 ((char*)&$heap_9793)[8]' = waitlist->wa_rlink $heap_9794' = &$unknown_309253 bytes_after(&$heap_9794)' = 16 $heap_9794' is allocated by malloc $heap_9794' is allocated bytes_before(&$heap_9794)' = 0 ((char*)&$heap_9794)[8]' = &$heap_9795 $heap_9795' = 0 bytes_after(&$heap_9795)' = 8 * &$unknown_309253 $heap_9795' is allocated by malloc $heap_9795' is allocated bytes_before(&$heap_9795)' = 0 strlen(&$heap_9795)' = 0 $heap_9797' = 1 bytes_after(&$heap_9797)' = 200 $heap_9797' is allocated by malloc bytes_before(&$heap_9797)' = 0 strlen(&$heap_9797)' = 0 ((char*)&$heap_9797)[136]' = &$heap_9800 ((char*)&$heap_9797)[152]' = 1 ((char*)&$heap_9797)[176]' = 0 ((char*)&$heap_9797)[88]' = 2 ((char*)&$heap_9797)[104]' = 1 ((char*)&$heap_9797)[108]' = 1 ((char*)&$heap_9797)[112]' = &$heap_9798 ((char*)&$heap_9797)[120]' = &$heap_9799 bytes_after(&$heap_9798)' = 184 $heap_9798' is allocated by malloc $heap_9798' is allocated bytes_before(&$heap_9798)' = 0 ((char*)&$heap_9798)[16]' = 0 ((char*)&$heap_9798)[176]' = 0 ((char*)&$heap_9798)[24]' = 0 ((char*)&$heap_9798)[32]' = 0 ((char*)&$heap_9798)[40]' = 0 bytes_after(&$heap_9799)' = 184 $heap_9799' is allocated by malloc $heap_9799' is allocated bytes_before(&$heap_9799)' = 0 ((char*)&$heap_9799)[16]' = 0 ((char*)&$heap_9799)[176]' = 0 ((char*)&$heap_9799)[24]' = 0 ((char*)&$heap_9799)[32]' = 0 ((char*)&$heap_9799)[40]' = 0 $heap_9800' = &$heap_9800 bytes_after(&$heap_9800)' = 184 $heap_9800' is allocated by malloc $heap_9800' is allocated bytes_before(&$heap_9800)' = 0 ((char*)&$heap_9800)[16]' = 0 ((char*)&$heap_9800)[176]' = 0 ((char*)&$heap_9800)[24]' = 0 ((char*)&$heap_9800)[32]' = 0 ((char*)&$heap_9800)[40]' = 0 ((char*)&$heap_9800)[8]' = &$heap_9800 $heap_9802' is allocated by malloc $heap_9802' is freed bytes_before(&$heap_9802)' = 0 bytes_after(&$heap_9803)' = $input_12 + 1 $heap_9803' is allocated by malloc $heap_9803' is a non-heap object bytes_before(&$heap_9803)' = 0 strlen(&$heap_9803)' = $input_12 $heap_9804' is allocated by malloc $heap_9804' is freed bytes_before(&$heap_9804)' = 0 hh' = &$unknown_309260 - 1 hp' = &$unknown_309267 hp2' = &$unknown_309261 i' = &$unknown_309253 - 2 j' >= 2 lastwid' = 1 len' >= 0 maxhostid' >= 3 maxhostid' >= &$unknown_309253 mp' = $param_1 mp2' = freepmsgs.m_link ngood' >= 2 ntid' >= 2 numfrags' = 499 numpmsgs' = numpmsgs - 1 pvmdpath' = &$heap_9803 rmp' = $param_2 tids' = &$heap_9802 winpvmdpath' = &#string12[0] wp' = &$heap_9793 wxp' = &$heap_9794 |
||||||||||||
