shdnx / dangless-mallocLinks
A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer Science Master's thesis with the VUSec research group.
☆10Updated 6 years ago
Alternatives and similar repositories for dangless-malloc
Users that are interested in dangless-malloc are comparing it to the libraries listed below
Sorting:
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Updated 3 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆56Updated 3 years ago
- A (GCC) compiler plugin for multiversing functions☆21Updated 3 years ago
- High-performance key-value store☆12Updated 7 years ago
- Multi-variant execution (MVX) using hardware-assisted process virtualization (with Dune)☆18Updated 9 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- memTrace, a framework for lightweight memory tracing☆58Updated 6 years ago
- ☆33Updated 7 years ago
- Example usage of Dyninst☆14Updated 2 months ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- Crellvm: Verified Credible Compilation for LLVM☆18Updated 7 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- ☆17Updated 2 years ago
- ☆24Updated 2 years ago
- dthreads: Efficient Deterministic Multithreading☆70Updated 11 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Updated 6 years ago
- Memory access tracing QEMU☆99Updated 9 years ago
- Fast AVX512 (AVX-512) quicksort + bitonic sort.☆28Updated 3 years ago
- Function tracer for gcc☆35Updated 9 years ago
- Experimental setup of "Intel MPX explained"☆29Updated 6 years ago
- A detailed michroarchitectural x86 simulator☆62Updated 8 years ago
- Lab Mouse Security research pertaining to RISC-V☆11Updated 8 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Updated 5 years ago
- Kernel-Mode-Linux☆24Updated 3 years ago
- A simple Python wrapper around the DBLP API, currently supporting author search and author and publication lookup.☆79Updated 3 years ago
- ☆11Updated 5 years ago
- Securing System Logs With Intel SGX☆16Updated 8 years ago
- This is the user space slab memory allocator, umem, first available in Solaris 9.☆90Updated 4 years ago
- Clone of Dune http://dune.scs.stanford.edu/☆20Updated 12 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 7 years ago