google / safeside
Understand and mitigate software-observable side-channels
☆498Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for safeside
- Website and PoC collection for transient execution attacks☆169Updated 8 months ago
- A practical attack framework for precise enclave execution control☆442Updated last month
- RIDL test suite and exploits☆352Updated 4 years ago
- A unit test-like interface for fuzzing and symbolic execution☆820Updated 5 months ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆406Updated 6 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆680Updated 6 months ago
- libipt - an Intel(R) Processor Trace decoder library☆666Updated 3 weeks ago
- A kernelspace syscall interceptor and randomized faulter☆350Updated this week
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆363Updated 4 months ago
- Security-related flags and options for C compilers☆185Updated 2 years ago
- SymCC: efficient compiler-based symbolic execution☆789Updated 4 months ago
- A static binary rewriter that does not use heuristics☆298Updated 6 years ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆442Updated 4 months ago
- An LLVM sanitizer tutorial☆197Updated 2 years ago
- Driller: augmenting AFL with symbolic execution!☆904Updated 2 years ago
- A fast, parallel test case minimization tool.☆947Updated 3 years ago
- Kernel Thread Sanitizer, a fast data race detector for the Linux kernel☆575Updated 2 years ago
- DARPA Challenges Sets for Linux, Windows, and macOS☆520Updated last year
- Library for structured fuzzing with protobuffers☆591Updated 2 months ago
- Simple Intel CPU processor tracing on Linux☆344Updated last year
- High-performance QEMU memory and instruction tracing☆527Updated 3 months ago
- ☆395Updated this week
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆573Updated 5 years ago
- Domain-Specific Fuzzing with Waypoints☆237Updated last year
- DyninstAPI: Tools for binary instrumentation, analysis, and modification.☆735Updated this week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆533Updated 2 months ago
- ☆279Updated last year
- A lightweight dynamic instrumentation library☆1,182Updated 3 weeks ago
- ☆373Updated 3 years ago
- ☆256Updated last year