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
- Test suite for the Linux perf_event subsystem☆118Updated 2 weeks ago
- Secure Virtual Architecture☆42Updated 6 years ago
- Steps to build the Linux kernel using Clang☆102Updated 3 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
- 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
- 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
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆84Updated 11 years ago
- Arnold source code☆46Updated 6 years ago
- EbbRT: elastic building block runtime☆75Updated last year
- Data race detector for Linux kernel modules☆30Updated 8 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆98Updated 2 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- Experimental setup of "Intel MPX explained"☆28Updated 5 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- KLEE's version of uClibc☆55Updated last year
- 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
- custom type systems for Clang☆98Updated 9 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆416Updated 4 months ago
- Picon☆39Updated 8 years ago
- ☆12Updated 9 years ago
- ikgt manifest☆42Updated 3 years ago
- Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the pr…☆24Updated last year
- API tracing framework for Linux C/C++ applications☆160Updated 9 years ago
- Automated multicore scalability testing tool☆88Updated 9 years ago
- The Cloud9 main repository☆52Updated 11 years ago