search for: ccadar

...tructions added since LLVM2.7 aren't supported yet :( We're getting there though! If you have any questions feel free to drop a question on the KLEE mailing list. If you'd rather read a paper then look at code then you could take a look at the original 2008 OSDI paper [3]. [1] http://ccadar.github.io/klee/GetStarted.html (note these instructions are for llvm 2.9 :( . Don't worry these instructions will be updated eventually) [2] https://github.com/ccadar/klee-uclibc/tree/klee_0_9_29 [3] http://llvm.org/pubs/2008-12-OSDI-KLEE.html Thanks, Dan Liew.

...https://github.com/MartinNowack/klee/blob/51d4a2b34511a8d6b00b16a50f90b0bc1a793a69/lib/Module/ModuleUtil.cpp#L61 [2] http://llvm.org/docs/doxygen/html/classllvm_1_1Linker.html#a244da8c7e9789b1b675b9741bd692c63 [3] http://llvm.org/docs/GoldPlugin.html [4] http://lld.llvm.org/ [5] https://github.com/ccadar/klee-uclibc/tree/klee_0_9_29 Thanks, Dan Liew.

...MartinNowack/klee/blob/51d4a2b34511a8d6b00b16a50f90b0bc1a793a69/lib/Module/ModuleUtil.cpp#L61 > [2] http://llvm.org/docs/doxygen/html/classllvm_1_1Linker.html#a244da8c7e9789b1b675b9741bd692c63 > [3] http://llvm.org/docs/GoldPlugin.html > [4] http://lld.llvm.org/ > [5] https://github.com/ccadar/klee-uclibc/tree/klee_0_9_29 > > Thanks, > Dan Liew. > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev