search for: ndss2008

.... the authors of the paper wanted to be able to use KLEE with > machine code) > > Hi Tilmann 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 : http://research.microsoft.com/en-us/um/people/pg/public_psfiles/ndss2008.pdf 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. 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 t...

Hi Alexandre, On Tue, Sep 29, 2009 at 12:14 PM, Alexandre Gouraud <alexandre.gouraud at enst-bretagne.fr> wrote: > I am studying a paper (cf below) that says they have written a piece of code > to translate x86 instructions to LLVM. I am interested in this, and would > like to write the same kind of thing, but not using QEMU as they claim in > the paper, but rather with my own

Dear all, I am studying a paper (cf below) that says they have written a piece of code to translate x86 instructions to LLVM. I am interested in this, and would like to write the same kind of thing, but not using QEMU as they claim in the paper, but rather with my own pin tool. >From what I have red until now on LLVM, and my relative poor knowledge of assembly, I have the feeling that this is