<div dir="ltr">Hello,<div><br></div><div>That's weird... That exact thing works for me:</div><div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><font face="monospace, monospace"><br></font></div><div><div><font face="monospace, monospace">In [1]: import pyvex, archinfo</font></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><font face="monospace, monospace">In [2]: irsb = pyvex.IRSB("\x90\x90\x90\x90\x90", 0x400400, archinfo.Arc</font></div></div><div><div><font face="monospace, monospace">archinfo.Arch         archinfo.ArchARMEL    archinfo.ArchMIPS64</font></div></div><div><div><font face="monospace, monospace">archinfo.ArchAArch64  archinfo.ArchARMHF    archinfo.ArchPPC32</font></div></div><div><div><font face="monospace, monospace">archinfo.ArchAMD64    archinfo.ArchError    archinfo.ArchPPC64</font></div></div><div><div><font face="monospace, monospace">archinfo.ArchARM      archinfo.ArchMIPS32   archinfo.ArchX86</font></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><font face="monospace, monospace">In [2]: irsb = pyvex.IRSB("\x90\x90\x90\x90\x90", 0x400400, archinfo.ArchAMD64())</font></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><font face="monospace, monospace">In [3]: irsb.pp()</font></div></div><div><div><font face="monospace, monospace">IRSB {</font></div></div><div><div><font face="monospace, monospace">   t0:Ity_I64</font></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><font face="monospace, monospace">   00 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   01 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   02 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   03 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   04 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   05 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   06 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   07 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   08 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   09 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   10 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   11 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   12 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   13 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   14 | IR-NoOp</font></div></div><div><div><font face="monospace, monospace">   15 | ------ IMark(0x400400, 1, 0) ------</font></div></div><div><div><font face="monospace, monospace">   16 | PUT(rip) = 0x0000000000400401</font></div></div><div><div><font face="monospace, monospace">   17 | ------ IMark(0x400401, 1, 0) ------</font></div></div><div><div><font face="monospace, monospace">   18 | PUT(rip) = 0x0000000000400402</font></div></div><div><div><font face="monospace, monospace">   19 | ------ IMark(0x400402, 1, 0) ------</font></div></div><div><div><font face="monospace, monospace">   20 | PUT(rip) = 0x0000000000400403</font></div></div><div><div><font face="monospace, monospace">   21 | ------ IMark(0x400403, 1, 0) ------</font></div></div><div><div><font face="monospace, monospace">   22 | PUT(rip) = 0x0000000000400404</font></div></div><div><div><font face="monospace, monospace">   23 | ------ IMark(0x400404, 1, 0) ------</font></div></div><div><div><font face="monospace, monospace">   24 | PUT(rip) = 0x0000000000400405</font></div></div><div><div><font face="monospace, monospace">   25 | t0 = GET:I64(rip)</font></div></div><div><div><font face="monospace, monospace">   NEXT: PUT(rip) = t0; Ijk_Boring</font></div></div><div><div><font face="monospace, monospace">}</font></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><font face="monospace, monospace">In [4]: </font></div></div></blockquote></div><div><br></div><div>Same environment here. What was the process you followed to install pyvex?</div><div><br></div><div>Thanks!</div><div>- Yan</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, May 9, 2016 at 11:25 AM, yixiaoxian <span dir="ltr"><<a href="mailto:yixiaoxian@gmail.com" target="_blank">yixiaoxian@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="font:14px/1.5 'Lucida Grande','\005fae\008f6f\0096c5\009ed1';color:#333"><p style="font:13px/1.5 'Verdana';margin:0"><br></p><p style="font:13px/1.5 'Verdana';margin:0">Thank you for answering.</p><p style="font:13px/1.5 'Verdana';margin:0">I compile pyvex_static.so with the vex from git, but getting the following results…</p><p style="font:13px/1.5 'Verdana';margin:0"><img src="cid:3EF86DB18F5B67F846DCACAF808DC230" style="width:715px;min-height:376px"></p><span style="font:14px/1.5 'Lucida Grande';color:#333"><div><span style="font:14px/1.5 'Lucida Grande';color:#333"><br></span></div><div><span style="font:14px/1.5 'Lucida Grande';color:#333">My environment is Ubuntu 14.04 64bit.</span></div><div><span style="font:14px/1.5 'Lucida Grande';color:#333"><br></span></div><div><span style="font:14px/1.5 'Lucida Grande';color:#333">Thank you.</span></div><div><span style="font:14px/1.5 'Lucida Grande';color:#333"><br></span></div><div><span style="font:14px/1.5 'Lucida Grande';color:#333">yixiaoxian</span></div><br></span><div style="font:12px/1.5 'Lucida Grande';padding:2px 0 2px 0"><span style="color:#333;text-decoration:line-through;white-space:pre-wrap">                            </span> 原始邮件 <span style="color:#333;text-decoration:line-through;white-space:pre-wrap">                            </span></div><div style="font:12px/1.5 'Lucida Grande';background:#efefef;color:#666666;padding:8px"><div><b style="color:#999">发件人:</b> Fish Wang<<a href="mailto:fish@cs.ucsb.edu" target="_blank">fish@cs.ucsb.edu</a>></div><div><b style="color:#999">收件人:</b> 'yixiaoxian'<<a href="mailto:yixiaoxian@gmail.com" target="_blank">yixiaoxian@gmail.com</a>>; angr<<a href="mailto:angr@lists.cs.ucsb.edu" target="_blank">angr@lists.cs.ucsb.edu</a>></div><div><b style="color:#999">发送时间:</b> 2016年5月10日(周二) 00:34</div><div><b style="color:#999">主题:</b> RE: [angr] libvex.a for pyvex_static.so</div></div><div><div class="h5"><br><div style="font:14px/1.5 'Lucida Grande';color:#333"><div lang="ZH-CN" link="#0563C1" vlink="#954F72"><div><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"Calibri",sans-serif;color:#1f497d">You need vex from here: <a href="https://github.com/angr/vex" target="_blank">https://github.com/angr/vex</a><u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"Calibri",sans-serif;color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"Calibri",sans-serif;color:#1f497d">Best,<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"Calibri",sans-serif;color:#1f497d">Fish<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"Calibri",sans-serif;color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif">From:</span></b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif"> angr [mailto:<a href="mailto:angr-bounces@lists.cs.ucsb.edu" title="mailto:angr-bounces@lists.cs.ucsb.edu" target="_blank">angr-bounces@lists.cs.ucsb.edu</a>] <b>On Behalf Of </b>yixiaoxian<br><b>Sent:</b> Monday, May 9, 2016 11:06 PM<br><b>To:</b> <a href="mailto:angr@lists.cs.ucsb.edu" title="mailto:angr@lists.cs.ucsb.edu" target="_blank">angr@lists.cs.ucsb.edu</a><br><b>Subject:</b> [angr] libvex.a for pyvex_static.so<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p><div><div><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"\005fae\008f6f\0096c5\009ed1",sans-serif;color:#333333"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"\005fae\008f6f\0096c5\009ed1",sans-serif;color:#333333">Hello,<u></u><u></u></span></p></div><div><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"\005fae\008f6f\0096c5\009ed1",sans-serif;color:#333333">I would like to compile pyrex_static.so by myself. I found, form the Makefile in pyrex_c, libvex.a is needed, but I have no idea how to get the library file. I though it is just a .a file compiled in the folder VEX from valgrind. I replaced the libvex.a with my own .a files (e.g. libvex-x86-linux.a), the resulting pyrex_staic.so coulld not run well.<u></u><u></u></span></p></div><div><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"\005fae\008f6f\0096c5\009ed1",sans-serif;color:#333333"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"\005fae\008f6f\0096c5\009ed1",sans-serif;color:#333333">So what is libvex.a and how can I get it?<u></u><u></u></span></p></div><div><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"\005fae\008f6f\0096c5\009ed1",sans-serif;color:#333333"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"\005fae\008f6f\0096c5\009ed1",sans-serif;color:#333333">Thanks.<u></u><u></u></span></p></div><div><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"\005fae\008f6f\0096c5\009ed1",sans-serif;color:#333333"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"\005fae\008f6f\0096c5\009ed1",sans-serif;color:#333333">yixiaoxian<u></u><u></u></span></p></div></div></div></div>
</div></div></div></div><br>_______________________________________________<br>
angr mailing list<br>
<a href="mailto:angr@lists.cs.ucsb.edu">angr@lists.cs.ucsb.edu</a><br>
<a href="https://lists.cs.ucsb.edu/mailman/listinfo/angr" rel="noreferrer" target="_blank">https://lists.cs.ucsb.edu/mailman/listinfo/angr</a><br>
<br></blockquote></div><br></div>