A whitelist in s2e::S2EExecutor::cleanModule configures which functions are kept from the compiled LLVM IR module when it is passed to KLEE. This function mimicks the behavior of KLEE when optimization is enabled (but we don't want to enable optimizations in KLEE, as this will run an Internalize pass keeping only main and referenced functions, which we don't have in our module). Getting the white-list right is a bit tricky, as some functions in the module pull in a lot of dependencies. Just experiment.