grossed

Pinned Repositories

• coverage-vp

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

  Language:C++0800

• crave

  Constrained random stimuli generation for C++ and SystemC

  Language:C++49141113

• 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

  Language:C++0901

• sisl-vp

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

  Language:C++1800

• symex-vp

  A concolic testing engine for RISC-V embedded software with support for SystemC peripherals

  Language:C++201205

• PolyCleaner

  Language:Verilog50

• revsca

  2202

• GUI-VP

  GUI-VP is a greatly extended and improved open-source RISC-V VP that enables the simulation of interactive graphical Linux applications.

  Language:C++10301

• riscv-vp-plusplus

  RISCV-VP++ is a extended and improved successor of the RISC-V based Virtual Prototype (VP) RISC-V VP. It is maintained at the Institute for Complex Systems, Johannes Kepler University, Linz.

  Language:C++25326

• wal

  WAL enables programmable waveform analysis.

  Language:Python14192219

grossed's Repositories