[angr] libvex.a for pyvex_static.so

Yan zardus at gmail.com
Mon May 9 13:46:39 PDT 2016


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 Wang<fish at cs.ucsb.edu>
> *收件人:* 'yixiaoxian'<yixiaoxian at gmail.com>; angr<angr 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/20160509/b2df4368/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/20160509/b2df4368/attachment-0001.obj>


More information about the angr mailing list