impedimentToProgress / MiBench2

Related projects ⓘ

Alternatives and complementary repositories for MiBench2

• googleinterns / hw-fuzzing
  ☆77Updated last year
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• ilebedev / sanctum
  The MIT Sanctum processor top-level project
  ☆27Updated 4 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• DependableSystemsLab / LLFI
  LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…
  ☆68Updated 2 years ago
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆135Updated 3 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆37Updated this week
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆51Updated 2 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆110Updated 5 years ago
• rems-project / rmem
  rmem public repo
  ☆40Updated 3 months ago
• rzhang2285 / Coppelia
  Code repository for Coppelia tool
  ☆20Updated 4 years ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 5 years ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆39Updated 5 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆18Updated 7 years ago
• michaeljclark / rv8-bench
  rv8 benchmark suite
  ☆18Updated 4 years ago
• cwfletcher / oisa
  Data oblivious ISA prototyped on the RISC-V BOOM processor.
  ☆20Updated 2 years ago
• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆42Updated 8 years ago
• draperlaboratory / hope-RIPE
  A port of the RIPE suite to RISC-V.
  ☆28Updated 6 years ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆19Updated 7 years ago
• agra-uni-bremen / symex-vp
  A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
  ☆20Updated last year
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆42Updated 2 years ago
• mmcloughlin / hellollvm
  Basic LLVM passes
  ☆17Updated 6 years ago
• stephand / ptlsim
  Stable, non-KVM version of PTLsim.
  ☆28Updated 8 years ago
• k3ut0i / llvm-dataflow-graphs
  drawing graphs for llvm ir. data flow and control flow
  ☆40Updated 7 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• kuopinghsu / callgraph-gen
  Generating the call graph from elf binary file
  ☆31Updated last year
• 0tcb / TAP
  ☆18Updated last year
• Penglai-Enclave / Penglai-Enclave
  This is the main repo for Penglai.
  ☆65Updated last year
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 4 years ago