Alternatives and similar repositories for Memory-Safety:

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

• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• moyix / 2_ffast_2_furious
  A more realistic demo of a buffer overflow cause by -ffast-math
  ☆11Updated 2 years ago
• google / rrg
  A Rust rewrite of the GRR agent.
  ☆50Updated this week
• trailofbits / binary_type_inference
  ☆16Updated 5 months ago
• microsoft / elfcore
  A Rust crate for creating memory dumps of running processes on Linux
  ☆52Updated 11 months ago
• omnibor / omnibor-rs
  Reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆25Updated 2 weeks ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• microsoft / onefuzz-samples
  Sample CICD Pipelines for OneFuzz
  ☆27Updated 2 years ago
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆26Updated 2 years ago
• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆35Updated last year
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆46Updated 3 weeks ago
• parallaxsecond / parsec-book
  Parsec documentation
  ☆12Updated 9 months ago
• google / oss-rebuild
  Securing open-source package ecosystems by originating, validating, and augmenting build attestations.
  ☆33Updated this week
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• ossf / alpha-omega
  Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.
  ☆90Updated last week
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆81Updated last month
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆27Updated 2 months ago
• vusec / LookUB
  ☆11Updated 10 months ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 7 months ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated last year
• mozilla / supply-chain
  Aggregated audits for Rust crates by Mozilla
  ☆24Updated last week
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆55Updated last week
• fishinabarrel / fishinabarrel.github.io
  Security research organization dedicated to finding low hanging, critical, vulnerabilities.
  ☆15Updated 2 years ago
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆32Updated this week
• iximeow / yaxpeax-arch
  fundamental traits to describe an architecture in the yaxpeax project
  ☆14Updated 7 months ago
• trailofbits / vscode-sarif-explorer
  SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results
  ☆22Updated last month
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆48Updated this week
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆38Updated 2 months ago
• microsoft / rust-symcrypt
  Friendly and idiomatic Rust wrappers over SymCrypt
  ☆60Updated this week