Alternatives and similar repositories for Memory-Safety

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

• google / oss-rebuild
  Securing open-source package ecosystems by originating, validating, and augmenting build attestations.
  ☆42Updated this week
• mozilla / supply-chain
  Aggregated audits for Rust crates by Mozilla
  ☆27Updated this week
• tree-sitter / tree-sitter-ql
  tree-sitter grammar for the CodeQL language
  ☆29Updated last month
• trailofbits / vscode-sarif-explorer
  SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results
  ☆29Updated last month
• slsa-framework / oss-na24-slsa-workshop
  ☆10Updated last year
• ossf / wg-endusers
  OpenSSF Endusers Working Group
  ☆28Updated last year
• mitre / hipcheck
  Automatically assess and score software repositories for supply chain risk.
  ☆113Updated last week
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆50Updated last year
• google / oss-vulnerability-guide
  A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disc…
  ☆136Updated last year
• ossf / alpha-omega
  Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.
  ☆106Updated last week
• google / netkat
  Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
  ☆24Updated this week
• omnibor / omnibor-rs
  Reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆27Updated 2 weeks ago
• ForAllSecure / mayhem-examples
  Mayhem example templates for programming languages and fuzzers that you love!
  ☆33Updated last year
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆17Updated 2 months ago
• microsoft / onefuzz-samples
  Sample CICD Pipelines for OneFuzz
  ☆27Updated 2 years 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.
  ☆70Updated 3 weeks ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆31Updated this week
• openrewrite / rewrite-analysis
  OpenRewrite recipes for data flow analysis.
  ☆12Updated last week
• trailofbits / binary_type_inference
  ☆19Updated 10 months ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆51Updated 2 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…
  ☆75Updated 2 months ago
• razvand / snippets
  Snippets, scripts, config files
  ☆16Updated 6 months ago
• google / rrg
  A Rust rewrite of the GRR agent.
  ☆54Updated this week
• vusec / LookUB
  ☆14Updated last year
• microsoft / sca-fuzzer
  Revizor - a fuzzer to search for microarchitectural leaks in CPUs
  ☆152Updated last week
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆33Updated last month
• spdx / spdx-3-model
  The model for the information captured in SPDX version 3 standard.
  ☆89Updated this week
• google / libprotobuf-mutator-asn1
  Library for structured fuzzing of ASN.1 DER/BER
  ☆19Updated 2 years ago
• google / oss-fuzz-vulns
  OSS-Fuzz vulnerabilities for OSV.
  ☆156Updated this week
• curl / curl-fuzzer
  Quality assurance testing for the curl project
  ☆91Updated this week