pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5524
|
|
|||||||||||||||||||||||||||||
| 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 *argv[5] != 58 *argv[2] != 58 ((char*)&$heap_162065)[96] >= 0 ((char*)&$heap_162065)[12] >= 0 |
||||||||||||
| Postconditions | ||||||||||||
ac' = 6 argc' = 6 atnewline' = 0 bad' = 0 errno' != 0 $heap_162061' = 1 bytes_after(&$heap_162061)' = 32 $heap_162061' is allocated by malloc $heap_162061' is allocated bytes_before(&$heap_162061)' = 0 ((char*)&$heap_162061)[16]' = $input_12 ((char*)&$heap_162061)[20]' = $input_97500 ((char*)&$heap_162061)[24]' >= 0 ((char*)&$heap_162061)[24]' <= 1 ((char*)&$heap_162061)[8]' = ((char*)&$heap_162061)[8] + 1 ((char*)&$heap_162061)[12]' = $input_12 bytes_after(&$heap_162062)' = 120 $heap_162062' is allocated by malloc bytes_before(&$heap_162062)' = 0 ((char*)&$heap_162062)[16]' = 0 ((char*)&$heap_162062)[20]' = 0 ((char*)&$heap_162062)[116]' = 0 bytes_after(&$heap_162063)' = 120 $heap_162063' is allocated by malloc bytes_before(&$heap_162063)' = 0 ((char*)&$heap_162063)[16]' = 0 bytes_after(&$heap_162064)' = 120 $heap_162064' is allocated by malloc bytes_before(&$heap_162064)' = 0 ((char*)&$heap_162064)[8]' = 0 ((char*)&$heap_162064)[116]' = 0 $heap_162065' = 0 bytes_after(&$heap_162065)' = 124 $heap_162065' is allocated by malloc $heap_162065' is freed bytes_before(&$heap_162065)' = 0 ((char*)&$heap_162065)[52]' = $input_97508 ((char*)&$heap_162065)[56]' = 2 ((char*)&$heap_162065)[72]' = 1 ((char*)&$heap_162065)[76]' = 1 ((char*)&$heap_162065)[80]' = &$heap_162064 ((char*)&$heap_162065)[8]' = &$heap_162067 ((char*)&$heap_162065)[84]' = &$heap_162063 ((char*)&$heap_162065)[92]' = &$heap_162062 ((char*)&$heap_162065)[100]' = 1 ((char*)&$heap_162065)[108]' = 1000 ((char*)&$heap_162065)[112]' = &$heap_162066 bytes_after(&$heap_162066)' = 20 $heap_162066' is allocated by malloc bytes_before(&$heap_162066)' = 0 ((char*)&$heap_162066)[16]' = 0 ((char*)&$heap_162066)[8]' = 0 ((char*)&$heap_162066)[12]' = 0 $heap_162067' = 63 bytes_after(&$heap_162067)' = 2 $heap_162067' is allocated by malloc bytes_before(&$heap_162067)' = 0 strlen(&$heap_162067)' = 1 tocttou($heap_162067)' = tocttou(#string176) $heap_162068' = &$heap_162068 bytes_after(&$heap_162068)' = 120 $heap_162068' is allocated by malloc $heap_162068' is allocated bytes_before(&$heap_162068)' = 0 ((char*)&$heap_162068)[16]' = 0 ((char*)&$heap_162068)[20]' = 0 ((char*)&$heap_162068)[4]' = &$heap_162068 ((char*)&$heap_162068)[8]' = 0 ((char*)&$heap_162068)[116]' = 0 ((char*)&$heap_162068)[12]' = 0 $heap_162069' = 1 bytes_after(&$heap_162069)' = 124 $heap_162069' is allocated by malloc bytes_before(&$heap_162069)' = 0 ((char*)&$heap_162069)[44]' = pvmmydsig ((char*)&$heap_162069)[52]' = pvmudpmtu ((char*)&$heap_162069)[56]' = 2 ((char*)&$heap_162069)[72]' = 1 ((char*)&$heap_162069)[76]' = 1 ((char*)&$heap_162069)[80]' = &$heap_162068 ((char*)&$heap_162069)[8]' = &$heap_162072 ((char*)&$heap_162069)[84]' = &$heap_162071 ((char*)&$heap_162069)[92]' = &$heap_162070 ((char*)&$heap_162069)[100]' = 1 ((char*)&$heap_162069)[108]' = 1000 ((char*)&$heap_162069)[112]' = 0 ((char*)&$heap_162069)[12]' = &$heap_162073 bytes_after(&$heap_162070)' = 120 $heap_162070' is allocated by malloc $heap_162070' is allocated bytes_before(&$heap_162070)' = 0 ((char*)&$heap_162070)[16]' = 0 ((char*)&$heap_162070)[20]' = 0 ((char*)&$heap_162070)[8]' = 0 ((char*)&$heap_162070)[116]' = 0 ((char*)&$heap_162070)[12]' = 0 $heap_162071' = &$heap_162071 bytes_after(&$heap_162071)' = 120 $heap_162071' is allocated by malloc $heap_162071' is allocated bytes_before(&$heap_162071)' = 0 ((char*)&$heap_162071)[16]' = 0 ((char*)&$heap_162071)[20]' = 0 ((char*)&$heap_162071)[4]' = &$heap_162071 ((char*)&$heap_162071)[8]' = 0 ((char*)&$heap_162071)[116]' = 0 ((char*)&$heap_162071)[12]' = 0 $heap_162072' = 112 bytes_after(&$heap_162072)' = 6 $heap_162072' is allocated by malloc $heap_162072' is allocated bytes_before(&$heap_162072)' = 0 strlen(&$heap_162072)' = 5 tocttou($heap_162072)' = tocttou(#string167) $heap_162073' = *myarchname bytes_after(&$heap_162073)' = strlen(myarchname) + 1 $heap_162073' is allocated by malloc $heap_162073' is allocated bytes_before(&$heap_162073)' = 0 strlen(&$heap_162073)' = strlen(myarchname) tocttou($heap_162073)' = tocttou(*myarchname) bytes_after(&$heap_162074)' = 120 $heap_162074' is allocated by malloc $heap_162074' is allocated bytes_before(&$heap_162074)' = 0 ((char*)&$heap_162074)[16]' = 0 ((char*)&$heap_162074)[20]' = 0 ((char*)&$heap_162074)[8]' = 0 ((char*)&$heap_162074)[116]' = 0 ((char*)&$heap_162074)[12]' = 0 bytes_after(&$heap_162075)' = 120 $heap_162075' is allocated by malloc $heap_162075' is allocated bytes_before(&$heap_162075)' = 0 ((char*)&$heap_162075)[16]' = 0 ((char*)&$heap_162075)[20]' = 0 ((char*)&$heap_162075)[8]' = 0 ((char*)&$heap_162075)[116]' = 0 ((char*)&$heap_162075)[12]' = 0 bytes_after(&$heap_162076)' = 120 $heap_162076' is allocated by malloc $heap_162076' is allocated bytes_before(&$heap_162076)' = 0 ((char*)&$heap_162076)[16]' = 0 ((char*)&$heap_162076)[20]' = 0 ((char*)&$heap_162076)[8]' = 0 ((char*)&$heap_162076)[116]' = 0 ((char*)&$heap_162076)[12]' = 0 $heap_162077' = 1 bytes_after(&$heap_162077)' = 124 $heap_162077' is allocated by malloc $heap_162077' is allocated bytes_before(&$heap_162077)' = 0 ((char*)&$heap_162077)[56]' = 2 ((char*)&$heap_162077)[72]' = 1 ((char*)&$heap_162077)[76]' = 1 ((char*)&$heap_162077)[80]' = &$heap_162074 ((char*)&$heap_162077)[8]' = &$heap_162078 ((char*)&$heap_162077)[84]' = &$heap_162076 ((char*)&$heap_162077)[92]' = &$heap_162075 ((char*)&$heap_162077)[100]' = 1 ((char*)&$heap_162077)[108]' = 1000 ((char*)&$heap_162077)[112]' = 0 $heap_162078' = *hn bytes_after(&$heap_162078)' = strlen(hn) + 1 $heap_162078' is allocated by malloc $heap_162078' is allocated bytes_before(&$heap_162078)' = 0 strlen(&$heap_162078)' = strlen(hn) tocttou($heap_162078)' = tocttou(*hn) hosts' = &$heap_162061 hp' = &$heap_162077 i' = argc lh' = $input_97500 mh' = $input_12 tmbuf.tm_sec' = &$unknown_732425 |
||||||||||||
