<div dir="ltr"><div dir="auto">Awesome, thanks! <div dir="auto"><br></div><div>I'll try to fill some details in the manual.</div><div><br></div><div>Btw, I noticed that there is also a PANDA_CB_BEFORE_REPLAY_LOADVM listed. This seems to be complementary to PANDA_CB_AFTER_MACHINE_INIT. If this is the case, maybe their names should be "harmonized"?</div><div><br></div><div>Or maybe <span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">PANDA_CB_BEFORE_REPLAY_LOADVM should be removed since it only occurs in header and markdown files? (There may be another pending commit somewhere for it.)</span></div><div><br></div><div>M.</div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Jan 31, 2018 6:50 PM, "Brendan Dolan-Gavitt" <<a href="mailto:brendandg@nyu.edu" target="_blank">brendandg@nyu.edu</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Ok, it's in master now. Still needs docs though.</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 31, 2018 at 10:50 AM, Brendan Dolan-Gavitt <span dir="ltr"><<a href="mailto:brendandg@nyu.edu" target="_blank">brendandg@nyu.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Yes, unfortunately. I believe this is because init_plugin is called before the QEMU machine has been set up, so the taint system can't create things like the shadow memory (since there's no RAM yet). I have a patch that adds a callback for after_machine_init, at which point it's safe to enable taint – I will try to get this upstreamed shortly...<div class="gmail_extra"><br><div class="gmail_quote"><div><div class="gmail-m_7369432514168927661m_-4756719456627359481h5">On Wed, Jan 31, 2018 at 10:44 AM, Manolis Stamatogiannakis <span dir="ltr"><<a href="mailto:mstamat@gmail.com" target="_blank">mstamat@gmail.com</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div class="gmail-m_7369432514168927661m_-4756719456627359481h5"><div dir="ltr">I've found that taint2_enable_taint() segfaults if called from within init_plugin().<div>Is this the expected behaviour?</div><span class="gmail-m_7369432514168927661m_-4756719456627359481m_-4184286318371758901m_-8156247815707706872HOEnZb"><font color="#888888"><div><br></div><div>M.</div></font></span></div>
<br></div></div>______________________________<wbr>_________________<br>
panda-users mailing list<br>
<a href="mailto:panda-users@mit.edu" target="_blank">panda-users@mit.edu</a><br>
<a href="http://mailman.mit.edu/mailman/listinfo/panda-users" rel="noreferrer" target="_blank">http://mailman.mit.edu/mailman<wbr>/listinfo/panda-users</a><br>
<br></blockquote></div><span class="gmail-m_7369432514168927661m_-4756719456627359481HOEnZb"><font color="#888888"><br><br clear="all"><div><br></div>-- <br><div class="gmail-m_7369432514168927661m_-4756719456627359481m_-4184286318371758901m_-8156247815707706872gmail_signature">Brendan Dolan-Gavitt<br>Assistant Professor, Department of Computer Science and Engineering<br>NYU Tandon School of Engineering</div>
</font></span></div></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail-m_7369432514168927661m_-4756719456627359481gmail_signature">Brendan Dolan-Gavitt<br>Assistant Professor, Department of Computer Science and Engineering<br>NYU Tandon School of Engineering</div>
</div>
</blockquote></div></div>
</div>