Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / agra-uni-bremen / symex-vp
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agra-uni-bremen%2Fsymex-vp
Stars: 16
Forks: 4
Open Issues: 0
License: gpl-3.0
Language: C++
Repo Size: 31.7 MB
Dependencies:
1
Created: almost 3 years ago
Updated: 2 months ago
Last pushed: 8 months ago
Last synced: about 2 months ago
Topics: concolic-execution, concolic-testing, klee, risc-v, riscv, riscv32, symbolic-execution, systemc
Files
Dependencies
- alpine 3.18 build