Virtual Prototype with symbolic execution support and HardBound path analyzer - View it on GitHub