Pvm : Pvm analysis 1 : Buffer Overrun at pvmd.c:1035
|
|
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
&$unknown_3915749 >= 2 myfmt = -1 rd != 0 $input_12 = &$unknown_3915748 $input_12 >= 4 $input_418428 >= 0 $input_418436 >= 0 $input_418452 >= 0 $input_418468 >= 0 $input_418484 = &$unknown_3915749 $input_418484 >= 2 $input_418492 >= 0 $input_418508 >= 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
PASSWD_COUNTER' = 0 argc' = &$unknown_3915748 argv' = &$heap_266224 environ' = &$heap_266229 $heap_266224' = &$heap_266225 bytes_after(&$heap_266224)' = 4 * &$unknown_3915748 + 4 $heap_266224' is allocated by malloc $heap_266224' is a non-heap object bytes_before(&$heap_266224)' = 0 ((char*)&$heap_266224)[4]' = &$heap_266228 ((char*)&$heap_266224)[8]' = &$heap_266227 ((char*)&$heap_266224)[12]' = &$heap_266226 $heap_266225' = $input_60 bytes_after(&$heap_266225)' = $input_418428 + 1 $heap_266225' is allocated by malloc $heap_266225' is a non-heap object bytes_before(&$heap_266225)' = 0 strlen(&$heap_266225)' = $input_418428 $heap_266226' = $input_418444 bytes_after(&$heap_266226)' = $input_418436 + 1 $heap_266226' is allocated by malloc $heap_266226' is a non-heap object bytes_before(&$heap_266226)' = 0 strlen(&$heap_266226)' = $input_418436 $heap_266227' = $input_418460 bytes_after(&$heap_266227)' = $input_418452 + 1 $heap_266227' is allocated by malloc $heap_266227' is a non-heap object bytes_before(&$heap_266227)' = 0 strlen(&$heap_266227)' = $input_418452 $heap_266228' = $input_418476 bytes_after(&$heap_266228)' = $input_418468 + 1 $heap_266228' is allocated by malloc $heap_266228' is a non-heap object bytes_before(&$heap_266228)' = 0 strlen(&$heap_266228)' = $input_418468 $heap_266229' = &$heap_266231 bytes_after(&$heap_266229)' = 4 * $input_418484 + 4 $heap_266229' is allocated by malloc $heap_266229' is a non-heap object bytes_before(&$heap_266229)' = 0 ((char*)&$heap_266229)[4]' = &$heap_266230 $heap_266230' = $input_418500 bytes_after(&$heap_266230)' = $input_418492 + 1 $heap_266230' is allocated by malloc $heap_266230' is a non-heap object bytes_before(&$heap_266230)' = 0 strlen(&$heap_266230)' = $input_418492 $heap_266231' = $input_418516 bytes_after(&$heap_266231)' = $input_418508 + 1 $heap_266231' is allocated by malloc $heap_266231' is a non-heap object bytes_before(&$heap_266231)' = 0 strlen(&$heap_266231)' = $input_418508 $heap_266232' is allocated by open $heap_266232' is allocated ((char*)&$heap_266232)[-4096]' is open $heap_266233' is allocated by malloc $heap_266233' is allocated bytes_before(&$heap_266233)' = 0 strlen(&$heap_266233)' = strlen(stored_passwd)' $heap_266234' is allocated by malloc $heap_266234' is allocated bytes_before(&$heap_266234)' = 0 strlen(&$heap_266234)' = strlen(&buf[0])' i' = &$unknown_3915748 - 1 log_how' = 3 p' = 0 pe' = &stored_passwd.pw_name pvm_useruid' != -1 pvmmyupid' != -1 username' = &$heap_266233 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
