pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5582
|
|
| 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 | ||||||||||||
argc >= 3 &$unknown_728159 != 0 *argv[5] != 58 *argv[2] != 58 ((char*)&$heap_127252)[20] != 0 ((char*)&$heap_127252)[96] >= 0 $input_84236 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$heap_127252)[20]' is freed *stdout' is allocated by fopen bytes_before(stdout)' = 0 ac' = 6 argc' = 6 bad' = 0 strlen(&buf[0])' = 17 buf[17]' = 0 dof' = &$unknown_728159 errno' != 0 $heap_127244' = 1 bytes_after(&$heap_127244)' = 32 $heap_127244' is allocated by malloc $heap_127244' is allocated bytes_before(&$heap_127244)' = 0 ((char*)&$heap_127244)[16]' = $input_12 ((char*)&$heap_127244)[20]' = $input_84220 ((char*)&$heap_127244)[12]' = $input_12 $heap_127246' = &$heap_127246 bytes_after(&$heap_127246)' = 120 $heap_127246' is allocated by malloc $heap_127246' is allocated bytes_before(&$heap_127246)' = 0 ((char*)&$heap_127246)[16]' = 0 ((char*)&$heap_127246)[20]' = 0 ((char*)&$heap_127246)[4]' = &$heap_127246 ((char*)&$heap_127246)[8]' = 0 ((char*)&$heap_127246)[116]' = 0 ((char*)&$heap_127246)[12]' = 0 bytes_after(&$heap_127247)' = 120 $heap_127247' is allocated by malloc $heap_127247' is allocated bytes_before(&$heap_127247)' = 0 ((char*)&$heap_127247)[16]' = 0 ((char*)&$heap_127247)[20]' = 0 ((char*)&$heap_127247)[8]' = 0 ((char*)&$heap_127247)[116]' = 0 ((char*)&$heap_127247)[12]' = 0 $heap_127248' = 1 bytes_after(&$heap_127248)' = 124 $heap_127248' is allocated by malloc bytes_before(&$heap_127248)' = 0 ((char*)&$heap_127248)[52]' = $input_84228 ((char*)&$heap_127248)[56]' = 2 ((char*)&$heap_127248)[72]' = 1 ((char*)&$heap_127248)[76]' = 1 ((char*)&$heap_127248)[80]' = &$heap_127246 ((char*)&$heap_127248)[8]' = &$heap_127250 ((char*)&$heap_127248)[84]' = &$heap_127249 ((char*)&$heap_127248)[92]' = &$heap_127247 ((char*)&$heap_127248)[100]' = 1 ((char*)&$heap_127248)[108]' = 1000 ((char*)&$heap_127248)[112]' = 0 bytes_after(&$heap_127249)' = 120 $heap_127249' is allocated by malloc $heap_127249' is allocated bytes_before(&$heap_127249)' = 0 ((char*)&$heap_127249)[16]' = 0 ((char*)&$heap_127249)[20]' = 0 ((char*)&$heap_127249)[8]' = 0 ((char*)&$heap_127249)[116]' = 0 ((char*)&$heap_127249)[12]' = 0 $heap_127250' = 63 bytes_after(&$heap_127250)' = 2 $heap_127250' is allocated by malloc $heap_127250' is allocated bytes_before(&$heap_127250)' = 0 strlen(&$heap_127250)' = 1 tocttou($heap_127250)' = tocttou(#string176) bytes_after(&$heap_127251)' = 120 $heap_127251' is allocated by malloc bytes_before(&$heap_127251)' = 0 $heap_127252' = 0 bytes_after(&$heap_127252)' = 124 $heap_127252' is allocated by malloc $heap_127252' is freed bytes_before(&$heap_127252)' = 0 ((char*)&$heap_127252)[44]' = pvmmydsig ((char*)&$heap_127252)[52]' = pvmudpmtu ((char*)&$heap_127252)[56]' = 2 ((char*)&$heap_127252)[72]' = 1 ((char*)&$heap_127252)[76]' = 1 ((char*)&$heap_127252)[80]' = &$heap_127251 ((char*)&$heap_127252)[8]' = &$heap_127255 ((char*)&$heap_127252)[84]' = &$heap_127253 ((char*)&$heap_127252)[92]' = &$heap_127254 ((char*)&$heap_127252)[100]' = 1 ((char*)&$heap_127252)[108]' = 1000 ((char*)&$heap_127252)[112]' = 0 ((char*)&$heap_127252)[12]' = &$heap_127256 bytes_after(&$heap_127253)' = 120 $heap_127253' is allocated by malloc bytes_before(&$heap_127253)' = 0 ((char*)&$heap_127253)[16]' = 0 ((char*)&$heap_127253)[20]' = 0 ((char*)&$heap_127253)[116]' = 0 bytes_after(&$heap_127254)' = 120 $heap_127254' is allocated by malloc bytes_before(&$heap_127254)' = 0 ((char*)&$heap_127254)[16]' = 0 ((char*)&$heap_127254)[20]' = 0 ((char*)&$heap_127254)[116]' = 0 $heap_127255' = 112 bytes_after(&$heap_127255)' = 6 $heap_127255' is allocated by malloc bytes_before(&$heap_127255)' = 0 strlen(&$heap_127255)' = 5 tocttou($heap_127255)' = tocttou(#string167) $heap_127256' = *myarchname bytes_after(&$heap_127256)' = strlen(myarchname) + 1 $heap_127256' is allocated by malloc bytes_before(&$heap_127256)' = 0 strlen(&$heap_127256)' = strlen(myarchname) tocttou($heap_127256)' = tocttou(*myarchname) bytes_after(&$heap_127257)' = 120 $heap_127257' is allocated by malloc $heap_127257' is allocated bytes_before(&$heap_127257)' = 0 ((char*)&$heap_127257)[16]' = 0 ((char*)&$heap_127257)[20]' = 0 ((char*)&$heap_127257)[8]' = 0 ((char*)&$heap_127257)[116]' = 0 ((char*)&$heap_127257)[12]' = 0 bytes_after(&$heap_127258)' = 120 $heap_127258' is allocated by malloc $heap_127258' is allocated bytes_before(&$heap_127258)' = 0 ((char*)&$heap_127258)[16]' = 0 ((char*)&$heap_127258)[20]' = 0 ((char*)&$heap_127258)[8]' = 0 ((char*)&$heap_127258)[116]' = 0 ((char*)&$heap_127258)[12]' = 0 bytes_after(&$heap_127259)' = 120 $heap_127259' is allocated by malloc $heap_127259' is allocated bytes_before(&$heap_127259)' = 0 ((char*)&$heap_127259)[16]' = 0 ((char*)&$heap_127259)[20]' = 0 ((char*)&$heap_127259)[8]' = 0 ((char*)&$heap_127259)[116]' = 0 ((char*)&$heap_127259)[12]' = 0 $heap_127260' = 1 bytes_after(&$heap_127260)' = 124 $heap_127260' is allocated by malloc bytes_before(&$heap_127260)' = 0 ((char*)&$heap_127260)[44]' = pvmmydsig ((char*)&$heap_127260)[52]' = pvmudpmtu ((char*)&$heap_127260)[56]' = 2 ((char*)&$heap_127260)[72]' = 1 ((char*)&$heap_127260)[76]' = 1 ((char*)&$heap_127260)[80]' = &$heap_127258 ((char*)&$heap_127260)[8]' = &$heap_127262 ((char*)&$heap_127260)[84]' = &$heap_127259 ((char*)&$heap_127260)[92]' = &$heap_127257 ((char*)&$heap_127260)[100]' = 1 ((char*)&$heap_127260)[108]' = 1000 ((char*)&$heap_127260)[112]' = &$heap_127261 ((char*)&$heap_127260)[12]' = &$heap_127263 bytes_after(&$heap_127261)' = 20 $heap_127261' is allocated by malloc $heap_127261' is allocated bytes_before(&$heap_127261)' = 0 ((char*)&$heap_127261)[16]' = 0 ((char*)&$heap_127261)[8]' = 0 ((char*)&$heap_127261)[12]' = 0 $heap_127262' = *hn bytes_after(&$heap_127262)' = strlen(hn) + 1 $heap_127262' is allocated by malloc $heap_127262' is allocated bytes_before(&$heap_127262)' = 0 strlen(&$heap_127262)' = strlen(hn) tocttou($heap_127262)' = tocttou(*hn) $heap_127263' = *myarchname bytes_after(&$heap_127263)' = strlen(myarchname) + 1 $heap_127263' is allocated by malloc $heap_127263' is allocated bytes_before(&$heap_127263)' = 0 strlen(&$heap_127263)' = strlen(myarchname) tocttou($heap_127263)' = tocttou(*myarchname) $heap_127264' is allocated by open $heap_127264' is allocated $heap_127265' = $input_444 bytes_after(&$heap_127265)' = $input_84236 + 1 $heap_127265' is allocated by malloc $heap_127265' is a non-heap object bytes_before(&$heap_127265)' = 0 strlen(&$heap_127265)' = $input_84236 hosts' = &$heap_127244 hp' = &$heap_127260 i' = -1 lh' = $input_84220 mh' = $input_12 ms' = 1 p' = 0 td' = &$heap_127265 |
||||||||||||
