agra-uni-bremen/BinSym

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

语言：Haskell · GitHub 星标：56 · Fork：2

话题：program-analysis · riscv · riscv32 · symbolic-execution

在 GitHub 上查看原仓库