Alternatives and similar repositories for Memory-Safety

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

• mitre / hipcheck
  Automatically assess and score software repositories for supply chain risk.
  ☆115Updated last month
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆55Updated this week
• microsoft / monza
  Research unikernel for virtualized services
  ☆52Updated 3 years ago
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆50Updated 4 months ago
• 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.
  ☆81Updated 2 weeks ago
• google / oss-vulnerability-guide
  A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disc…
  ☆140Updated 2 years ago
• rust-secure-code / go-rustaudit
  Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-auditable
  ☆23Updated 10 months ago
• spdx / spdx-3-model
  The model for the information captured in SPDX version 3 standard.
  ☆97Updated this week
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆50Updated last week
• omnibor / omnibor-rs
  Rust implementation of OmniBOR, reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆28Updated 5 months ago
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆77Updated 3 weeks ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆59Updated last month
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆60Updated 2 months ago
• 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…
  ☆79Updated last week
• google / rrg
  A Rust rewrite of the GRR agent.
  ☆61Updated last month
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆37Updated last week
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆94Updated 2 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆64Updated this week
• verus-lang / verusfmt
  An Opinionated Formatter for Verus
  ☆15Updated this week
• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆39Updated 2 years ago
• ossf / alpha-omega
  Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.
  ☆110Updated last week
• oasis-tcs / sarif-spec
  OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues
  ☆190Updated this week
• bpfverif / agni
  ☆47Updated last month
• mozilla / crlite
  Compact certificate revocation lists for the WebPKI
  ☆141Updated 2 months ago
• llnl / Surfactant
  Modular framework for file information extraction and dependency analysis to generate accurate SBOMs
  ☆37Updated this week
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆30Updated last month
• google / authenticode-rs
  Rust tools for working with Authenticode
  ☆32Updated this week
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated 11 months ago
• sigstore / model-transparency
  Supply chain security for ML
  ☆214Updated this week
• polyverse / zerotect
  An attack/exploit Detector that utilizes Polymorphism and Diversity
  ☆30Updated 3 years ago