agra-uni-bremen Goto Github PK

binsym

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

bioviz

can_bus_shield

CAN Bus Shield - MCP2515&MCP2551

clover

A library for concolic execution of RV32 instruction set simulators

coverage-vp

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

crave

Constrained random stimuli generation for C++ and SystemC

crave-bundle

Constrained random stimuli generation for C++ and SystemC

dependencies

doom_riscv-vp

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

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

formal-iss

Generate an ISS for riscv-vp from a formal LibRISCV ISA model

guix-symex

A Guix channel for reproducible symbolic execution research

hardbound-llvm

LLVM 11 compiler pass for HardBound instrumentation

hardbound-vp

Virtual Prototype with symbolic execution support and HardBound path analyzer

icee2022-magic-adder-lib

Artifacts of the paper: "Investigating Various Adder Architectures for Digital In-Memory Computing Using MAGIC-Based Memristor Design Style"

jcovr

Visualization tool for Concolic Line Coverage

jxcdc2022-imagin-add

libriscv

Extensible implementation of the RISC-V ISA based on FreeMonads

libriscv-vp

RISC-V Virtual Prototype with ISS generated from LibRISCV

lips

Eclipse based IDE that focuses on natural language processing tasks

metasmt

microrv32

SpinalHDL based, FPGA Suitable RTL Implementation of RISC-V RV32. Aligned with RISC-V Virtual Prototype

newcas2023-magic-multiplier-lib

opt-seq

An algorithm to merge RISC-V instruction sequences

opt-vp

Virtual Prototype for identifying Application Specific Hardware Optimization candidates

revvis

An interactive visualization engine for reversible circuits

riscv-dfa

Dynamic Information Flow Analysis with the RISC-V VP

riscv-freertos

FreeRTOS port for the RISC-V Virtual Prototype

riscv-metamorphic-testing

RISC-V Metamorphic Testing

riscv-vp

RISC-V Virtual Prototype