Lib.rs

› 关键词 #risc-v #execution-engine #monster #symbolic-execution #smt #smt-solver

#riscu

  1. monster-rs

    Monster 是一个针对 64 位 RISC-U 代码的符号执行引擎

    v0.4.1 #monster #smt-solver #execution-engine #risc-v #smt #symbolic-execution #riscu

  2. riscu

    加载/编码 RISC-U ELF64 二进制文件

    v0.5.0 #risc-v #binaries #elf64 #instructions #decoding #codec #64-bit