skivm / ski
SKI virtual machine for testing concurrency bugs
☆11Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for ski
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆29Updated 9 years ago
- ☆23Updated 2 years ago
- This is java implementation of Graspan.☆20Updated 10 months ago
- A collection of command-line tools based on Dyninst☆16Updated 3 years ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆28Updated this week
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- Open-source release for MemSentry (EuroSys'17)☆46Updated 3 years ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- This is a C++ implementation of Graspan.☆32Updated 10 months ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆60Updated 11 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages☆42Updated 3 years ago
- A unification-based alias analysis and related tools☆29Updated last month
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Updated 9 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆68Updated 7 years ago
- ☆10Updated 3 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- KLEE's version of uClibc☆47Updated 5 months ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 2 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- A false sharing detection and repair tool☆12Updated 5 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 7 years ago
- some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.☆13Updated 5 years ago
- Compiler Course☆17Updated 9 years ago
- ☆31Updated last year
- Hodor-PKU☆23Updated 3 years ago
- bogo for ASPLOS'19☆9Updated 5 years ago
- Dynamic Program Slicing in LLVM Compiler☆133Updated 6 years ago
- Basic LLVM passes☆17Updated 6 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago