Updated 9 months ago
symex-vp
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
Updated 9 months ago
https://github.com/agra-uni-bremen/guix-symex
A Guix channel for reproducible symbolic execution research