[klee-dev] apache and dependent libraries

[Cristian Zamfir]

Hi,

I managed to compile Apache using the normal compile process, after  
hacking the libtool and Makefiles to compile and link the LLVM bitcode.

However, when running with KLEE, I get the error "do not support  
dependent libraries".
This is from Executor.cpp

void Executor::initializeGlobals(ExecutionState &state) {
   Module *m = kmodule->module;

....

   demand(m->lib_begin() == m->lib_end(),
          "XXX do not support dependent libraries");

Is there any particular reason why these are not supported by KLEE, or  
should I try to add support for that?

Thanks,
Cristi