Hi all Thanks for your timely responses! We can continue at github issue 286
> 在 2020年12月15日，22:42，Cristian Cadar <[email protected]> 写道： > > In particular, I would suggest to continue at > https://github.com/klee/klee/issues/286 > > Cristian > >> On 15/12/2020 14:35, Nowack, Martin wrote: >> Hi, >> There are a couple of missing features. >> Can you open an issue https://github.com/klee/klee/issues ? we can continue >> the discussion there. >> Best, >> Martin >>>> On 15. Dec 2020, at 13:41, JingXiaoni <[email protected] >>>> <mailto:[email protected]>> wrote: >>> >>> >>> Hi all, >>> l have some problems >>> on using klee,need your help .Thanks in advance >>> My test target is 32bit app.Now I compile llvm and klee in x86_64, then add >>> -m32 option on compile target object. >>> For example: >>> for bc file >>> clang++ -m32 sample.cpp -c -o sample.bc >>> for app >>> clang++ -m32 sample.cpp -o sample -lkleeRuntest >>> Now I have 2 issues >>> 1. bc file compile is success.But when I use klee to generate test >>> cases.There is a error info"LLVM ERROR:64-bit code requested on a subtarget >>> that doesn't support it". I would like to make klee can handle 32bit >>> bc.Then add option in CMakeList.txt with >>> add_complie_option(--target=i386-pc-linux-gun).remake makefile and >>> make,make has a warning that "cc1 plus:warning:command line option >>> '-ftarget=i386-pc-linux-gun'is valid for Java but not for c++".Add Klee >>> can’t work for 32 bit bc,too. >>> So my question is how to add compile options in cmake or make file to make >>> 64bit Klee can support 32bit bc file? >>> 2.When I compile 32 bit app with Klee lib(libKleeRuntest),It shows can’t >>> find this lib but when I compile 64bit app,there is no problem.Does it mean >>> I need to compile a 32bit Klee to use it or is there some other way to set >>> it up and it will work? >>> Thanks for your help. >>> >>> >>> _______________________________________________ >>> klee-dev mailing list >>> [email protected] <mailto:[email protected]> >>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >> _______________________________________________ >> klee-dev mailing list >> [email protected] >> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
