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

• aclements / mtrace
  Memory access tracing QEMU
  ☆99Updated 8 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• nestedkernel / PerspicuOS
  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
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆102Updated 3 years ago
• jieyu / maple
  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
• endplay / omniplay
  Arnold source code
  ☆46Updated 7 years ago
• ix-project / dune
  ☆33Updated 7 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• deater / perf_event_tests
  Test suite for the Linux perf_event subsystem
  ☆118Updated 4 months ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 years ago
• google / kmsan
  KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel
  ☆417Updated 8 months ago
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 4 years ago
• teawater / kgtp
  KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…
  ☆88Updated 8 years ago
• kmrov / racehound
  Data race detector for Linux kernel modules
  ☆30Updated 8 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 12 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆70Updated 11 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆110Updated 3 years ago
• andikleen / simple-pt
  Simple Intel CPU processor tracing on Linux
  ☆351Updated 2 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆313Updated 5 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆54Updated last year
• sslab-gatech / opensgx
  OpenSGX
  ☆305Updated 5 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆31Updated 10 years ago
• sslab-gatech / libmpk
  ☆51Updated 4 years ago
• klee / klee-web
  KLEE in the browser
  ☆52Updated last month
• jowinter / qemu-trustzone
  Experimental version of QEMU with basic support for ARM TrustZone (security extensions)
  ☆85Updated 12 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆56Updated 3 years ago
• isec-tugraz / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆223Updated 3 years ago