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