euspectre / kernel-strider
Main repository for KernelStrider project
☆24Updated 7 years ago
Alternatives and similar repositories for kernel-strider:
Users that are interested in kernel-strider are comparing it to the libraries listed below
- Function tracer for gcc☆35Updated 8 years ago
- Test suite for the Linux perf_event subsystem☆113Updated 6 months ago
- Data race detector for Linux kernel modules☆29Updated 7 years ago
- Open-source release for MemSentry (EuroSys'17)☆46Updated 3 years ago
- Memory access tracing QEMU☆96Updated 8 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆97Updated 2 years ago
- Main repository of KEDR project☆119Updated 3 years ago
- ☆29Updated 9 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆69Updated 8 years ago
- ☆74Updated 2 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆33Updated 10 years ago
- ☆31Updated 6 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆36Updated 9 years ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆129Updated 6 months ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆52Updated 2 years ago
- Kernel coredump file access☆27Updated 3 months ago
- Dynamic instrumentation of the Linux kernel☆41Updated 10 years ago
- MCFI/PICFI tool chain☆42Updated last year
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆242Updated 7 years ago
- Re-randomizing the memory layout of a process at runtime☆21Updated 8 years ago
- ☆35Updated 7 years ago
- Hacks and experiments for the linux kernel VM subsystem.☆23Updated 2 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆32Updated 7 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Updated 2 years ago
- Unit tests for the kernel virtual machine (KVM)☆13Updated 4 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆166Updated 5 years ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆24Updated 2 months ago
- rdtscbench measures small and large operations using clock cycles as time measurement unit. It uses RDTSC x86 instruction to get clock cy…☆29Updated 8 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago