jtcriswell / llvm-dsaLinks
LLVM trunk with poolalloc trunk modified to compile only DSA
☆12Updated 10 years ago
Alternatives and similar repositories for llvm-dsa
Users that are interested in llvm-dsa are comparing it to the libraries listed below
Sorting:
- ☆66Updated 5 years ago
- Automatic detection of speculative information flows☆68Updated 4 years ago
- A toolkit for building whole-program LLVM bitcode files☆78Updated 4 years ago
- SUPA☆28Updated 5 years ago
- Buffer overflow testbed, research paper published at ACSAC 2011☆92Updated 8 years ago
- Lists of must-read papers (mainly security papers)☆30Updated last year
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated last week
- ☆22Updated 4 years ago
- SoftBoundCETS for LLVM+Clang version 34☆59Updated 11 years ago
- Hardware-assisted Data-flow Isolation☆28Updated 7 years ago
- Piecewise debloating toolchain☆15Updated 5 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆228Updated 6 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 2 years ago
- ☆24Updated 4 years ago
- Dynamic Program Slicing in LLVM Compiler☆142Updated 7 years ago
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Updated 4 years ago
- Adelie's source code☆12Updated 3 years ago
- 64-bit port of the RIPE benchmark (buffer overflow attacks). RIPE was originally developed by John Wilander and Nick Nikiforakis and pres…☆22Updated 3 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆38Updated 5 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆33Updated 7 years ago
- Pointer Analysis with Tunable Precision☆26Updated 9 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆79Updated this week
- ☆40Updated last year
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- MCFI/PICFI tool chain☆43Updated last year
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 3 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Updated 9 years ago