struct / isoalloc
A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good performance
☆369Updated 6 months ago
Alternatives and similar repositories for isoalloc:
Users that are interested in isoalloc are comparing it to the libraries listed below
- High-performance QEMU memory and instruction tracing☆534Updated 6 months ago
- Security-related flags and options for C compilers☆188Updated 2 years ago
- Information about Linux system calls on different architectures☆148Updated last week
- A powerful static binary rewriting tool☆1,000Updated last week
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆409Updated 8 months ago
- A kernelspace syscall interceptor and randomized faulter☆351Updated 2 months ago
- A differential fuzzer for x86 decoders☆241Updated 3 months ago
- Load-time selective binary rewriting☆155Updated 2 years ago
- A lightweight dynamic instrumentation library☆1,202Updated last month
- Docs and resources on CPU Speculative Execution bugs☆372Updated 7 years ago
- Working draft of nextgen malloc implementation for musl libc☆117Updated 4 years ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆428Updated 9 months ago
- GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuz…☆195Updated 3 years ago
- Secure ELF parsing/loading library for forensics reconstruction of malware, and robust reverse engineering tools☆430Updated 2 months ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆146Updated 4 years ago
- The first analysis framework for CPU microcode☆375Updated last year
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆470Updated 6 months ago
- Suite for benchmarking malloc implementations.☆402Updated this week
- Rellic produces goto-free C output from LLVM bitcode☆546Updated 4 months ago
- Kernel Test Framework☆141Updated this week
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆519Updated 3 years ago
- A binary-compatible unikernel☆391Updated 5 months ago
- Linux system calls.☆211Updated 5 years ago
- A tool for analyzing x86-64 binaries.☆308Updated 3 months ago
- Understand and mitigate software-observable side-channels☆500Updated 4 years ago
- Unlinks a binary executable to get back a set of .o object files for further transformation and re-linking.☆158Updated 2 years ago
- Access Abseil Swiss Tables from C☆108Updated 3 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- An easy way to virtualize the running system☆334Updated last year
- Why fuzzing with emulators is amazing☆135Updated 4 years ago