similar to: [LLVMdev] uCLibc support for klee

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, We're currently upgrading KLEE to work with LLVM >=3.3 and we've hit a problem. It seems r172749 removed support for linking a bitcode archive into a module. KLEE unfortunately depends on this to link in its runtime ( which amongst other things provides a C library [5] ). A first attempt at linking in a bitcode archive ourselves can be seen in [1]. This approach does not work

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

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

On Tue, Dec 17, 2013 at 10:31:31AM +0000, Daniel Liew wrote: > Hi, > > We're currently upgrading KLEE to work with LLVM >=3.3 and we've hit a problem. > > It seems r172749 removed support for linking a bitcode archive into a > module. KLEE unfortunately depends on this to link in its runtime ( > which amongst other things provides a C library [5] ). > > A

Hi, I am trying to evaluate how complex would be to modify KLEE ( http://klee.llvm.org/ ) so that it can run LLVM bitcode compiled from Java code obtained with vmjc (from the VMKIT project). Your feedback will be very appreciated. I am familiar with KLEE but I would like to know more about VMKIT, so please point me to the right docs/source code if appropriate. After a quick look over

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

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

Hi, this commit https://github.com/dovecot/core/commit/c9d76e2baf653fa5504d6849e5c1aae32eff3c53 added code which can not be compiled with uclibc-ng 1.0.26 using buildroot: make[3]: Entering directory '/home/bernd/buildroot/br4/output/build/dovecot-2.2.33.2/src/lib-test' /bin/bash ../../libtool --tag=CC --mode=compile

Hi all, I'm new to llvm and klee. Now I'm trying to build up coreutil with klee. Following the steps online (http://klee.llvm.org/TestingCoreutils.html), I went to step 3 and stuck. When I try to run: klee --libc=uclibc --posix-runtime ./cat.bc -version Error occurred like: klee: error: Cannot find linker input '/lib/libc.a' klee: ModuleUtil.cpp:42: llvm::Module*

On Wed, 12 Sep 2007, Dound wrote: > I am trying compile a libc with llvm (currently uclibc). I am able to > compile uclibc by changing the Rules.mak to use llvm-gcc, llvm-ar, llvm-ad, > and not using strip. (I also use the --emit-llvm flag for llvm-gcc). When > I run llvm-nm on libc.a (or try to use libc.a) I run into problems. For > example, strlen is not defined -- llvm-nm

On 9/12/07, Chris Lattner <sabre at nondot.org> wrote: > > On Wed, 12 Sep 2007, Dound wrote: > > I am trying compile a libc with llvm (currently uclibc). I am able to > > compile uclibc by changing the Rules.mak to use llvm-gcc, llvm-ar, > llvm-ad, > > and not using strip. (I also use the --emit-llvm flag for > llvm-gcc). When > > I run llvm-nm on

On Sep 12, 2007, at 3:56 PM, Dound wrote: > > > On 9/12/07, Chris Lattner <sabre at nondot.org > wrote: > On Wed, 12 Sep 2007, Dound wrote: > > I am trying compile a libc with llvm (currently uclibc). I am > able to > > compile uclibc by changing the Rules.mak to use llvm-gcc, llvm- > ar, llvm-ad, > > and not using strip. (I also use the --emit-llvm

I am trying compile a libc with llvm (currently uclibc). I am able to compile uclibc by changing the Rules.mak to use llvm-gcc, llvm-ar, llvm-ad, and not using strip. (I also use the --emit-llvm flag for llvm-gcc). When I run llvm-nm on libc.a (or try to use libc.a) I run into problems. For example, strlen is not defined -- llvm-nm shows that strlen.os has __GI_strlen while if I compile with

hello, i try to compile * in uclibc enviroment (uclibc 0.9.19 ), but still getting following error does anyone know how to solve it ? regards Marian --------- gcc -g -o asterisk -rdynamic io.o sched.o logger.o frame.o loader.o config.o channel.o translate.o file.o say.o pbx.o cli.o md5.o term.o ulaw.o alaw.o callerid.o fskmodem.o image.o app.o cdr.o tdd.o acl.o rtp.o manager.o asterisk.o

ok i have another problem - howto run asterisk as a daemon ( fork ) in uclibc enviroment ? uClinux can only do vfork() a i think this is problem... does anybody know how to solve this ? regards Marian -- SUNTEQ s. r. o. Bojnicka cesta 35 # Prievidza # 971 04 # Slovak republic Tel: +421-46-5430 754 # Fax: +421-46-5439 144 http://www.sunteq.sk/

> Excuse me for the diversion but, is that interpreter of LLVM IR available > somewhere? Details on how it works, performance, etc? I'd be interested Yes it is available. The tool (KLEE [1]) is actually a lot more than an interpreter (although it can be used as one). KLEE allows you to mark certain variables (e.g. program inputs) as "symbolic". What this means is that the

Is there a possibility of accepting a KLEE project as an LLVM GSoC project? -- Aleksander "Alistra" Balicki email: balicki.aleksander at gmail.com jabber: wszystkie.inne.byly.zajete at gmail.com

I'm trying to cross-compile Samba 3.0.21a to run on mipsel (using uClibc). It fails at some point however, and I can't spot the problem: # ./configure --target=mipsel-linux --host=mipsel-linux --build=i386-pc-linux-gnu && make (...) Compiling lib/sendfile.c Compiling lib/time.c lib/time.c: In function `GetTimeOfDay': lib/time.c:66: error: too few arguments to function

hello, i am trying to build R on alpine/gentoo with uclibc and it fails with the following error msg: connections.c: In function 'Rconn_fgetc': connections.c:3184:11: error: expected identifier before '(' token connections.c:3186:15: error: expected identifier before '(' token make[3]: *** [connections.o] Error 1 here is the whole build log :http://bpaste.net/show/39955/