A library for concolic execution of RV32 instruction set simulators - View it on GitHub