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-splicer
  Simple grammar-based test case generator
  ☆32Updated this week
• 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.
  ☆75Updated last week
• mitre / hipcheck
  Automatically assess and score software repositories for supply chain risk.
  ☆114Updated last week
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆22Updated last year
• microsoft / monza
  Research unikernel for virtualized services
  ☆51Updated 2 years ago
• google / authenticode-rs
  Rust tools for working with Authenticode
  ☆28Updated this week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆91Updated last week
• verus-lang / verusfmt
  An Opinionated Formatter for Verus
  ☆11Updated this week
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆54Updated this week
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆53Updated 7 months ago
• google / centipede
  ☆253Updated 2 years ago
• twiss / source-code-transparency
  Source Code Transparency
  ☆11Updated last year
• SAP / risk-explorer-for-software-supply-chains
  A taxonomy of attacks on software supply chains in the form of an attack tree, based on and linked to numerous real-world incidents and o…
  ☆78Updated last month
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆44Updated last week
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆192Updated 2 months ago
• ossf / toolbelt
  ☆22Updated 2 months ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆124Updated 3 months ago
• microsoft / igvm
  ☆107Updated last week
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• omnibor / omnibor-rs
  Rust implementation of OmniBOR, reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆28Updated last month
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 4 years ago
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆87Updated last month
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆36Updated last year
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• google / gwpsan
  GWPSan: Sampling-Based Sanitizer Framework
  ☆325Updated this week
• devdanzin / fusil
  Fusil is a multi-agent Python library used to write fuzzing programs
  ☆26Updated last month
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆55Updated last week
• facebookincubator / scrut
  Scrut is a testing toolkit for CLI applications. A tool to scrutinize terminal programs without fuss.
  ☆50Updated this week
• tree-sitter / tree-sitter-ql
  tree-sitter grammar for the CodeQL language
  ☆31Updated last week