Symbolic execution of LLVM IR traces for program understanding. - View it on GitHub