<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
Are there particular reasons why you want to translate to LLVM IR?<br>
(E.g. the authors of the paper wanted to be able to use KLEE with<br>
machine code)<br>
<br>
</blockquote></div>Hi Tilmann<br><br>I want to do the same. Using KLEE with machine code. With such a framework, I could try to do the same that what is explained here : <a href="http://research.microsoft.com/en-us/um/people/pg/public_psfiles/ndss2008.pdf">http://research.microsoft.com/en-us/um/people/pg/public_psfiles/ndss2008.pdf</a><br>

But as you can deduce from the url, nothing is open source there. For this I need an IR I can work on easily, and I think LLVM is a good candidate. <br><br>What about your llvm-qemu implementation? You are the author aren't you? I could not understand from the progress status if this x86 to LLVM translation worked or not. <br>

<br>-- <br>Alexandre<br>