pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at host.c:712
|
|
| 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 | ||||||||||||
hp->hd_login = 0 hp->hd_dpath = 0 hp->hd_epath = 0 hp->hd_bpath = 0 hp->hd_wdir = 0 hp->hd_sopts = 0 hp->hd_aname = 0 hp->hd_vmid = 0 defhp->hd_login = 0 defhp->hd_epath = 0 |
||||||||||||
| Postconditions | ||||||||||||
errno' != 0 $heap_1000' = *defhp->hd_aname bytes_after(&$heap_1000)' = strlen(defhp->hd_aname) + 1 $heap_1000' is allocated by malloc $heap_1000' is allocated bytes_before(&$heap_1000)' = 0 strlen(&$heap_1000)' = strlen(defhp->hd_aname) tocttou($heap_1000)' = tocttou(*defhp->hd_aname) $heap_996' = *defhp->hd_dpath bytes_after(&$heap_996)' = strlen(defhp->hd_dpath) + 1 $heap_996' is allocated by malloc $heap_996' is allocated bytes_before(&$heap_996)' = 0 strlen(&$heap_996)' = strlen(defhp->hd_dpath) tocttou($heap_996)' = tocttou(*defhp->hd_dpath) $heap_997' = *defhp->hd_bpath bytes_after(&$heap_997)' = strlen(defhp->hd_bpath) + 1 $heap_997' is allocated by malloc $heap_997' is allocated bytes_before(&$heap_997)' = 0 strlen(&$heap_997)' = strlen(defhp->hd_bpath) tocttou($heap_997)' = tocttou(*defhp->hd_bpath) $heap_998' = *defhp->hd_wdir bytes_after(&$heap_998)' = strlen(defhp->hd_wdir) + 1 $heap_998' is allocated by malloc $heap_998' is allocated bytes_before(&$heap_998)' = 0 strlen(&$heap_998)' = strlen(defhp->hd_wdir) tocttou($heap_998)' = tocttou(*defhp->hd_wdir) $heap_999' = *defhp->hd_sopts bytes_after(&$heap_999)' = strlen(defhp->hd_sopts) + 1 $heap_999' is allocated by malloc $heap_999' is allocated bytes_before(&$heap_999)' = 0 strlen(&$heap_999)' = strlen(defhp->hd_sopts) tocttou($heap_999)' = tocttou(*defhp->hd_sopts) |
||||||||||||