|
Source | Language: C |
Show LegendHide Legend
|
|
| Preconditions |
&$unknown_1150132 != ((char*)&((char*)*mp[1].m_enc)[8])[16]
&$unknown_1150132 != 0
((char*)mp[1].m_enc)[8] != mp[1].m_enc
((char*)&$unknown_1150133)[8] != mp[1].m_enc
numpmsgs = 0
|
| Postconditions |
((char*)&((char*)((char*)$unknown_1150133)[8])[8])[12]' = ((char*)&((char*)$unknown_1150133)[8])[12]
((char*)&((char*)((char*)$unknown_1150133)[8])[12])[8]' = ((char*)&((char*)$unknown_1150133)[8])[8]
((char*)((char*)$unknown_1150133)[8])[4]' = ((char*)&((char*)$unknown_1150133)[8])[4]
((char*)&((char*)$unknown_1150133)[8])[4]' = 0
((char*)&((char*)$unknown_1150133)[8])[8]' = 0
((char*)&((char*)$unknown_1150133)[8])[12]' = 0
((char*)((char*)$unknown_1150133)[8])[4]' = ((char*)$unknown_1150133)[8]
((char*)$unknown_1150133)[8]' = 0
((char*)$unknown_1150133)[8]' is freed
cc' = 0
cid' = &$unknown_1150132
cp' = ((char*)&$unknown_1150133)[8]
errno' != 0
ff' = 1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = 0
mp' = 0
mp2' = 0
|
