|
Source | Language: C |
Show LegendHide Legend
|
|
| Preconditions |
$param_2 >= 3
((char*)&$heap_84510)[32] >= 0
((char*)&$heap_84510)[8] >= 0
((char*)&$heap_84511)[144] >= 0
((char*)&$heap_84511)[16] >= 0
((char*)&$heap_84511)[32] = 0
|
| Postconditions |
ac' = 6
argc' = 6
argv' = $param_3
atnewline' = 0
bad' = 0
$heap_84510' = 1
bytes_after(&$heap_84510)' = 40
$heap_84510' is allocated by malloc
$heap_84510' is allocated
bytes_before(&$heap_84510)' = 0
strlen(&$heap_84510)' = 0
((char*)&$heap_84510)[16]' = $input_12
((char*)&$heap_84510)[20]' = $input_24492
((char*)&$heap_84510)[24]' = 0
((char*)&$heap_84510)[8]' = ((char*)&$heap_84510)[8] + 1
((char*)&$heap_84510)[12]' = $input_12
$heap_84511' = 0
bytes_after(&$heap_84511)' = 200
$heap_84511' is allocated by malloc
$heap_84511' is freed
bytes_before(&$heap_84511)' = 0
strlen(&$heap_84511)' = 0
((char*)&$heap_84511)[136]' = &$heap_84514
((char*)&$heap_84511)[152]' = 1
((char*)&$heap_84511)[168]' = 1000
((char*)&$heap_84511)[176]' = 0
((char*)&$heap_84511)[8]' = &$heap_84515
((char*)&$heap_84511)[84]' = $input_24500
((char*)&$heap_84511)[88]' = 2
((char*)&$heap_84511)[104]' = 1
((char*)&$heap_84511)[108]' = 1
((char*)&$heap_84511)[112]' = &$heap_84512
((char*)&$heap_84511)[120]' = &$heap_84513
bytes_after(&$heap_84512)' = 184
$heap_84512' is allocated by malloc
bytes_before(&$heap_84512)' = 0
((char*)&$heap_84512)[16]' = 0
((char*)&$heap_84512)[176]' = 0
((char*)&$heap_84512)[24]' = 0
((char*)&$heap_84512)[32]' = 0
((char*)&$heap_84512)[40]' = 0
bytes_after(&$heap_84513)' = 184
$heap_84513' is allocated by malloc
bytes_before(&$heap_84513)' = 0
((char*)&$heap_84513)[176]' = 0
((char*)&$heap_84513)[32]' = 0
((char*)&$heap_84513)[40]' = 0
$heap_84514' = &$heap_84514
bytes_after(&$heap_84514)' = 184
$heap_84514' is allocated by malloc
bytes_before(&$heap_84514)' = 0
((char*)&$heap_84514)[176]' = 0
((char*)&$heap_84514)[32]' = 0
((char*)&$heap_84514)[40]' = 0
((char*)&$heap_84514)[8]' = &$heap_84514
$heap_84515' = 63
bytes_after(&$heap_84515)' = 2
$heap_84515' is allocated by malloc
bytes_before(&$heap_84515)' = 0
strlen(&$heap_84515)' = 1
$heap_84516' = 1
bytes_after(&$heap_84516)' = 200
$heap_84516' is allocated by malloc
bytes_before(&$heap_84516)' = 0
strlen(&$heap_84516)' = 0
((char*)&$heap_84516)[136]' = &$heap_84517
((char*)&$heap_84516)[152]' = 1
((char*)&$heap_84516)[16]' = &$heap_84522
((char*)&$heap_84516)[168]' = 1000
((char*)&$heap_84516)[176]' = &$heap_84518
((char*)&$heap_84516)[76]' = pvmmydsig
((char*)&$heap_84516)[8]' = &$heap_84521
((char*)&$heap_84516)[84]' = pvmudpmtu
((char*)&$heap_84516)[88]' = 2
((char*)&$heap_84516)[104]' = 1
((char*)&$heap_84516)[108]' = 1
((char*)&$heap_84516)[112]' = &$heap_84520
((char*)&$heap_84516)[120]' = &$heap_84519
bytes_after(&$heap_84517)' = 184
$heap_84517' is allocated by malloc
$heap_84517' is allocated
bytes_before(&$heap_84517)' = 0
((char*)&$heap_84517)[16]' = 0
((char*)&$heap_84517)[176]' = 0
((char*)&$heap_84517)[24]' = 0
((char*)&$heap_84517)[32]' = 0
((char*)&$heap_84517)[40]' = 0
$heap_84518' = &$heap_84518
bytes_after(&$heap_84518)' = 32
$heap_84518' is allocated by malloc
$heap_84518' is allocated
bytes_before(&$heap_84518)' = 0
((char*)&$heap_84518)[16]' = 0
((char*)&$heap_84518)[20]' = 0
((char*)&$heap_84518)[24]' = 0
((char*)&$heap_84518)[8]' = &$heap_84518
bytes_after(&$heap_84519)' = 184
$heap_84519' is allocated by malloc
$heap_84519' is allocated
bytes_before(&$heap_84519)' = 0
((char*)&$heap_84519)[16]' = 0
((char*)&$heap_84519)[176]' = 0
((char*)&$heap_84519)[24]' = 0
((char*)&$heap_84519)[32]' = 0
((char*)&$heap_84519)[40]' = 0
bytes_after(&$heap_84520)' = 184
$heap_84520' is allocated by malloc
$heap_84520' is allocated
bytes_before(&$heap_84520)' = 0
((char*)&$heap_84520)[16]' = 0
((char*)&$heap_84520)[176]' = 0
((char*)&$heap_84520)[24]' = 0
((char*)&$heap_84520)[32]' = 0
((char*)&$heap_84520)[40]' = 0
$heap_84521' = 112
bytes_after(&$heap_84521)' = 6
$heap_84521' is allocated by malloc
$heap_84521' is allocated
bytes_before(&$heap_84521)' = 0
strlen(&$heap_84521)' = 5
$heap_84522' = *myarchname
bytes_after(&$heap_84522)' = strlen(myarchname) + 1
$heap_84522' is allocated by malloc
$heap_84522' is allocated
bytes_before(&$heap_84522)' = 0
strlen(&$heap_84522)' = strlen(myarchname)
$heap_84523' = *$param_1
bytes_after(&$heap_84523)' = strlen($param_1) + 1
$heap_84523' is allocated by malloc
$heap_84523' is allocated
bytes_before(&$heap_84523)' = 0
strlen(&$heap_84523)' = strlen($param_1)
hn' = $param_1
hosts' = &$heap_84510
hp' = 0
i' = $param_2
lh' = $input_24492
mh' = $input_12
tmbuf.tm_sec' = &$unknown_810269
|