This helper program preprocesses LLVM IR programs for symbolic execution. The preprocess steps are configurable and include (1) linking with the POSIX file system or the uClibc library, and (2) optimizations/transformation that make program more amenable for symbolic execution.

The implementation is extracted from KLEE with minor changes and redistributed under the same license as KLEE.