pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5384
|
|
| 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 = 2 ((char*)&((char*)((char*)$heap_219532)[28])[4])[24] = 0 ((char*)&$heap_219532)[4] <= 1 |
||||||||||||
| Postconditions | ||||||||||||
atnewline' = 1 errno' != 0 filehosts' = 0 $heap_219532' = 1 bytes_after(&$heap_219532)' = 32 $heap_219532' is allocated by malloc $heap_219532' is allocated bytes_before(&$heap_219532)' = 0 ((char*)&$heap_219532)[16]' = 1 ((char*)&$heap_219532)[20]' = 1 ((char*)&$heap_219532)[24]' = 0 ((char*)&$heap_219532)[8]' = ((char*)&$heap_219532)[8] + 1 ((char*)&$heap_219532)[12]' = 1 bytes_after(&$heap_219533)' = 120 $heap_219533' is allocated by malloc $heap_219533' is allocated bytes_before(&$heap_219533)' = 0 ((char*)&$heap_219533)[16]' = 0 ((char*)&$heap_219533)[20]' = 0 ((char*)&$heap_219533)[8]' = 0 ((char*)&$heap_219533)[116]' = 0 ((char*)&$heap_219533)[12]' = 0 bytes_after(&$heap_219534)' = 120 $heap_219534' is allocated by malloc $heap_219534' is allocated bytes_before(&$heap_219534)' = 0 ((char*)&$heap_219534)[16]' = 0 ((char*)&$heap_219534)[20]' = 0 ((char*)&$heap_219534)[8]' = 0 ((char*)&$heap_219534)[116]' = 0 ((char*)&$heap_219534)[12]' = 0 bytes_after(&$heap_219535)' = 20 $heap_219535' is allocated by malloc $heap_219535' is allocated bytes_before(&$heap_219535)' = 0 ((char*)&$heap_219535)[16]' = 0 ((char*)&$heap_219535)[8]' = 0 ((char*)&$heap_219535)[12]' = 0 $heap_219536' = 1 bytes_after(&$heap_219536)' = 124 $heap_219536' is allocated by malloc bytes_before(&$heap_219536)' = 0 ((char*)&$heap_219536)[44]' = pvmmydsig ((char*)&$heap_219536)[52]' = pvmudpmtu ((char*)&$heap_219536)[56]' = 2 ((char*)&$heap_219536)[72]' = 1 ((char*)&$heap_219536)[76]' = 1 ((char*)&$heap_219536)[80]' = &$heap_219537 ((char*)&$heap_219536)[8]' = &$heap_219538 ((char*)&$heap_219536)[84]' = &$heap_219534 ((char*)&$heap_219536)[92]' = &$heap_219533 ((char*)&$heap_219536)[100]' = 1 ((char*)&$heap_219536)[108]' = 1000 ((char*)&$heap_219536)[112]' = &$heap_219535 ((char*)&$heap_219536)[12]' = &$heap_219539 bytes_after(&$heap_219537)' = 120 $heap_219537' is allocated by malloc $heap_219537' is allocated bytes_before(&$heap_219537)' = 0 ((char*)&$heap_219537)[16]' = 0 ((char*)&$heap_219537)[20]' = 0 ((char*)&$heap_219537)[8]' = 0 ((char*)&$heap_219537)[116]' = 0 ((char*)&$heap_219537)[12]' = 0 $heap_219538' = *hn bytes_after(&$heap_219538)' = strlen(hn) + 1 $heap_219538' is allocated by malloc $heap_219538' is allocated bytes_before(&$heap_219538)' = 0 strlen(&$heap_219538)' = strlen(hn) tocttou($heap_219538)' = tocttou(*hn) $heap_219539' = *myarchname bytes_after(&$heap_219539)' = strlen(myarchname) + 1 $heap_219539' is allocated by malloc $heap_219539' is allocated bytes_before(&$heap_219539)' = 0 strlen(&$heap_219539)' = strlen(myarchname) tocttou($heap_219539)' = tocttou(*myarchname) bytes_after(&$heap_219540)' = 120 $heap_219540' is allocated by malloc $heap_219540' is allocated bytes_before(&$heap_219540)' = 0 ((char*)&$heap_219540)[16]' = 0 ((char*)&$heap_219540)[20]' = 0 ((char*)&$heap_219540)[8]' = 0 ((char*)&$heap_219540)[116]' = 0 ((char*)&$heap_219540)[12]' = 0 bytes_after(&$heap_219541)' = 120 $heap_219541' is allocated by malloc $heap_219541' is allocated bytes_before(&$heap_219541)' = 0 ((char*)&$heap_219541)[16]' = 0 ((char*)&$heap_219541)[20]' = 0 ((char*)&$heap_219541)[8]' = 0 ((char*)&$heap_219541)[116]' = 0 ((char*)&$heap_219541)[12]' = 0 bytes_after(&$heap_219542)' = 20 $heap_219542' is allocated by malloc $heap_219542' is allocated bytes_before(&$heap_219542)' = 0 ((char*)&$heap_219542)[16]' = 0 ((char*)&$heap_219542)[8]' = 0 ((char*)&$heap_219542)[12]' = 0 $heap_219543' = 1 bytes_after(&$heap_219543)' = 124 $heap_219543' is allocated by malloc bytes_before(&$heap_219543)' = 0 ((char*)&$heap_219543)[44]' = pvmmydsig ((char*)&$heap_219543)[52]' = pvmudpmtu ((char*)&$heap_219543)[56]' = 2 ((char*)&$heap_219543)[72]' = 1 ((char*)&$heap_219543)[76]' = 1 ((char*)&$heap_219543)[80]' = &$heap_219544 ((char*)&$heap_219543)[8]' = &$heap_219545 ((char*)&$heap_219543)[84]' = &$heap_219541 ((char*)&$heap_219543)[92]' = &$heap_219540 ((char*)&$heap_219543)[100]' = 1 ((char*)&$heap_219543)[108]' = 1000 ((char*)&$heap_219543)[112]' = &$heap_219542 ((char*)&$heap_219543)[12]' = &$heap_219546 $heap_219544' = &$heap_219544 bytes_after(&$heap_219544)' = 120 $heap_219544' is allocated by malloc $heap_219544' is allocated bytes_before(&$heap_219544)' = 0 ((char*)&$heap_219544)[16]' = 0 ((char*)&$heap_219544)[20]' = 0 ((char*)&$heap_219544)[4]' = &$heap_219544 ((char*)&$heap_219544)[8]' = 0 ((char*)&$heap_219544)[116]' = 0 ((char*)&$heap_219544)[12]' = 0 $heap_219545' = 112 bytes_after(&$heap_219545)' = 6 $heap_219545' is allocated by malloc $heap_219545' is allocated bytes_before(&$heap_219545)' = 0 strlen(&$heap_219545)' = 5 tocttou($heap_219545)' = tocttou(#string167) $heap_219546' = *myarchname bytes_after(&$heap_219546)' = strlen(myarchname) + 1 $heap_219546' is allocated by malloc $heap_219546' is allocated bytes_before(&$heap_219546)' = 0 strlen(&$heap_219546)' = strlen(myarchname) tocttou($heap_219546)' = tocttou(*myarchname) hosts' = &$heap_219532 hp' = ((char*)&((char*)$heap_219532)[28])[4] s' = 0 |
||||||||||||
