|
Source | Language: C |
Show LegendHide Legend
|
|
| Preconditions |
argc <= 1
((char*)&$heap_224367)[20] != 0
((char*)&$heap_224367)[96] >= 0
$input_12 >= 0
|
| Postconditions |
((char*)$heap_224367)[20]' is freed
atnewline' = 1
errno' != 0
filehosts' = 0
$heap_224361' = $input_444
bytes_after(&$heap_224361)' = $input_12 + 1
$heap_224361' is allocated by malloc
$heap_224361' is a non-heap object
bytes_before(&$heap_224361)' = 0
strlen(&$heap_224361)' = $input_12
$heap_224363' = 1
bytes_after(&$heap_224363)' = 32
$heap_224363' is allocated by malloc
$heap_224363' is allocated
bytes_before(&$heap_224363)' = 0
((char*)&$heap_224363)[16]' = 1
((char*)&$heap_224363)[20]' = 1
((char*)&$heap_224363)[12]' = 1
bytes_after(&$heap_224364)' = 120
$heap_224364' is allocated by malloc
bytes_before(&$heap_224364)' = 0
((char*)&$heap_224364)[16]' = 0
((char*)&$heap_224364)[20]' = 0
((char*)&$heap_224364)[116]' = 0
bytes_after(&$heap_224365)' = 120
$heap_224365' is allocated by malloc
bytes_before(&$heap_224365)' = 0
((char*)&$heap_224365)[16]' = 0
((char*)&$heap_224365)[20]' = 0
((char*)&$heap_224365)[116]' = 0
bytes_after(&$heap_224366)' = 20
$heap_224366' is allocated by malloc
bytes_before(&$heap_224366)' = 0
((char*)&$heap_224366)[16]' = 0
((char*)&$heap_224366)[8]' = 0
((char*)&$heap_224366)[12]' = 0
$heap_224367' = 0
bytes_after(&$heap_224367)' = 124
$heap_224367' is allocated by malloc
$heap_224367' is freed
bytes_before(&$heap_224367)' = 0
((char*)&$heap_224367)[44]' = pvmmydsig
((char*)&$heap_224367)[52]' = pvmudpmtu
((char*)&$heap_224367)[56]' = 2
((char*)&$heap_224367)[72]' = 1
((char*)&$heap_224367)[76]' = 1
((char*)&$heap_224367)[80]' = &$heap_224368
((char*)&$heap_224367)[8]' = &$heap_224369
((char*)&$heap_224367)[84]' = &$heap_224365
((char*)&$heap_224367)[92]' = &$heap_224364
((char*)&$heap_224367)[100]' = 1
((char*)&$heap_224367)[108]' = 1000
((char*)&$heap_224367)[112]' = &$heap_224366
((char*)&$heap_224367)[12]' = &$heap_224370
bytes_after(&$heap_224368)' = 120
$heap_224368' is allocated by malloc
bytes_before(&$heap_224368)' = 0
((char*)&$heap_224368)[16]' = 0
((char*)&$heap_224368)[20]' = 0
((char*)&$heap_224368)[8]' = 0
((char*)&$heap_224368)[116]' = 0
((char*)&$heap_224368)[12]' = 0
$heap_224369' = *hn
bytes_after(&$heap_224369)' = strlen(hn) + 1
$heap_224369' is allocated by malloc
bytes_before(&$heap_224369)' = 0
strlen(&$heap_224369)' = strlen(hn)
tocttou($heap_224369)' = tocttou(*hn)
$heap_224370' = *myarchname
bytes_after(&$heap_224370)' = strlen(myarchname) + 1
$heap_224370' is allocated by malloc
bytes_before(&$heap_224370)' = 0
strlen(&$heap_224370)' = strlen(myarchname)
tocttou($heap_224370)' = tocttou(*myarchname)
$heap_224371' = 112
bytes_after(&$heap_224371)' = 6
$heap_224371' is allocated by malloc
$heap_224371' is allocated
bytes_before(&$heap_224371)' = 0
strlen(&$heap_224371)' = 5
tocttou($heap_224371)' = tocttou(#string167)
hosts' = &$heap_224363
hp' = 0
s' = &$heap_224361
tmbuf.tm_sec' = &$unknown_766800
|