thu-pacman / SpindleLinks
☆35Updated 2 years ago
Alternatives and similar repositories for Spindle
Users that are interested in Spindle are comparing it to the libraries listed below
Sorting:
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆40Updated last year
- ☆51Updated 4 years ago
- DMon Prototype for OSDI 2021 Artifact Evaluation☆24Updated 4 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Updated 4 years ago
- PIN-tool to produce multi-threaded atomic memory traces☆36Updated 12 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆40Updated 4 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Updated 3 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆20Updated 8 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- Interprocedural Basic Block Code Layout Optimization☆18Updated 6 years ago
- This repository contains some tools to monitor the UNC_CBO_CACHE_LOOKUP event of the C-Boxes.☆11Updated 8 years ago
- Microscope: Enabling Microarchitectural Replay Attacks☆20Updated 5 years ago
- ☆71Updated 6 months ago
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆60Updated 5 years ago
- LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…☆39Updated last year
- 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…☆77Updated 3 years ago
- Simple passes for CFG and DFG analysis☆45Updated 6 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆276Updated 3 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Updated 2 years ago
- ☆40Updated last year
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆18Updated 8 months ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆54Updated 4 years ago
- Reload+Refresh PoC☆16Updated 5 years ago
- A CUDA compiler fuzzer☆29Updated 2 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 5 years ago
- ☆34Updated 3 years ago
- llvm Data Flow Graph dump☆37Updated 4 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆39Updated 5 years ago
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具：function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Updated 6 years ago