symbiotic icon indicating copy to clipboard operation
symbiotic copied to clipboard

KLEE: properly enable the POSIX runtime and libc

Open mchalupa opened this issue 7 years ago • 1 comments

Disable linking our runtime and leave it only as a fall-back option.

Needed to fix (not-only) #103.

mchalupa avatar Dec 07 '18 10:12 mchalupa

There's a problem with 32-bit vs 64-bit build of uclibc. AFAIK there's no way how to tell KLEE that it should use the bitcode with the right architecture.

mchalupa avatar Nov 11 '19 15:11 mchalupa