can vex ir be compiled into executable file?

[windy1946]

I haved seem some docs say that vex ir can be translate into a binary file. But i don't know how to to it.
i want a translation can be done, like this, "X86→ vex IR → X86".
how can i do it?

[rhelmot]

Pyvex does not have the facilities to use libvex's just in time compiler. For that use case specifically, you probably want to write a valgrind tool.

…

On Thu, Apr 11, 2019 at 11:48 PM wi ***@***.***> wrote: I haved seem some docs say that vex ir can be translate into a binary file. But i don't know how to to it. i want a translation can be done, like this, "X86→ vex IR → X86". how can i do it? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#191>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ACYg9SGpz8Q4N8OPSyxQGdNBilwi-gwFks5vgAIZgaJpZM4crRfG> .

[windy1946]

Pyvex does not have the facilities to use libvex's just in time compiler. For that use case specifically, you probably want to write a valgrind tool.
…
On Thu, Apr 11, 2019 at 11:48 PM wi @.***> wrote: I haved seem some docs say that vex ir can be translate into a binary file. But i don't know how to to it. i want a translation can be done, like this, "X86→ vex IR → X86". how can i do it? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#191>, or mute the thread https://github.com/notifications/unsubscribe-auth/ACYg9SGpz8Q4N8OPSyxQGdNBilwi-gwFks5vgAIZgaJpZM4crRfG .

do you know how to make it cometrue, translating vex ir into binary file and make it executable.
Thanks.

[rhelmot]

There is not a tool to do that in existence.