Alternatives and similar repositories for MiBench2:

Users that are interested in MiBench2 are comparing it to the libraries listed below

• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 5 years ago
• cwfletcher / oisa
  Data oblivious ISA prototyped on the RISC-V BOOM processor.
  ☆21Updated 2 years ago
• rzhang2285 / Coppelia
  Code repository for Coppelia tool
  ☆23Updated 4 years ago
• googleinterns / hw-fuzzing
  ☆80Updated 2 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆30Updated 5 years ago
• draperlaboratory / hope-RIPE
  A port of the RIPE suite to RISC-V.
  ☆29Updated 6 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• sslab-gatech / hdfi
  Hardware-assisted Data-flow Isolation
  ☆27Updated 7 years ago
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 8 years ago
• gokhankici / iodine
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆12Updated 4 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆42Updated 2 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆42Updated 5 months ago
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆18Updated last month
• proteus-core / prospect
  ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
  ☆16Updated 2 weeks ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• seahorn / verify-c-common
  ☆17Updated 10 months ago
• vul337 / cfi-eval
  ☆22Updated 4 years ago
• ilebedev / sanctum
  The MIT Sanctum processor top-level project
  ☆28Updated 5 years ago
• rems-project / rmem
  rmem public repo
  ☆41Updated last month
• sjp38 / spec_on_ubuntu_xenial
  Scripts for Installation and Execution of SPEC CPU 2006 on Ubuntu Xenial (16.04) and Bionic (18.04)
  ☆9Updated 5 years ago
• efeslab / dolma
  ☆12Updated 4 years ago
• comparch-security / cpu-sec-bench
  Security Test Benchmark for Computer Architectures
  ☆21Updated 2 months ago
• daniellustig / pipecheck
  ☆19Updated 10 years ago
• 0xADE1A1DE / CacheFX
  ☆9Updated 2 years ago
• hwangcc23 / ptm2human
  ARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Tr…
  ☆53Updated 2 months ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆21Updated 7 years ago
• comparch-security / cache-model
  A behavioural cache model for analysing the cache behaviour under side-channel attack.
  ☆24Updated 7 months ago
• drzchen / movec
  Movec: A Tool for the Monitoring and Verification of C Programs
  ☆22Updated last year