similar to: [LLVMdev] converting x86 instructions to LLVM instructions

Hi Timo, Thanks for commenting. I feel like I have to justify why I don't want to use QEMU, which is fine since my choice is not frozen actually. QEMU is much more than what I need for dynamically instrumenting software. My goal is automated testing to find bugs, which can quickly be intensive in term of computational load. Thus I am trying to get the smallest (and fastest) tool. Even using

* Timo Juhani Lindfors (timo.lindfors at iki.fi) wrote: > Hi, > > Alexandre Gouraud <alexandre.gouraud at enst-bretagne.fr> writes: > > if it does not already exists, could it mean it is a nonsense, then why? > > Why don't you compile your program directly to LLVM bitcode? - In security-testing you sometimes apply black boxing. I've had a similar idea

Alexandre Gouraud <alexandre.gouraud at enst-bretagne.fr> writes: > 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. You could also use valgrind to convert x86 to valgrind's IR and then write a tool to convert that IR to LLVM.

> > > Are there particular reasons why you want to translate to LLVM IR? > (E.g. 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 :

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

On Tue, Sep 29, 2009 at 14:21, Alexandre Gouraud <alexandre.gouraud at enst-bretagne.fr> wrote: > Hi Timo, > > Thanks for commenting. I feel like I have to justify why I don't want to use > QEMU, which is fine since my choice is not frozen actually. > > QEMU is much more than what I need for dynamically instrumenting software. > My goal is automated testing to find

[I don't know whether this is the appropriate list, if not please let me know to whom to write. I submitted this as a CUPS bug and they replied by asking me to contact the "Samba folks"? I guess that is you] Hi, I'm using a MacBook Pro with MacOS X 10.6.4 and am trying to print on my company's printer accessible via samba. Whenever I try to access the print server via

Perhaps someone can shed some light on the problem I'm having using rsync 2.4.6. I'm getting the following error: receiving file list ... done htdocs/acescounseling/logs/ htdocs/adihome/logs/ . . htdocs/coupons/logs/error_log htdocs/court/logs/combined_log htdocs/cowgirl/logs/combined_log htdocs/cowgirl/logs/error_log htdocs/cowgirl/logs/ssl_log Connection to nova closed by remote host.

Hi, what's the current state of being able to build simple analysis passes out-of-tree against only llvm headers and libraries with llvm-config? I see that clang and klee do not use llvm-config but for example rubinius does. Should both approaches be documented? Currently for example docs/WritingAnLLVMPass.html says "you need to create a new directory somewhere in the LLVM source

Hi all, I'm a beginner in LLVM. Currently, I want to implement a pass that generates a jump table. The entry in that table is a jump to some place (may be an instruction) in a basic block. I'm reading the JumpTable code in llvm 3.5, there is a table which contains jump entries to functions. In AsmPrinter::doFinalization function from file lib/CodeGen/AsmPrinter/AsmPrinter.cpp, it gets a

https://bugs.freedesktop.org/show_bug.cgi?id=59474 Priority: medium Bug ID: 59474 Assignee: nouveau at lists.freedesktop.org Summary: fedora 18 X server crashes after boot QA Contact: xorg-team at lists.x.org Severity: normal Classification: Unclassified OS: Solaris Reporter: dax at enst.fr

Is there a way to make a shading interpolation on an image plot? Something similar to matlab 'shading interp', I think it is called Gouraud shading. What I want is to make a image plot look nicer. with image() it looks very facetted, and I would like to make it look smoother. I've tried with interp.surface() in fields package but it (obviously) makes nan values at the borders and

Hello everyone, I am a novice with KLEE under LLVM. I am trying to build a KLEE project (on a new LLVM environment) and I have the following problem: echo Testing... Testing... echo There should be no assertion fails! There should be no assertion fails! klee -taint=direct taint_direct.o KLEE: output directory = "klee-out-8" klee: error: Cannot find linker input

Are there any "current" Linux distros that have installable packages for llvm, clang, nad klee? I am struggling to get klee built and need a working klee setup asap. Thanks in advance, Donald

Hi, The klee library directory is determined at compile time and cannot be changed afterwards. Have a look at tools/klee/main.cpp to see how it is computed. I usually use Klee without any install step, right from the build directory. This has never given me the error you see. Hope this helps, Jonas On Wed, Jun 5, 2013 at 5:26 PM, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at

Hi, I'm currently trying to find and fix memory leaks (compiling with ``-fsanitize=address``) in the KLEE tool [1] an having found some leaks and I'm having trouble suppressing them. I'm trying to suppress them using the ``-fsanitize-blacklist=blacklist.txt`` option as documented at [2]. I'm using Clang 3.7 ( Arch Linux package 3.7.0-6). The sort of reported leaks I see are ```

Hello, In my reading over the last couple of days, I have read that in order for klee to work with "native" Linux programs, I need to install the uClibc posix support for klee. I am not finding the uClibc source in the llvm svn repository anywhere. Is this still necessary for testing native Linux applications, and if so, where do I get the uClibc source to compile? Thanks in

Dear Developers, I am a Master's student at the ECE department of the University of Florida, USA.​​ For my research project, supervised by Prof. Mark Tehranipoor<http://tehranipoor.ece.ufl.edu/> and Prof. Farimah Farahmandi<http://farimah.ece.ufl.edu/>, I need to use Clang LLVM DataflowSanitizer library in KLEE. However, I have faced some difficulties (explained below) while

Hi, when reporting http://llvm.org/bugs/show_bug.cgi?id=5104 I spent quite a while trying to figure out what passes are used by "-O1" so that I could give this list to bugpoint. It turns out -debug-pass=Arguments is mentioned in docs/HowToSubmitABug.html but under a chapter titled "Compile-time optimization bugs" which I naively ignored since my bug was not a compile-time

Hello, probably it is too late to be involved in GSoC, by I want discuss following idea: KLEE can generate tests only for main function level without any modifications of original code. It passes args specified by command line. I want implement automatic testcase generation for any imported function from tested code without its modification. First: parsing test code would collect input/output