GitHub repository: zyedidia/rvsym
Primary language: Go
Description: A small RISC-V symbolic execution engine