[angr] libvex.a for pyvex_static.so

yixiaoxian yixiaoxian at gmail.com
Tue May 10 07:15:20 PDT 2016


Sorry. I made a mistake, modifying some instructions in pyrex_static.c.
Now it goes well.


Thanks a lot.


yixiaoxian


原始邮件
发件人:Yanzardus at gmail.com
收件人:yixiaoxianyixiaoxian at gmail.com
抄送:Fish Wangfish at cs.ucsb.edu; angrangr at lists.cs.ucsb.edu
发送时间:2016年5月10日(周二) 04:46
主题:Re: [angr] libvex.a for pyvex_static.so


Hello,


That's weird... That exact thing works for me:


In [1]: import pyvex, archinfo


In [2]: irsb = pyvex.IRSB("\x90\x90\x90\x90\x90", 0x400400, archinfo.Arc
archinfo.Arch     archinfo.ArchARMEL  archinfo.ArchMIPS64
archinfo.ArchAArch64 archinfo.ArchARMHF  archinfo.ArchPPC32
archinfo.ArchAMD64  archinfo.ArchError  archinfo.ArchPPC64
archinfo.ArchARM   archinfo.ArchMIPS32  archinfo.ArchX86


In [2]: irsb = pyvex.IRSB("\x90\x90\x90\x90\x90", 0x400400, archinfo.ArchAMD64())


In [3]: irsb.pp()
IRSB {
 t0:Ity_I64


 00 | IR-NoOp
 01 | IR-NoOp
 02 | IR-NoOp
 03 | IR-NoOp
 04 | IR-NoOp
 05 | IR-NoOp
 06 | IR-NoOp
 07 | IR-NoOp
 08 | IR-NoOp
 09 | IR-NoOp
 10 | IR-NoOp
 11 | IR-NoOp
 12 | IR-NoOp
 13 | IR-NoOp
 14 | IR-NoOp
 15 | ------ IMark(0x400400, 1, 0) ------
 16 | PUT(rip) = 0x0000000000400401
 17 | ------ IMark(0x400401, 1, 0) ------
 18 | PUT(rip) = 0x0000000000400402
 19 | ------ IMark(0x400402, 1, 0) ------
 20 | PUT(rip) = 0x0000000000400403
 21 | ------ IMark(0x400403, 1, 0) ------
 22 | PUT(rip) = 0x0000000000400404
 23 | ------ IMark(0x400404, 1, 0) ------
 24 | PUT(rip) = 0x0000000000400405
 25 | t0 = GET:I64(rip)
 NEXT: PUT(rip) = t0; Ijk_Boring
}


In [4]:


Same environment here. What was the process you followed to install pyvex?


Thanks!
- Yan


On Mon, May 9, 2016 at 11:25 AM, yixiaoxian yixiaoxian at gmail.com wrote:



Thank you for answering.
I compile pyvex_static.so with the vex from git, but getting the following results…


My environment is Ubuntu 14.04 64bit.


Thank you.


yixiaoxian


原始邮件
发件人:Fish Wangfish at cs.ucsb.edu
收件人:'yixiaoxian'yixiaoxian at gmail.com; angrangr at lists.cs.ucsb.edu
发送时间:2016年5月10日(周二) 00:34
主题:RE: [angr] libvex.a for pyvex_static.so


You need vex from here: https://github.com/angr/vex

Best,
Fish

From: angr [mailto:angr-bounces at lists.cs.ucsb.edu] On Behalf Of yixiaoxian
Sent: Monday, May 9, 2016 11:06 PM
To: angr at lists.cs.ucsb.edu
Subject: [angr] libvex.a for pyvex_static.so


Hello,
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.

So what is libvex.a and how can I get it?

Thanks.

yixiaoxian

_______________________________________________
 angr mailing list
 angr at lists.cs.ucsb.edu
 https://lists.cs.ucsb.edu/mailman/listinfo/angr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cs.ucsb.edu/pipermail/angr/attachments/20160510/0e6f9e58/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: e2bdc3aa-280e-4d7a-ba1b-fc0bd639a462-image.png
Type: application/octet-stream
Size: 229314 bytes
Desc: not available
URL: <http://lists.cs.ucsb.edu/pipermail/angr/attachments/20160510/0e6f9e58/attachment-0001.obj>


More information about the angr mailing list