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.
  ☆120Updated 2 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.
  ☆82Updated last week
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆56Updated last week
• google / oss-vulnerability-guide
  A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disc…
  ☆141Updated 2 years ago
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆51Updated 5 months ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆59Updated this week
• spdx / spdx-3-model
  The model for the information captured in SPDX version 3 standard.
  ☆97Updated last week
• ossf / alpha-omega
  Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.
  ☆112Updated this week
• REPROSEC / dolev-yao-star
  DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
  ☆18Updated last year
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆62Updated 3 weeks ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆52Updated 3 years 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 2 weeks ago
• rust-secure-code / go-rustaudit
  Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-auditable
  ☆24Updated 11 months ago
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆78Updated last week
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆95Updated last week
• sigstore / model-transparency
  Supply chain security for ML
  ☆219Updated last week
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆39Updated 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
  ☆192Updated this week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆84Updated 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
• verus-lang / verusfmt
  An Opinionated Formatter for Verus
  ☆15Updated last week
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆270Updated 3 months ago
• Samsung / CredData
  CredData is a set of files including credentials in open source projects. CredData includes suspicious lines with manual review results a…
  ☆53Updated last week
• google / rrg
  A Rust rewrite of the GRR agent.
  ☆63Updated last week
• microsoft / scitt-ccf-ledger
  Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)
  ☆41Updated this week
• jvoisin / compiler-flags-distro
  Usage of enabled-by-default hardening-related compiler flags across Linux distributions
  ☆61Updated 11 months ago
• tree-sitter / tree-sitter-ql
  tree-sitter grammar for the CodeQL language
  ☆34Updated 5 months ago
• google / authenticode-rs
  Rust tools for working with Authenticode
  ☆33Updated last month
• polyverse / zerotect
  An attack/exploit Detector that utilizes Polymorphism and Diversity
  ☆30Updated 3 years ago
• twiss / source-code-transparency
  Source Code Transparency
  ☆11Updated 2 years ago