|
Source | Language: C |
Show LegendHide Legend
|
|
| Preconditions |
$param_2 <= 1
((char*)&$heap_143213)[8] >= 0
((char*)&$heap_143215)[144] >= 0
((char*)&$heap_143215)[32] != 0
$input_12 >= 0
|
| Postconditions |
((char*)$heap_143215)[32]' is freed
argc' = $param_2
argv' = $param_3
atnewline' = 1
filehosts' = 0
$heap_143212' = $input_60
bytes_after(&$heap_143212)' = $input_12 + 1
$heap_143212' is allocated by malloc
$heap_143212' is a non-heap object
bytes_before(&$heap_143212)' = 0
strlen(&$heap_143212)' = $input_12
$heap_143213' = 1
bytes_after(&$heap_143213)' = 40
$heap_143213' is allocated by malloc
$heap_143213' is allocated
bytes_before(&$heap_143213)' = 0
strlen(&$heap_143213)' = 0
((char*)&$heap_143213)[16]' = 1
((char*)&$heap_143213)[20]' = 1
((char*)&$heap_143213)[12]' = 1
$heap_143215' = 0
bytes_after(&$heap_143215)' = 200
$heap_143215' is allocated by malloc
$heap_143215' is freed
bytes_before(&$heap_143215)' = 0
strlen(&$heap_143215)' = 0
((char*)&$heap_143215)[136]' = &$heap_143217
((char*)&$heap_143215)[152]' = 1
((char*)&$heap_143215)[16]' = &$heap_143221
((char*)&$heap_143215)[168]' = 1000
((char*)&$heap_143215)[176]' = &$heap_143218
((char*)&$heap_143215)[76]' = pvmmydsig
((char*)&$heap_143215)[8]' = &$heap_143220
((char*)&$heap_143215)[84]' = pvmudpmtu
((char*)&$heap_143215)[88]' = 2
((char*)&$heap_143215)[104]' = 1
((char*)&$heap_143215)[108]' = 1
((char*)&$heap_143215)[112]' = &$heap_143216
((char*)&$heap_143215)[120]' = &$heap_143219
bytes_after(&$heap_143216)' = 184
$heap_143216' is allocated by malloc
bytes_before(&$heap_143216)' = 0
((char*)&$heap_143216)[16]' = 0
((char*)&$heap_143216)[176]' = 0
((char*)&$heap_143216)[24]' = 0
((char*)&$heap_143216)[32]' = 0
((char*)&$heap_143216)[40]' = 0
bytes_after(&$heap_143217)' = 184
$heap_143217' is allocated by malloc
bytes_before(&$heap_143217)' = 0
bytes_after(&$heap_143218)' = 32
$heap_143218' is allocated by malloc
bytes_before(&$heap_143218)' = 0
((char*)&$heap_143218)[16]' = 0
((char*)&$heap_143218)[20]' = 0
((char*)&$heap_143218)[24]' = 0
bytes_after(&$heap_143219)' = 184
$heap_143219' is allocated by malloc
bytes_before(&$heap_143219)' = 0
((char*)&$heap_143219)[176]' = 0
((char*)&$heap_143219)[32]' = 0
((char*)&$heap_143219)[40]' = 0
$heap_143220' = *$param_1
bytes_after(&$heap_143220)' = strlen($param_1) + 1
$heap_143220' is allocated by malloc
bytes_before(&$heap_143220)' = 0
strlen(&$heap_143220)' = strlen($param_1)
$heap_143221' = *myarchname
bytes_after(&$heap_143221)' = strlen(myarchname) + 1
$heap_143221' is allocated by malloc
bytes_before(&$heap_143221)' = 0
strlen(&$heap_143221)' = strlen(myarchname)
$heap_143222' = 112
bytes_after(&$heap_143222)' = 6
$heap_143222' is allocated by malloc
$heap_143222' is allocated
bytes_before(&$heap_143222)' = 0
strlen(&$heap_143222)' = 5
hn' = $param_1
hosts' = &$heap_143213
hp' = 0
s' = &$heap_143212
tmbuf.tm_sec' = &$unknown_872522
|