plasma-umass / dthreads

Related projects ⓘ

Alternatives and complementary repositories for dthreads

• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆49Updated 10 years ago
• deater / deterministic
  code for examining determinism of performance counters
  ☆21Updated 3 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆59Updated last week
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆55Updated 4 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 8 years ago
• coccinelle / coccinellery
  ☆108Updated 4 months ago
• cemeyer / structhole
  A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)
  ☆22Updated 7 years ago
• npamnani / coda
  coredump analyzer
  ☆25Updated 7 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• elcritch / etrace
  Update of original etrace program.
  ☆68Updated last year
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆97Updated 2 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆26Updated 4 years ago
• plasma-umass / sheriff
  Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…
  ☆31Updated 6 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 6 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆53Updated 6 months ago
• eklitzke / demangle
  Tool to demangle C++ symbols.
  ☆56Updated last year
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 7 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• francisvm / ld.so
  ld.so implementation in C++1z
  ☆9Updated 7 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆44Updated 7 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 5 years ago
• Snaipe / BoxFort
  Convenient & cross-platform sandboxing C library
  ☆43Updated 6 months ago
• scotts / michael
  Implementation of the algorithms from "Scalable Lock-Free Dynamic Memory Allocation"
  ☆15Updated 10 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆29Updated 9 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆47Updated 5 months ago
• efficios / babeltrace
  Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.
  ☆88Updated last week
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 7 years ago