ssrg-vt / SlimGuardLinks
A Secure and Memory-Efficient Heap Allocator
☆33Updated last year
Alternatives and similar repositories for SlimGuard
Users that are interested in SlimGuard are comparing it to the libraries listed below
Sorting:
- Tool for findings bugs in epoll-based Linux servers☆33Updated 5 years ago
- A simple, decompressing executable packer☆45Updated 3 years ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18Updated 4 months ago
- A system call interception tool☆58Updated 9 months ago
- Dr. Disassembler☆36Updated 3 years ago
- ☆52Updated 3 years ago
- The Bear Operating System☆24Updated 8 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- GCC plugin for C language that tracks references to allocated objects☆28Updated 4 months ago
- Direct, source-level WebAssembly debugger☆50Updated 4 years ago
- QARMA block cipher in C☆30Updated 3 years ago
- AES-GEM (AES Galois Extended Mode) implementation.☆13Updated 7 months ago
- Access Abseil Swiss Tables from C☆112Updated 3 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 3 years ago
- Load-time selective binary rewriting☆161Updated 3 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆17Updated 6 months ago
- A binary optimization/specialization library supporting multiple rewriters☆116Updated 4 years ago
- Microbenchmarks for x86_64 kernel entry methods☆19Updated 3 years ago
- Demonstrate ability to read memfd_secret() data from the kernel☆58Updated last year
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- Various utilities useful for developers writing BPF tools☆30Updated 2 years ago
- Runtime type and bounds-error checking for C/C++☆105Updated 9 months ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- Fork of KVM with Virtual Machine Introspection patches☆37Updated last year
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated 2 weeks ago
- A tweakable block cipher☆31Updated last year
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- x86_64 macro assembler entirely in C preprocessor☆44Updated 5 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 3 months ago
- uber eXtensible Micro-Hypervisor Framework☆33Updated last year