Monster is a symbolic execution engine for 64-bit RISC-V code - View it on GitHub