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 / authenticode-rs
  Rust tools for working with Authenticode
  ☆26Updated last month
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆26Updated 2 years ago
• omnibor / omnibor-rs
  Reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆25Updated last month
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 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 last month
• vusec / LookUB
  ☆11Updated 11 months ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆15Updated last year
• google / rrg
  A Rust rewrite of the GRR agent.
  ☆51Updated this week
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆48Updated this week
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆29Updated last month
• model-checking / kani-vscode-extension
  Kani VSCode Extension
  ☆17Updated last week
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆30Updated last month
• GaloisInc / daedalus
  The Daedalus data description language
  ☆69Updated last week
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆27Updated 3 months ago
• trailofbits / cargo-unmaintained
  Find unmaintained packages in Rust projects
  ☆70Updated this week
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆84Updated 3 weeks ago
• microsoft / rust-symcrypt
  Friendly and idiomatic Rust wrappers over SymCrypt
  ☆60Updated 3 weeks ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• microsoft / elfcore
  A Rust crate for creating memory dumps of running processes on Linux
  ☆52Updated last year
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆77Updated last month
• jix / zwohash
  A fast, deterministic, non-cryptographic hash for use in hash tables for Rust
  ☆15Updated 4 years ago
• google / oss-rebuild
  Securing open-source package ecosystems by originating, validating, and augmenting build attestations.
  ☆34Updated this week
• latchset / crypto-auditing
  Provides a way to monitor cryptographic operations performed on a system
  ☆14Updated 5 months ago
• trailofbits / linuxevents
  A sample PoC for container-aware exec events for osquery
  ☆24Updated last year
• mozilla / supply-chain
  Aggregated audits for Rust crates by Mozilla
  ☆26Updated last week
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• rust-secure-code / go-rustaudit
  Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-auditable
  ☆20Updated last month
• landaire / fazi
  drop-in replacement for libfuzzer
  ☆68Updated 6 months ago