|
Source | Language: C |
Show LegendHide Legend
|
| | 274 | | | | upkstralloc(mp, ss) | | | 275 | | | | struct pmsg *mp; | | | 276 | | | | char **ss; | | | 277 | | | | { | | | 278 | | | | int cc; | | | 279 | | | | int l; | | | 280 | | | | | | | 281 | | | | if (!(cc = (mp->m_codef->dec_int) (mp, (void*)&l, 1, 1, sizeof(int)))) { | | | 282 | | | | if (l <= 0) | | | 283 | | | | cc = PvmNoData;
| | | 284 | | | | else { | | | 285 | | | | *ss = TALLOC(l, char, "ustr");
| | | 286 | | | | if ((cc = (mp->m_codef->dec_byte) (mp, (void*)*ss, l, 1, 1)) < 0) { | | | 287 | | | | PVM_FREE(*ss);
| | | 288 | | | | *ss = 0; | | | 289 | | | | } | | | 290 | | | | } | | | 291 | | | | } | | | 292 | | | | return cc; | | buf is uninitialized | 293 | | | | } |
|
| Preconditions |
&$unknown_633547 >= 1
&$unknown_633548 = &$unknown_633549 - 136
&$unknown_633549 >= 4232
&$unknown_633556 != 0
hosts->ht_last = 1
((char*)&$heap_37607)[8] >= 0
numpmsgs = 0
|
| Postconditions |
((char*)$unknown_633548)[8]' = ((char*)&$unknown_633548)[8]
((char*)$unknown_633550)[8]' = ((char*)&$unknown_633550)[8]
((char*)$unknown_633548)[8]' = $unknown_633548
((char*)$unknown_633550)[8]' = $unknown_633550
$unknown_633549' = &freepmsgs.m_link
((char*)&$unknown_633549)[8]' = ((char*)&$unknown_633548)[8]
$unknown_633550' = &$unknown_633550
((char*)&$unknown_633550)[16]' = 0
((char*)&$unknown_633550)[24]' = 0
((char*)&$unknown_633550)[32]' = 0
((char*)&$unknown_633550)[36]' = 0
((char*)&$unknown_633550)[40]' = 1
((char*)&$unknown_633550)[42]' = 1
((char*)&$unknown_633550)[42]' = 0
((char*)&$unknown_633550)[60]' = 0
((char*)&$unknown_633550)[8]' = &$unknown_633550
count' = &$unknown_633547 - 1
freefrags.fr_link' = &$unknown_633550
freepmsgs.m_link' = &$unknown_633548
freepmsgs.m_rlink' = &$unknown_633548 + 136
$heap_37605' = 0
bytes_after(&$heap_37605)' = 40
$heap_37605' is allocated by malloc
$heap_37605' is allocated
bytes_before(&$heap_37605)' = 0
strlen(&$heap_37605)' = 0
((char*)&$heap_37605)[32]' = &$heap_37606
((char*)&$heap_37605)[4]' = 1
$heap_37606' = 0
bytes_after(&$heap_37606)' = 16
$heap_37606' is allocated by malloc
$heap_37606' is allocated
bytes_before(&$heap_37606)' = 0
strlen(&$heap_37606)' = 0
$heap_37607' = 0
bytes_after(&$heap_37607)' = 40
$heap_37607' is allocated by malloc
$heap_37607' is allocated
bytes_before(&$heap_37607)' = 0
strlen(&$heap_37607)' = 0
hp' = $param_1
ht_del' = &$heap_37605
ht_save' = &$heap_37607
mp' = $param_2
mp2' = &$unknown_633548
mp3' = &$unknown_633548
numpmsgs' = 48
|