impedimentToProgress / MiBench2
MiBench ported for IoT devices
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for MiBench2
- rmem public repo☆40Updated 3 months ago
- ☆46Updated 2 years ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆21Updated 5 years ago
- ☆78Updated last year
- QEMU Development Toolkit☆38Updated 4 months ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- This is the main repo for Penglai.☆65Updated last year
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- Code repository for Coppelia tool☆20Updated 4 years ago
- The MIT Sanctum processor top-level project☆28Updated 4 years ago
- Visualization of LLVM IR☆60Updated 10 years ago
- Static Analyzer and Verifier☆46Updated last month
- some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.☆13Updated 5 years ago
- ☆17Updated 2 years ago
- A port of the RIPE suite to RISC-V.☆28Updated 6 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 2 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆14Updated 3 weeks ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- ☆10Updated 3 years ago
- SUPA☆28Updated 4 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆85Updated this week
- Public-facing course info for program analysis materials.☆37Updated this week
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆54Updated 2 years ago
- BEER determines an ECC code's parity-check matrix based on the uncorrectable errors it can cause. BEER targets Hamming codes that are use…☆18Updated 4 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆110Updated 5 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆39Updated 5 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆19Updated 7 years ago