Re: [klee-dev] KLEE unable to load a symbol

Hi Marko, just to be sure that everything works as expected, have you tried to run it (with your infrastructure) on Coreutils? Since we know that KLEE works on those programs, it might be a good cross-checking experiment. Best, Andrea > On 27 May 2016, at 18:44, Marko Dimjašević

Re: [klee-dev] "search" text box in this page does not work

Please use this website: http://mailman.ic.ac.uk/pipermail/klee-dev/ Andrea > On 19 Mar 2016, at 09:15, Sumit Kumar wrote: > > "search" text box in this page does not work: > > http://klee-dev.keeda.stanford.narkive.com/ >

Re: [klee-dev] Asking for Help about Klee3.4 on docker

Hi Jiarui, in the first case you are running extract-bc on the wrong object: extract-bc must be run on the executable (base64) and not on the object file. In the second case the problem is that you are running configure with wllvm without specifying LLVM_COMPILER=clang (configure: error: C

Re: [klee-dev] Asking for Help about Klee3.4 on docker

cking for mawk... mawk > > checking whether make sets $(MAKE)... yes > > checking for style of include used by make... GNU > > checking for gcc... CC=wllvm > > checking for C compiler default output file name... > > configure: error: C compiler cannot c

Re: [klee-dev] Cannot compile Coreutils 6.10 inside KLEE Docker image

Hi Thuan, the failure only is not enough to understand the issue. Can you please share some more info, for example how you invoke ./configure? Best, Andrea > On 11 Nov 2016, at 08:41, Thuan Pham wrote: > > FYI, the same issue happens while configuring Coreutils-6.11.

Re: [klee-dev] Testing newest Coreutils

The new instructions to compile Coreutils with LLVM 3.4 are now available on the website: http://klee.github.io/tutorials/testing-coreutils/ Please report any issue! Best, Andrea > On 24 Nov 2016, at 09:12, Thuan Pham wrote: > > Hi Dan, > Thank you very much. It

Re: [klee-dev] Information on reproducing exeperimetation on Coreutils.6.10 with Klee.

Hi, you can find the options used to run KLEE here: http://klee.github.io/docs/coreutils-experiments/ Best, Andrea > On 12 Dec 2016, at 10:37, el habib Boudjema > wrote: > > Hello, > > I am a PhD student, I am using the Klee engine. > > I want to know how to

Re: [klee-dev] Testing Klee examples on ubuntu

Hi, it is unclear how and where you installed KLEE. However, everything should work fine: andreas-mbp:~$ git clone https://github.com/klee/klee.git && cd klee/examples/get_sign Cloning into 'klee'... remote: Counting objects: 10292, done. remote: Compressing objects: 100% (43/43), done. remote: