agra-uni-bremen

metaSMT

riscv-freertos

FreeRTOS port for the RISC-V Virtual Prototype

crave-bundle

Constrained random stimuli generation for C++ and SystemC

dependencies

BioViz

CAN_BUS_Shield

CAN Bus Shield - MCP2515&MCP2551

lips

Eclipse based IDE that focuses on natural language processing tasks

symbolic-swifi

Symbolic Software-Implemented Fault Injection

verilog2GEXF

JAVA based verilog to Graph Exchange XML Format translator

revvis

An interactive visualization engine for reversible circuits

sisl

Scheme-based Input Specification language for Concolic Testing

sisl-vp

Enhanced version of SymEx-VP with support for SISL, a input specification language for concolic testing

souper

coverage-vp

Modified SymEx-VP with support for generating Concolic Line Coverage information

fdl21-stackuse-vp

Fork of riscv-vp for the FDL21 paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes

riscv-dfa

Dynamic Information Flow Analysis with the RISC-V VP

riscv-metamorphic-testing

RISC-V Metamorphic Testing

symex-3d

3D visualization Blender addon for symbolic execution traces

symex-trace-vp

SymEx-VP with tracing capabilities

doom_riscv-vp

Doom classic port to lightweight RISC‑V, for use with the AGRA riscv-vp

hardbound-llvm

LLVM 11 compiler pass for HardBound instrumentation

jcovr

Visualization tool for Concolic Line Coverage

stack-usage-db

Generate a database for GCC -fstack-usage information indexed by text segment addresses

symex-vp-riot

RIOT example applications for symex-vp

u-boot

"Das U-Boot" Source Tree