|
Source | Language: C |
Show LegendHide Legend
|
| | 246 | | | | upkstr(mp, s, mlen) | | | 247 | | | | struct pmsg *mp; | | | 248 | | | | char *s; | | | 249 | | | | int mlen; | | | 250 | | | | { | | | 251 | | | | int cc; | | | 252 | | | | int l; | | | 253 | | | | | | | 254 | | | | if (!(cc = (mp->m_codef->dec_int) (mp, (void*)&l, 1, 1, sizeof(int)))) { | | | 255 | | | | if (l <= 0) | | | 256 | | | | cc = PvmNoData;
| | | 257 | | | | else if (l <= mlen) | | | 258 | | | | cc = (mp->m_codef->dec_byte) (mp, (void*)s, l, 1, 1); | | | 259 | | | | else | | | 260 | | | | cc = PvmNoMem;
| | | 261 | | | | } | | | 262 | | | | return cc; | | buf is uninitialized | 263 | | | | } |
|
| Preconditions |
&$unknown_454615 >= 1
&$unknown_454617 >= 1
&$unknown_454619 >= 1
&$unknown_454625 != 0
hosts->ht_last = 1
((char*)&$heap_31420)[8] >= -1
|
| Postconditions |
count' = &$unknown_454615 - 1
bytes_after(&$heap_31420)' = 40
$heap_31420' is allocated by malloc
bytes_before(&$heap_31420)' = 0
strlen(&$heap_31420)' = 0
((char*)&$heap_31420)[20]' = hosts->ht_local
((char*)&$heap_31420)[24]' = 0
((char*)&$heap_31420)[8]' = ((char*)&$heap_31420)[8] + 1
$heap_31421' = 1
bytes_after(&$heap_31421)' = 200
$heap_31421' is allocated by malloc
$heap_31421' is allocated
bytes_before(&$heap_31421)' = 0
strlen(&$heap_31421)' = 0
((char*)&$heap_31421)[136]' = &$heap_31425
((char*)&$heap_31421)[152]' = 1
((char*)&$heap_31421)[16]' = &$heap_31427
((char*)&$heap_31421)[168]' = 1000
((char*)&$heap_31421)[176]' = &$heap_31422
((char*)&$heap_31421)[8]' = &$heap_31426
((char*)&$heap_31421)[88]' = 2
((char*)&$heap_31421)[104]' = 1
((char*)&$heap_31421)[108]' = 1
((char*)&$heap_31421)[112]' = &$heap_31424
((char*)&$heap_31421)[120]' = &$heap_31423
$heap_31422' = &$heap_31422
bytes_after(&$heap_31422)' = 32
$heap_31422' is allocated by malloc
$heap_31422' is allocated
bytes_before(&$heap_31422)' = 0
((char*)&$heap_31422)[16]' = 0
((char*)&$heap_31422)[20]' = 0
((char*)&$heap_31422)[24]' = 0
((char*)&$heap_31422)[8]' = &$heap_31422
bytes_after(&$heap_31423)' = 184
$heap_31423' is allocated by malloc
$heap_31423' is allocated
bytes_before(&$heap_31423)' = 0
((char*)&$heap_31423)[16]' = 0
((char*)&$heap_31423)[176]' = 0
((char*)&$heap_31423)[24]' = 0
((char*)&$heap_31423)[32]' = 0
((char*)&$heap_31423)[40]' = 0
bytes_after(&$heap_31424)' = 184
$heap_31424' is allocated by malloc
$heap_31424' is allocated
bytes_before(&$heap_31424)' = 0
((char*)&$heap_31424)[16]' = 0
((char*)&$heap_31424)[176]' = 0
((char*)&$heap_31424)[24]' = 0
((char*)&$heap_31424)[32]' = 0
((char*)&$heap_31424)[40]' = 0
$heap_31425' = &$heap_31425
bytes_after(&$heap_31425)' = 184
$heap_31425' is allocated by malloc
$heap_31425' is allocated
bytes_before(&$heap_31425)' = 0
((char*)&$heap_31425)[16]' = 0
((char*)&$heap_31425)[176]' = 0
((char*)&$heap_31425)[24]' = 0
((char*)&$heap_31425)[32]' = 0
((char*)&$heap_31425)[40]' = 0
((char*)&$heap_31425)[8]' = &$heap_31425
bytes_after(&$heap_31426)' = &$unknown_454617
$heap_31426' is allocated by malloc
bytes_before(&$heap_31426)' = 0
bytes_after(&$heap_31427)' = &$unknown_454619
$heap_31427' is allocated by malloc
bytes_before(&$heap_31427)' = 0
hp' = &$heap_31421
i' = 0
mp' = $param_2
newhosts' = &$heap_31420
p' = &buf[0]
s' = &buf[0]
sad' = &$heap_31421 + 88
|