nviennot / linux-2.6-scribeLinks
Scribe: the record-replay mechanism
☆35Updated 12 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☆97Updated 8 years ago
- EbbRT: elastic building block runtime☆75Updated 11 months 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
- Steps to build the Linux kernel using Clang☆101Updated 3 years ago
- Test suite for the Linux perf_event subsystem☆117Updated last month
- 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
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- OpenSGX☆303Updated 5 years ago
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆87Updated 8 years ago
- dthreads: Efficient Deterministic Multithreading☆52Updated 10 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- ☆77Updated 7 years ago
- ☆49Updated 3 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- Formal verification of SecVisor, a secure hypervisor☆12Updated 12 years ago
- Transparent Paxos☆44Updated 6 years ago
- a tool designed to help perform and visualize trace-driven cache attacks against software in the secure world of TrustZone-enabled ARMv8 …☆80Updated 6 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆414Updated 3 months ago
- Intercept a system call using a loadable kernel module.☆58Updated 9 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆223Updated 3 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆32Updated 6 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆84Updated 11 years ago
- Clone of Dune http://dune.scs.stanford.edu/☆20Updated 11 years ago
- SGX command-line tools and paper☆146Updated 8 years ago
- Arnold source code☆46Updated 6 years ago
- Minimal RISC Extensions for Isolated Execution☆53Updated 6 years ago