Alternatives and similar repositories for Memory-Safety

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

• vusec / LookUB
  ☆14Updated last year
• latchset / crypto-auditing
  Provides a way to monitor cryptographic operations performed on a system
  ☆14Updated 7 months ago
• omnibor / omnibor-rs
  Reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆27Updated last month
• 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.
  ☆68Updated this week
• tree-sitter / tree-sitter-ql
  tree-sitter grammar for the CodeQL language
  ☆27Updated 2 months ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆31Updated this week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• mozilla / supply-chain
  Aggregated audits for Rust crates by Mozilla
  ☆27Updated last week
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆41Updated 5 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…
  ☆75Updated last month
• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆36Updated last year
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆85Updated 2 months ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 10 months ago
• ossf / alpha-omega
  Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.
  ☆104Updated 3 weeks ago
• google / oss-rebuild
  Securing open-source package ecosystems by originating, validating, and augmenting build attestations.
  ☆40Updated this week
• REPROSEC / dolev-yao-star
  DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
  ☆16Updated 11 months ago
• sigstore / gh-action-sigstore-python
  A GitHub Action for sigstore-python
  ☆52Updated 2 weeks ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆83Updated this week
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆34Updated last year
• microsoft / monza
  Research unikernel for virtualized services
  ☆49Updated 2 years ago
• trailofbits / vscode-sarif-explorer
  SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results
  ☆27Updated this week
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆37Updated 4 years ago
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆52Updated last week
• rust-secure-code / go-rustaudit
  Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-auditable
  ☆20Updated 3 months ago
• trailofbits / binary_type_inference
  ☆19Updated 8 months ago
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆46Updated 3 months ago
• polyverse / zerotect
  An attack/exploit Detector that utilizes Polymorphism and Diversity
  ☆29Updated 2 years ago
• ossf / toolbelt
  ☆20Updated last week
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆18Updated last month