Alternatives and similar repositories for Memory-Safety

Users that are interested in Memory-Safety are comparing it to the libraries listed below

• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆77Updated this week
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆33Updated last week
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated 9 months ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆51Updated 2 years ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆34Updated last year
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆54Updated this week
• omnibor / omnibor-rs
  Rust implementation of OmniBOR, reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆28Updated 3 months ago
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆101Updated last week
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆49Updated 2 months ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆90Updated 2 weeks ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆94Updated last week
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆91Updated this week
• bpfverif / agni
  ☆45Updated 3 weeks ago
• tree-sitter / tree-sitter-ql
  tree-sitter grammar for the CodeQL language
  ☆32Updated 2 months ago
• fedora-llvm-team / llvm-snapshots
  Everything to build LLVM snapshots for Fedora/RHEL/CentOS Stream
  ☆24Updated this week
• google / centipede
  ☆252Updated 2 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated 2 weeks ago
• S2-Lab / ERASan
  ☆47Updated 4 months ago
• landlock-lsm / linux
  Linux kernel - See Landlock issues
  ☆43Updated 6 months ago
• microsoft / elfcore
  A Rust crate for creating memory dumps of running processes on Linux
  ☆61Updated 5 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆44Updated last week
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆124Updated last week
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated last month
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆56Updated 2 weeks ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆126Updated last month
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆37Updated last year
• mathetake / tvisor
  tvisor is a tiny 100% userspace syscall interception framework
  ☆44Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆81Updated last year
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆32Updated last year