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.
  ☆78Updated this week
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆32Updated this week
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆46Updated 3 weeks ago
• omnibor / omnibor-rs
  Rust implementation of OmniBOR, reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆28Updated last month
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆92Updated last week
• mitre / hipcheck
  Automatically assess and score software repositories for supply chain risk.
  ☆114Updated this week
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆195Updated 3 months ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆51Updated 2 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆37Updated last week
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• 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.
  ☆54Updated 8 months ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆124Updated 3 months ago
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆46Updated last month
• REPROSEC / dolev-yao-star
  DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
  ☆18Updated 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 this week
• google / oss-vulnerability-guide
  A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disc…
  ☆137Updated last year
• GaloisInc / daedalus
  The Daedalus data description language
  ☆80Updated 6 months ago
• ossf / toolbelt
  ☆22Updated 3 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 6 months ago
• psastras / sarif-rs
  A group of Rust projects for interacting with the SARIF format
  ☆109Updated this week
• verus-lang / verusfmt
  An Opinionated Formatter for Verus
  ☆11Updated 3 weeks ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆20Updated 4 months ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated 2 years ago
• thesis-toolbox / template
  A template for writing your Bachelor, Master or PhD thesis.
  ☆11Updated 2 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆49Updated 2 months ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆43Updated 2 weeks ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆63Updated last week
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆114Updated last week