Alternatives and similar repositories for Memory-Safety

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

• moyix / 2_ffast_2_furious
  A more realistic demo of a buffer overflow cause by -ffast-math
  ☆11Updated 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.
  ☆68Updated 2 weeks ago
• google / oss-rebuild
  Securing open-source package ecosystems by originating, validating, and augmenting build attestations.
  ☆39Updated this week
• omnibor / omnibor-rs
  Reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆27Updated 3 weeks ago
• ElNiak / cupp-rs
  Common User Passwords Profiler (CUPP) in Rust
  ☆27Updated 9 months ago
• openrewrite / rewrite-analysis
  OpenRewrite recipes for data flow analysis.
  ☆11Updated last week
• latchset / crypto-auditing
  Provides a way to monitor cryptographic operations performed on a system
  ☆14Updated 6 months ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆40Updated 4 months ago
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆16Updated last week
• google / rrg
  A Rust rewrite of the GRR agent.
  ☆53Updated this week
• trailofbits / binary_type_inference
  ☆19Updated 8 months ago
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆26Updated 2 years ago
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆58Updated this week
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆49Updated 3 months ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆31Updated 2 weeks ago
• mozilla / supply-chain
  Aggregated audits for Rust crates by Mozilla
  ☆27Updated last week
• vusec / LookUB
  ☆12Updated last year
• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆36Updated last year
• REPROSEC / dolev-yao-star
  DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
  ☆15Updated 10 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated last week
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆50Updated this week
• microsoft / monza
  Research unikernel for virtualized services
  ☆49Updated 2 years ago
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆46Updated 2 months ago
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆84Updated last month
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆18Updated 2 weeks ago
• trailofbits / vscode-sarif-explorer
  SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results
  ☆23Updated last month
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆36Updated this week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆81Updated 2 weeks ago
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆53Updated last week