thu-pacman / Spindle
☆31Updated last year
Alternatives and similar repositories for Spindle:
Users that are interested in Spindle are comparing it to the libraries listed below
- bogo for ASPLOS'19☆9Updated 5 years ago
- Simple passes for CFG and DFG analysis☆42Updated 5 years ago
- ☆25Updated 3 years ago
- ☆49Updated 3 years ago
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具:function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Updated 5 years ago
- PIN-tool to produce multi-threaded atomic memory traces☆36Updated 11 years ago
- ☆15Updated 5 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆138Updated 4 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆38Updated 4 years ago
- A CUDA compiler fuzzer☆24Updated last year
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- llvm Data Flow Graph dump☆37Updated 3 years ago
- SUPA☆28Updated 4 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- A false sharing detection and repair tool☆12Updated 5 years ago
- Microscope: Enabling Microarchitectural Replay Attacks☆18Updated 4 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 3 years ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆52Updated last month
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆91Updated 9 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆69Updated last year
- This repository contains some tools to monitor the UNC_CBO_CACHE_LOOKUP event of the C-Boxes.☆11Updated 7 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- Graspan-G is a GPU-based version of Graspan.☆9Updated 3 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆20Updated 7 years ago
- Security Test Benchmark for Computer Architectures☆20Updated 2 months ago
- SKI virtual machine for testing concurrency bugs☆11Updated 9 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆32Updated 7 years ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆41Updated 5 years ago