ssrg-vt / SlimGuard
A Secure and Memory-Efficient Heap Allocator
☆33Updated 9 months ago
Alternatives and similar repositories for SlimGuard:
Users that are interested in SlimGuard are comparing it to the libraries listed below
- Tool for findings bugs in epoll-based Linux servers☆29Updated 4 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆29Updated 5 years ago
- Dr. Disassembler☆35Updated 3 years ago
- ☆50Updated 2 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 3 weeks ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated 9 months ago
- Doug Lea's malloc☆34Updated 9 years ago
- memTrace, a framework for lightweight memory tracing☆57Updated 5 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- GCC plugin for C language that tracks references to allocated objects☆26Updated last month
- ☆35Updated 7 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆52Updated 2 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆145Updated 4 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- A library for dynamic binary rewriting☆57Updated 4 years ago
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆33Updated last year
- ☆31Updated 3 years ago
- Disarm — Fast AArch64 Decode/Encoder☆39Updated 3 months ago
- A simple library focusing on demangling symbols for different programing languages☆43Updated 4 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- A tiny C compiler of 2k lines of codes, generates pure x86 asm code for DOS/Win32/Linux 3 backends.☆36Updated 4 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- EFI Byte Code Virtual Machine in userspace☆77Updated 2 years ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆31Updated last year
- GoTEE - example application☆15Updated 2 weeks ago
- ☆28Updated 5 years ago