Re: [klee-dev] how to compile busybox-1.4.2 to be a .bc file correctly?

Hi Yi, We used this sequence: mkdir obj-klee make -w O=obj-klee defconfig cd obj-klee make CC=klee-gcc LD=llvm-ld --disable-opt AR=llvm-ar SKIP_STRIP=y V=1 ln -s busybox_unstripped.bc toolname (for each tool you want to run) You might need to adjust this a bit (I noticed that on my current

Re: [klee-dev] how to compile busybox-1.4.2 to be a .bc file correctly?

Hi Cristian, Thanks so much. YI and Yi: please try it and redo your experiments. Jian LIU email to: gjk@gmail.com 2013/3/7 Cristian Cadar c.ca...@imperial.ac.uk Hi Yi, We used this sequence: mkdir obj-klee make -w O=obj-klee defconfig cd obj-klee make

[klee-dev] how to compile busybox-1.4.2 to be a .bc file correctly?

Hi everyone: I want to test busybox-1.4.2 like coreutils. But I get a link error: llvm-ld: error: Cannot find linker input 'archival/lib.a' make: *** [busybox_unstripped] error 1 I use the