pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5514
|
|
|||||||||||||||||||||||||||||
| 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[2] != 58 ((char*)&$heap_172695)[96] >= 0 ((char*)&$heap_172695)[12] >= 0 |
||||||||||||
| Postconditions | ||||||||||||
ac' = 6 argc' = 6 atnewline' = 0 bad' = 0 errno' != 0 $heap_172691' = 1 bytes_after(&$heap_172691)' = 32 $heap_172691' is allocated by malloc $heap_172691' is allocated bytes_before(&$heap_172691)' = 0 ((char*)&$heap_172691)[16]' = $input_12 ((char*)&$heap_172691)[20]' = $input_105116 ((char*)&$heap_172691)[12]' = $input_12 bytes_after(&$heap_172692)' = 120 $heap_172692' is allocated by malloc bytes_before(&$heap_172692)' = 0 ((char*)&$heap_172692)[16]' = 0 ((char*)&$heap_172692)[20]' = 0 ((char*)&$heap_172692)[116]' = 0 bytes_after(&$heap_172693)' = 120 $heap_172693' is allocated by malloc bytes_before(&$heap_172693)' = 0 ((char*)&$heap_172693)[16]' = 0 ((char*)&$heap_172693)[4]' = &$heap_172693 bytes_after(&$heap_172694)' = 120 $heap_172694' is allocated by malloc bytes_before(&$heap_172694)' = 0 ((char*)&$heap_172694)[16]' = 0 ((char*)&$heap_172694)[20]' = 0 ((char*)&$heap_172694)[8]' = 0 ((char*)&$heap_172694)[116]' = 0 ((char*)&$heap_172694)[12]' = 0 $heap_172695' = 0 bytes_after(&$heap_172695)' = 124 $heap_172695' is allocated by malloc $heap_172695' is freed bytes_before(&$heap_172695)' = 0 ((char*)&$heap_172695)[52]' = $input_105124 ((char*)&$heap_172695)[56]' = 2 ((char*)&$heap_172695)[72]' = 1 ((char*)&$heap_172695)[76]' = 1 ((char*)&$heap_172695)[80]' = &$heap_172694 ((char*)&$heap_172695)[8]' = &$heap_172697 ((char*)&$heap_172695)[84]' = &$heap_172693 ((char*)&$heap_172695)[92]' = &$heap_172692 ((char*)&$heap_172695)[100]' = 1 ((char*)&$heap_172695)[108]' = 1000 ((char*)&$heap_172695)[112]' = &$heap_172696 bytes_after(&$heap_172696)' = 20 $heap_172696' is allocated by malloc bytes_before(&$heap_172696)' = 0 ((char*)&$heap_172696)[16]' = 0 ((char*)&$heap_172696)[8]' = 0 ((char*)&$heap_172696)[12]' = 0 $heap_172697' = 63 bytes_after(&$heap_172697)' = 2 $heap_172697' is allocated by malloc bytes_before(&$heap_172697)' = 0 strlen(&$heap_172697)' = 1 tocttou($heap_172697)' = tocttou(#string176) bytes_after(&$heap_172698)' = 120 $heap_172698' is allocated by malloc $heap_172698' is allocated bytes_before(&$heap_172698)' = 0 ((char*)&$heap_172698)[16]' = 0 ((char*)&$heap_172698)[20]' = 0 ((char*)&$heap_172698)[8]' = 0 ((char*)&$heap_172698)[116]' = 0 ((char*)&$heap_172698)[12]' = 0 bytes_after(&$heap_172699)' = 120 $heap_172699' is allocated by malloc $heap_172699' is allocated bytes_before(&$heap_172699)' = 0 ((char*)&$heap_172699)[16]' = 0 ((char*)&$heap_172699)[20]' = 0 ((char*)&$heap_172699)[8]' = 0 ((char*)&$heap_172699)[116]' = 0 ((char*)&$heap_172699)[12]' = 0 bytes_after(&$heap_172700)' = 20 $heap_172700' is allocated by malloc $heap_172700' is allocated bytes_before(&$heap_172700)' = 0 ((char*)&$heap_172700)[16]' = 0 ((char*)&$heap_172700)[8]' = 0 ((char*)&$heap_172700)[12]' = 0 bytes_after(&$heap_172701)' = 120 $heap_172701' is allocated by malloc $heap_172701' is allocated bytes_before(&$heap_172701)' = 0 ((char*)&$heap_172701)[16]' = 0 ((char*)&$heap_172701)[20]' = 0 ((char*)&$heap_172701)[8]' = 0 ((char*)&$heap_172701)[116]' = 0 ((char*)&$heap_172701)[12]' = 0 $heap_172702' = 1 bytes_after(&$heap_172702)' = 124 $heap_172702' is allocated by malloc $heap_172702' is allocated bytes_before(&$heap_172702)' = 0 ((char*)&$heap_172702)[56]' = 2 ((char*)&$heap_172702)[72]' = 1 ((char*)&$heap_172702)[76]' = 1 ((char*)&$heap_172702)[80]' = &$heap_172701 ((char*)&$heap_172702)[84]' = &$heap_172699 ((char*)&$heap_172702)[92]' = &$heap_172698 ((char*)&$heap_172702)[100]' = 1 ((char*)&$heap_172702)[108]' = 1000 ((char*)&$heap_172702)[112]' = &$heap_172700 hosts' = &$heap_172691 hp' = &$heap_172702 i' = argc lh' = $input_105116 mh' = $input_12 tmbuf.tm_sec' = &$unknown_733321 |
||||||||||||
