nviennot / linux-2.6-scribeLinks
Scribe: the record-replay mechanism
☆35Updated 13 years ago
Alternatives and similar repositories for linux-2.6-scribe
Users that are interested in linux-2.6-scribe are comparing it to the libraries listed below
Sorting:
- Memory access tracing QEMU☆99Updated 9 years ago
- EbbRT: elastic building block runtime☆77Updated last year
- Steps to build the Linux kernel using Clang☆102Updated 4 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 8 years ago
- Test suite for the Linux perf_event subsystem☆117Updated 6 months ago
- Clone of Dune http://dune.scs.stanford.edu/☆20Updated 12 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- Intercept a system call using a loadable kernel module.☆57Updated 10 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆88Updated 8 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Updated 3 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆70Updated 8 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆100Updated 2 years ago
- Network Stack in Userspace☆306Updated 3 weeks ago
- userspace tools for linux libos☆98Updated 3 years ago
- A ptrace library for easy syscall injection in Linux.☆184Updated last year
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆315Updated 5 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- Sandboxing File System☆46Updated 6 years ago
- Some codes to trace KVM events using BPF☆22Updated 5 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆421Updated 10 months ago
- Function tracer for gcc☆35Updated 9 years ago
- ☆33Updated 7 years ago
- ☆38Updated 8 years ago
- ikgt manifest☆42Updated 3 years ago
- Generic eBPF runtime☆151Updated 4 years ago
- ☆84Updated 2 years ago
- Arnold source code☆47Updated 7 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆85Updated 12 years ago
- ☆21Updated 3 years ago