pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5515
|
|
|||||||||||||||||||||||||||||
| 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 ((char*)&$heap_169559)[8] >= -1 |
||||||||||||
| Postconditions | ||||||||||||
ac' = 6 argc' = 6 atnewline' = 0 bad' = 0 errno' != 0 $heap_169559' = 1 bytes_after(&$heap_169559)' = 32 $heap_169559' is allocated by malloc $heap_169559' is allocated bytes_before(&$heap_169559)' = 0 ((char*)&$heap_169559)[16]' = $input_12 ((char*)&$heap_169559)[20]' = $input_102172 ((char*)&$heap_169559)[24]' = 0 ((char*)&$heap_169559)[8]' = ((char*)&$heap_169559)[8] + 1 ((char*)&$heap_169559)[12]' = $input_12 bytes_after(&$heap_169560)' = 120 $heap_169560' is allocated by malloc $heap_169560' is allocated bytes_before(&$heap_169560)' = 0 ((char*)&$heap_169560)[16]' = 0 ((char*)&$heap_169560)[20]' = 0 ((char*)&$heap_169560)[8]' = 0 ((char*)&$heap_169560)[116]' = 0 ((char*)&$heap_169560)[12]' = 0 $heap_169561' = &$heap_169561 bytes_after(&$heap_169561)' = 120 $heap_169561' is allocated by malloc $heap_169561' is allocated bytes_before(&$heap_169561)' = 0 ((char*)&$heap_169561)[16]' = 0 ((char*)&$heap_169561)[20]' = 0 ((char*)&$heap_169561)[4]' = &$heap_169561 ((char*)&$heap_169561)[8]' = 0 ((char*)&$heap_169561)[116]' = 0 ((char*)&$heap_169561)[12]' = 0 bytes_after(&$heap_169562)' = 120 $heap_169562' is allocated by malloc $heap_169562' is allocated bytes_before(&$heap_169562)' = 0 ((char*)&$heap_169562)[16]' = 0 ((char*)&$heap_169562)[20]' = 0 ((char*)&$heap_169562)[8]' = 0 ((char*)&$heap_169562)[116]' = 0 ((char*)&$heap_169562)[12]' = 0 $heap_169563' = 1 bytes_after(&$heap_169563)' = 124 $heap_169563' is allocated by malloc bytes_before(&$heap_169563)' = 0 ((char*)&$heap_169563)[52]' = $input_102180 ((char*)&$heap_169563)[56]' = 2 ((char*)&$heap_169563)[72]' = 1 ((char*)&$heap_169563)[76]' = 1 ((char*)&$heap_169563)[80]' = &$heap_169562 ((char*)&$heap_169563)[8]' = &$heap_169565 ((char*)&$heap_169563)[84]' = &$heap_169561 ((char*)&$heap_169563)[92]' = &$heap_169560 ((char*)&$heap_169563)[100]' = 1 ((char*)&$heap_169563)[108]' = 1000 ((char*)&$heap_169563)[112]' = &$heap_169564 bytes_after(&$heap_169564)' = 20 $heap_169564' is allocated by malloc $heap_169564' is allocated bytes_before(&$heap_169564)' = 0 ((char*)&$heap_169564)[16]' = 0 ((char*)&$heap_169564)[8]' = 0 ((char*)&$heap_169564)[12]' = 0 $heap_169565' = 63 bytes_after(&$heap_169565)' = 2 $heap_169565' is allocated by malloc $heap_169565' is allocated bytes_before(&$heap_169565)' = 0 strlen(&$heap_169565)' = 1 tocttou($heap_169565)' = tocttou(#string176) $heap_169566' = &$heap_169566 bytes_after(&$heap_169566)' = 120 $heap_169566' is allocated by malloc $heap_169566' is allocated bytes_before(&$heap_169566)' = 0 ((char*)&$heap_169566)[16]' = 0 ((char*)&$heap_169566)[20]' = 0 ((char*)&$heap_169566)[4]' = &$heap_169566 ((char*)&$heap_169566)[8]' = 0 ((char*)&$heap_169566)[116]' = 0 ((char*)&$heap_169566)[12]' = 0 $heap_169567' = 1 bytes_after(&$heap_169567)' = 124 $heap_169567' is allocated by malloc $heap_169567' is allocated bytes_before(&$heap_169567)' = 0 ((char*)&$heap_169567)[56]' = 2 ((char*)&$heap_169567)[72]' = 1 ((char*)&$heap_169567)[76]' = 1 ((char*)&$heap_169567)[80]' = &$heap_169566 ((char*)&$heap_169567)[8]' = &$heap_169570 ((char*)&$heap_169567)[84]' = &$heap_169569 ((char*)&$heap_169567)[92]' = &$heap_169568 ((char*)&$heap_169567)[100]' = 1 ((char*)&$heap_169567)[108]' = 1000 ((char*)&$heap_169567)[112]' = 0 bytes_after(&$heap_169568)' = 120 $heap_169568' is allocated by malloc $heap_169568' is allocated bytes_before(&$heap_169568)' = 0 ((char*)&$heap_169568)[16]' = 0 ((char*)&$heap_169568)[20]' = 0 ((char*)&$heap_169568)[8]' = 0 ((char*)&$heap_169568)[116]' = 0 ((char*)&$heap_169568)[12]' = 0 $heap_169569' = &$heap_169569 bytes_after(&$heap_169569)' = 120 $heap_169569' is allocated by malloc $heap_169569' is allocated bytes_before(&$heap_169569)' = 0 ((char*)&$heap_169569)[16]' = 0 ((char*)&$heap_169569)[20]' = 0 ((char*)&$heap_169569)[4]' = &$heap_169569 ((char*)&$heap_169569)[8]' = 0 ((char*)&$heap_169569)[116]' = 0 ((char*)&$heap_169569)[12]' = 0 $heap_169570' = 112 bytes_after(&$heap_169570)' = 6 $heap_169570' is allocated by malloc $heap_169570' is allocated bytes_before(&$heap_169570)' = 0 strlen(&$heap_169570)' = 5 tocttou($heap_169570)' = tocttou(#string167) hosts' = &$heap_169559 hp' = &$heap_169567 i' = argc lh' = $input_102172 mh' = $input_12 tmbuf.tm_sec' = &$unknown_733018 |
||||||||||||
