thu-pacman / SpindleLinks
☆33Updated 2 years ago
Alternatives and similar repositories for Spindle
Users that are interested in Spindle are comparing it to the libraries listed below
Sorting:
- bogo for ASPLOS'19☆9Updated 6 years ago
- ☆49Updated 3 years ago
- ☆13Updated 5 years ago
- ☆9Updated 5 years ago
- ☆26Updated 3 years ago
- Simple passes for CFG and DFG analysis☆44Updated 6 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- ☆38Updated last year
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆140Updated 4 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆38Updated 5 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 8 years ago
- DMon Prototype for OSDI 2021 Artifact Evaluation☆22Updated 4 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- llvm Data Flow Graph dump☆37Updated 4 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Hodor-PKU☆25Updated 3 years ago
- 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…☆73Updated 3 years ago
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆60Updated 5 years ago
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具：function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Updated 5 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆272Updated 3 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Updated 2 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated 10 months ago
- ☆15Updated 6 years ago
- ☆22Updated 4 years ago
- Automatic detection of speculative information flows☆68Updated 3 years ago
- This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…☆26Updated last month
- ☆32Updated 2 years ago