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
• google / oss-rebuild
  Securing open-source package ecosystems by originating, validating, and augmenting build attestations.
  ☆33Updated this week
• vusec / LookUB
  ☆11Updated 9 months ago
• microsoft / go-rustaudit
  Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-auditable
  ☆20Updated 4 months ago
• ietf-wg-scitt / draft-ietf-scitt-architecture
  An Architecture for Trustworthy Digital Supply Chain Transparency Services
  ☆11Updated this week
• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆35Updated last year
• microsoft / onefuzz-samples
  Sample CICD Pipelines for OneFuzz
  ☆27Updated 2 years ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆29Updated 8 months ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆44Updated 6 months ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆20Updated last year
• ossf / project-template
  OpenSSF Project Template
  ☆17Updated last year
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆50Updated this week
• google / rrg
  A Rust rewrite of the GRR agent.
  ☆50Updated this week
• llvm / llvm-lnt
  ☆29Updated 3 weeks ago
• WebAssembly / wasi-tools
  WASI tools
  ☆16Updated last year
• microsoft / didx509cpp
  A C++, header-only DID:x509 resolver
  ☆14Updated 5 months ago
• llvm / llvm-iwg
  The LLVM Infrastructure Working Group
  ☆18Updated 2 years ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• mozilla / supply-chain
  Aggregated audits for Rust crates by Mozilla
  ☆24Updated this week
• parallaxsecond / parsec-book
  Parsec documentation
  ☆12Updated 7 months ago
• google / libtracecmd-rs
  Rust wrapper of libtracecmd
  ☆25Updated last year
• omnibor / omnibor-rs
  Reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆22Updated this week
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆47Updated 2 months ago
• twiss / source-code-transparency
  Source Code Transparency
  ☆11Updated last year
• rust-vmm / vm-superio
  Emulation for legacy devices
  ☆29Updated last week
• google / authenticode-rs
  Rust tools for working with Authenticode
  ☆26Updated last week
• jedisct1 / nonce-extension
  Make AES-GCM safe to use with random nonces, for any practical number of messages.
  ☆18Updated 9 months ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆31Updated this week
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆32Updated this week