|
Source | Language: C |
Show LegendHide Legend
|
|
| Preconditions |
argc >= 3
*argv[2] != 58
((char*)&$heap_165508)[96] >= 0
((char*)&$heap_165508)[12] >= 0
|
| Postconditions |
ac' = 6
argc' = 6
atnewline' = 0
bad' = 0
errno' != 0
$heap_165505' = 1
bytes_after(&$heap_165505)' = 32
$heap_165505' is allocated by malloc
$heap_165505' is allocated
bytes_before(&$heap_165505)' = 0
((char*)&$heap_165505)[16]' = $input_12
((char*)&$heap_165505)[20]' = $input_99324
((char*)&$heap_165505)[24]' >= 0
((char*)&$heap_165505)[24]' <= 1
((char*)&$heap_165505)[8]' = ((char*)&$heap_165505)[8] + 1
((char*)&$heap_165505)[12]' = $input_12
bytes_after(&$heap_165506)' = 120
$heap_165506' is allocated by malloc
bytes_before(&$heap_165506)' = 0
((char*)&$heap_165506)[16]' = 0
((char*)&$heap_165506)[20]' = 0
((char*)&$heap_165506)[8]' = 0
((char*)&$heap_165506)[116]' = 0
((char*)&$heap_165506)[12]' = 0
bytes_after(&$heap_165507)' = 120
$heap_165507' is allocated by malloc
bytes_before(&$heap_165507)' = 0
((char*)&$heap_165507)[16]' = 0
$heap_165508' = 0
bytes_after(&$heap_165508)' = 124
$heap_165508' is allocated by malloc
$heap_165508' is freed
bytes_before(&$heap_165508)' = 0
((char*)&$heap_165508)[52]' = $input_99332
((char*)&$heap_165508)[56]' = 2
((char*)&$heap_165508)[72]' = 1
((char*)&$heap_165508)[76]' = 1
((char*)&$heap_165508)[80]' = &$heap_165506
((char*)&$heap_165508)[8]' = &$heap_165510
((char*)&$heap_165508)[84]' = &$heap_165507
((char*)&$heap_165508)[92]' = &$heap_165509
((char*)&$heap_165508)[100]' = 1
((char*)&$heap_165508)[108]' = 1000
((char*)&$heap_165508)[112]' = 0
bytes_after(&$heap_165509)' = 120
$heap_165509' is allocated by malloc
bytes_before(&$heap_165509)' = 0
((char*)&$heap_165509)[16]' = 0
((char*)&$heap_165509)[20]' = 0
((char*)&$heap_165509)[116]' = 0
$heap_165510' = 63
bytes_after(&$heap_165510)' = 2
$heap_165510' is allocated by malloc
bytes_before(&$heap_165510)' = 0
strlen(&$heap_165510)' = 1
tocttou($heap_165510)' = tocttou(#string176)
bytes_after(&$heap_165511)' = 120
$heap_165511' is allocated by malloc
$heap_165511' is allocated
bytes_before(&$heap_165511)' = 0
((char*)&$heap_165511)[16]' = 0
((char*)&$heap_165511)[20]' = 0
((char*)&$heap_165511)[8]' = 0
((char*)&$heap_165511)[116]' = 0
((char*)&$heap_165511)[12]' = 0
$heap_165512' = &$heap_165512
bytes_after(&$heap_165512)' = 120
$heap_165512' is allocated by malloc
$heap_165512' is allocated
bytes_before(&$heap_165512)' = 0
((char*)&$heap_165512)[16]' = 0
((char*)&$heap_165512)[20]' = 0
((char*)&$heap_165512)[4]' = &$heap_165512
((char*)&$heap_165512)[8]' = 0
((char*)&$heap_165512)[116]' = 0
((char*)&$heap_165512)[12]' = 0
bytes_after(&$heap_165513)' = 20
$heap_165513' is allocated by malloc
$heap_165513' is allocated
bytes_before(&$heap_165513)' = 0
((char*)&$heap_165513)[16]' = 0
((char*)&$heap_165513)[8]' = 0
((char*)&$heap_165513)[12]' = 0
bytes_after(&$heap_165514)' = 120
$heap_165514' is allocated by malloc
$heap_165514' is allocated
bytes_before(&$heap_165514)' = 0
((char*)&$heap_165514)[16]' = 0
((char*)&$heap_165514)[20]' = 0
((char*)&$heap_165514)[8]' = 0
((char*)&$heap_165514)[116]' = 0
((char*)&$heap_165514)[12]' = 0
$heap_165515' = 1
bytes_after(&$heap_165515)' = 124
$heap_165515' is allocated by malloc
bytes_before(&$heap_165515)' = 0
((char*)&$heap_165515)[44]' = pvmmydsig
((char*)&$heap_165515)[52]' = pvmudpmtu
((char*)&$heap_165515)[56]' = 2
((char*)&$heap_165515)[72]' = 1
((char*)&$heap_165515)[76]' = 1
((char*)&$heap_165515)[80]' = &$heap_165514
((char*)&$heap_165515)[8]' = &$heap_165516
((char*)&$heap_165515)[84]' = &$heap_165512
((char*)&$heap_165515)[92]' = &$heap_165511
((char*)&$heap_165515)[100]' = 1
((char*)&$heap_165515)[108]' = 1000
((char*)&$heap_165515)[112]' = &$heap_165513
((char*)&$heap_165515)[12]' = &$heap_165517
$heap_165516' = 112
bytes_after(&$heap_165516)' = 6
$heap_165516' is allocated by malloc
$heap_165516' is allocated
bytes_before(&$heap_165516)' = 0
strlen(&$heap_165516)' = 5
tocttou($heap_165516)' = tocttou(#string167)
$heap_165517' = *myarchname
bytes_after(&$heap_165517)' = strlen(myarchname) + 1
$heap_165517' is allocated by malloc
$heap_165517' is allocated
bytes_before(&$heap_165517)' = 0
strlen(&$heap_165517)' = strlen(myarchname)
tocttou($heap_165517)' = tocttou(*myarchname)
$heap_165518' = *hn
bytes_after(&$heap_165518)' = strlen(hn) + 1
$heap_165518' is allocated by malloc
$heap_165518' is allocated
bytes_before(&$heap_165518)' = 0
strlen(&$heap_165518)' = strlen(hn)
tocttou($heap_165518)' = tocttou(*hn)
hosts' = &$heap_165505
hp' = 0
i' = argc
lh' = $input_99324
mh' = $input_12
tmbuf.tm_sec' = &$unknown_732689
|