pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5586
|
|
| 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_726434 != 0 &$unknown_726435 != 0 $unknown_726437 != 58 ((char*)&$heap_116770)[20] != 0 ((char*)&$heap_116770)[96] >= 0 |
||||||||||||
| Postconditions | ||||||||||||
*log_ff->_flags' is freed ((char*)$heap_116770)[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_726435 epaths' = &$heap_116776 errno' != 0 $heap_116753' = 1 bytes_after(&$heap_116753)' = 32 $heap_116753' is allocated by malloc $heap_116753' is allocated bytes_before(&$heap_116753)' = 0 ((char*)&$heap_116753)[16]' = $input_12 ((char*)&$heap_116753)[20]' = $input_75452 ((char*)&$heap_116753)[8]' = ((char*)&$heap_116753)[8] + 1 ((char*)&$heap_116753)[12]' = $input_12 bytes_after(&$heap_116755)' = 120 $heap_116755' is allocated by malloc $heap_116755' is allocated bytes_before(&$heap_116755)' = 0 ((char*)&$heap_116755)[16]' = 0 ((char*)&$heap_116755)[20]' = 0 ((char*)&$heap_116755)[8]' = 0 ((char*)&$heap_116755)[116]' = 0 ((char*)&$heap_116755)[12]' = 0 bytes_after(&$heap_116756)' = 120 $heap_116756' is allocated by malloc $heap_116756' is allocated bytes_before(&$heap_116756)' = 0 ((char*)&$heap_116756)[16]' = 0 ((char*)&$heap_116756)[20]' = 0 ((char*)&$heap_116756)[8]' = 0 ((char*)&$heap_116756)[116]' = 0 ((char*)&$heap_116756)[12]' = 0 $heap_116757' = 1 bytes_after(&$heap_116757)' = 124 $heap_116757' is allocated by malloc bytes_before(&$heap_116757)' = 0 ((char*)&$heap_116757)[52]' = $input_75460 ((char*)&$heap_116757)[56]' = 2 ((char*)&$heap_116757)[72]' = 1 ((char*)&$heap_116757)[76]' = 1 ((char*)&$heap_116757)[80]' = &$heap_116755 ((char*)&$heap_116757)[8]' = &$heap_116759 ((char*)&$heap_116757)[84]' = &$heap_116758 ((char*)&$heap_116757)[92]' = &$heap_116756 ((char*)&$heap_116757)[100]' = 1 ((char*)&$heap_116757)[108]' = 1000 ((char*)&$heap_116757)[112]' = 0 $heap_116758' = &$heap_116758 bytes_after(&$heap_116758)' = 120 $heap_116758' is allocated by malloc $heap_116758' is allocated bytes_before(&$heap_116758)' = 0 ((char*)&$heap_116758)[16]' = 0 ((char*)&$heap_116758)[20]' = 0 ((char*)&$heap_116758)[4]' = &$heap_116758 ((char*)&$heap_116758)[8]' = 0 ((char*)&$heap_116758)[116]' = 0 ((char*)&$heap_116758)[12]' = 0 $heap_116759' = 63 bytes_after(&$heap_116759)' = 2 $heap_116759' is allocated by malloc $heap_116759' is allocated bytes_before(&$heap_116759)' = 0 strlen(&$heap_116759)' = 1 tocttou($heap_116759)' = tocttou(#string176) bytes_after(&$heap_116760)' = 120 $heap_116760' is allocated by malloc $heap_116760' is allocated bytes_before(&$heap_116760)' = 0 ((char*)&$heap_116760)[16]' = 0 ((char*)&$heap_116760)[20]' = 0 ((char*)&$heap_116760)[8]' = 0 ((char*)&$heap_116760)[116]' = 0 ((char*)&$heap_116760)[12]' = 0 $heap_116761' = 1 bytes_after(&$heap_116761)' = 124 $heap_116761' is allocated by malloc bytes_before(&$heap_116761)' = 0 ((char*)&$heap_116761)[44]' = pvmmydsig ((char*)&$heap_116761)[52]' = pvmudpmtu ((char*)&$heap_116761)[56]' = 2 ((char*)&$heap_116761)[72]' = 1 ((char*)&$heap_116761)[76]' = 1 ((char*)&$heap_116761)[80]' = &$heap_116762 ((char*)&$heap_116761)[8]' = &$heap_116765 ((char*)&$heap_116761)[84]' = &$heap_116764 ((char*)&$heap_116761)[92]' = &$heap_116760 ((char*)&$heap_116761)[100]' = 1 ((char*)&$heap_116761)[108]' = 1000 ((char*)&$heap_116761)[112]' = &$heap_116763 ((char*)&$heap_116761)[12]' = &$heap_116766 $heap_116762' = &$heap_116762 bytes_after(&$heap_116762)' = 120 $heap_116762' is allocated by malloc $heap_116762' is allocated bytes_before(&$heap_116762)' = 0 ((char*)&$heap_116762)[16]' = 0 ((char*)&$heap_116762)[20]' = 0 ((char*)&$heap_116762)[4]' = &$heap_116762 ((char*)&$heap_116762)[8]' = 0 ((char*)&$heap_116762)[116]' = 0 ((char*)&$heap_116762)[12]' = 0 bytes_after(&$heap_116763)' = 20 $heap_116763' is allocated by malloc $heap_116763' is allocated bytes_before(&$heap_116763)' = 0 ((char*)&$heap_116763)[16]' = 0 ((char*)&$heap_116763)[8]' = 0 ((char*)&$heap_116763)[12]' = 0 bytes_after(&$heap_116764)' = 120 $heap_116764' is allocated by malloc $heap_116764' is allocated bytes_before(&$heap_116764)' = 0 ((char*)&$heap_116764)[16]' = 0 ((char*)&$heap_116764)[20]' = 0 ((char*)&$heap_116764)[8]' = 0 ((char*)&$heap_116764)[116]' = 0 ((char*)&$heap_116764)[12]' = 0 $heap_116765' = 112 bytes_after(&$heap_116765)' = 6 $heap_116765' is allocated by malloc $heap_116765' is allocated bytes_before(&$heap_116765)' = 0 strlen(&$heap_116765)' = 5 tocttou($heap_116765)' = tocttou(#string167) $heap_116766' = *myarchname bytes_after(&$heap_116766)' = strlen(myarchname) + 1 $heap_116766' is allocated by malloc $heap_116766' is allocated bytes_before(&$heap_116766)' = 0 strlen(&$heap_116766)' = strlen(myarchname) tocttou($heap_116766)' = tocttou(*myarchname) bytes_after(&$heap_116767)' = 120 $heap_116767' is allocated by malloc bytes_before(&$heap_116767)' = 0 ((char*)&$heap_116767)[16]' = 0 ((char*)&$heap_116767)[20]' = 0 ((char*)&$heap_116767)[116]' = 0 bytes_after(&$heap_116768)' = 120 $heap_116768' is allocated by malloc bytes_before(&$heap_116768)' = 0 $heap_116769' = &$heap_116769 bytes_after(&$heap_116769)' = 120 $heap_116769' is allocated by malloc bytes_before(&$heap_116769)' = 0 ((char*)&$heap_116769)[16]' = 0 ((char*)&$heap_116769)[20]' = 0 ((char*)&$heap_116769)[4]' = &$heap_116769 ((char*)&$heap_116769)[116]' = 0 $heap_116770' = 0 bytes_after(&$heap_116770)' = 124 $heap_116770' is allocated by malloc $heap_116770' is freed bytes_before(&$heap_116770)' = 0 ((char*)&$heap_116770)[44]' = pvmmydsig ((char*)&$heap_116770)[52]' = pvmudpmtu ((char*)&$heap_116770)[56]' = 2 ((char*)&$heap_116770)[72]' = 1 ((char*)&$heap_116770)[76]' = 1 ((char*)&$heap_116770)[80]' = &$heap_116768 ((char*)&$heap_116770)[8]' = &$heap_116772 ((char*)&$heap_116770)[84]' = &$heap_116769 ((char*)&$heap_116770)[92]' = &$heap_116767 ((char*)&$heap_116770)[100]' = 1 ((char*)&$heap_116770)[108]' = 1000 ((char*)&$heap_116770)[112]' = &$heap_116771 ((char*)&$heap_116770)[12]' = &$heap_116773 bytes_after(&$heap_116771)' = 20 $heap_116771' is allocated by malloc bytes_before(&$heap_116771)' = 0 ((char*)&$heap_116771)[16]' = 0 ((char*)&$heap_116771)[8]' = 0 ((char*)&$heap_116771)[12]' = 0 $heap_116772' = *hn bytes_after(&$heap_116772)' = strlen(hn) + 1 $heap_116772' is allocated by malloc bytes_before(&$heap_116772)' = 0 strlen(&$heap_116772)' = strlen(hn) tocttou($heap_116772)' = tocttou(*hn) $heap_116773' = *myarchname bytes_after(&$heap_116773)' = strlen(myarchname) + 1 $heap_116773' is allocated by malloc bytes_before(&$heap_116773)' = 0 strlen(&$heap_116773)' = strlen(myarchname) tocttou($heap_116773)' = tocttou(*myarchname) $heap_116774' is allocated by open $heap_116774' is allocated $heap_116775' = 36 bytes_after(&$heap_116775)' = 49 $heap_116775' is allocated by malloc $heap_116775' is freed bytes_before(&$heap_116775)' = 0 tocttou($heap_116775)' = tocttou(#string168) $heap_116776' = &$unknown_726437 $heap_116776' is allocated by malloc $heap_116776' is allocated bytes_before(&$heap_116776)' = 0 ((char*)&$heap_116776)[4]' = 0 hosts' = &$heap_116753 hp' = &$heap_116770 i' = -1 lh' = $input_75452 log_fd' = -1 log_ff' = 0 mh' = $input_12 ms' = &$unknown_726434 p' = 0 s' = &$heap_116775 |
||||||||||||