BinSym: Symbolic execution for RISC-V machine code based on LibRISCV ISA model (github.com/agra-uni-bremen)
BinSym is a program analysis tool which enables symbolic execution of binary code.
Software, Programming, Security, RISC-V, Symbolic Execution
6 points by matt_d 43 days ago | 0 comments