struct / isoallocLinks
A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good performance
☆380Updated last year
Alternatives and similar repositories for isoalloc
Users that are interested in isoalloc are comparing it to the libraries listed below
Sorting:
- Security-related flags and options for C compilers☆195Updated 2 years ago
- Load-time selective binary rewriting☆161Updated 3 years ago
- A differential fuzzer for x86 decoders☆251Updated 10 months ago
- High-performance QEMU memory and instruction tracing☆541Updated last year
- Kernel Test Framework☆145Updated 7 months ago
- Information about Linux system calls on different architectures☆168Updated 2 weeks ago
- Rellic produces goto-free C output from LLVM bitcode☆575Updated 3 months ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆535Updated 4 years ago
- Docs and resources on CPU Speculative Execution bugs☆377Updated 7 years ago
- Working draft of nextgen malloc implementation for musl libc☆122Updated 4 years ago
- ☆253Updated 2 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- Understand and mitigate software-observable side-channels☆502Updated 4 years ago
- Low-Level Software Security for Compiler Developers☆578Updated 3 weeks ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆354Updated last year
- A kernelspace syscall interceptor and randomized faulter☆354Updated 10 months ago
- DieHard: An error-resistant memory allocator for Windows, Linux, and Mac OS X☆417Updated last week
- The first analysis framework for CPU microcode☆398Updated 2 years ago
- A language and library for specifying syscall filtering policies.☆332Updated last year
- Simple Linux seccomp rules without writing any code☆503Updated 2 months ago
- x86 and amd64 instruction reference manual pages☆259Updated 5 years ago
- An event driven multi-core process debugging, tracing, and manipulation framework.☆175Updated 5 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- A tool for analyzing x86-64 binaries.☆323Updated 11 months ago
- A minimal toy implementation of strace(1)☆177Updated 2 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆417Updated 5 months ago
- Access Abseil Swiss Tables from C☆112Updated 3 years 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…☆200Updated 4 years ago
- ☆407Updated last week
- Exploration of x86-64 ISA using speculative execution.☆315Updated 4 years ago