The LLVM Symbolic Simulator, part of SAW. - View it on GitHub