Displaying 2 results from an estimated 2 matches for "taint_direct".
Did you mean:
point_direct
2013 Jun 05
2
[LLVMdev] klee linker problem
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
'/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca'
klee: ModuleUtil.cpp:51: llvm::Module* klee::linkWithLibrary(llvm::Module*,
const string&): Assertion `0 && "linking in...
2013 Jun 06
0
[LLVMdev] klee linker problem
...t;
> 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
> '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca'
> klee: ModuleUtil.cpp:51: llvm::Module*
> klee::linkWithLibrary(llvm::Module*, const string&): Assertion `0 &am...