Alternatives and similar repositories for Memory-Safety

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

• 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.
  ☆71Updated last month
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆32Updated this week
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• microsoft / monza
  Research unikernel for virtualized services
  ☆51Updated 2 years ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆20Updated 3 months ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• omnibor / omnibor-rs
  Rust implementation of OmniBOR, reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆28Updated last week
• google / oss-vulnerability-guide
  A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disc…
  ☆137Updated last year
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆54Updated this week
• bpfverif / agni
  ☆36Updated last week
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated 2 months ago
• latchset / crypto-auditing
  Provides a way to monitor cryptographic operations performed on a system
  ☆18Updated 9 months ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆61Updated this week
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated 2 years ago
• google / centipede
  ☆252Updated 2 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆89Updated this week
• mitre / hipcheck
  Automatically assess and score software repositories for supply chain risk.
  ☆114Updated this week
• lizhuohua / rust-ffi-checker
  ☆55Updated 2 years ago
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆236Updated last month
• S2-Lab / ERASan
  ☆47Updated last month
• microsoft / onefuzz-samples
  Sample CICD Pipelines for OneFuzz
  ☆27Updated 2 years ago
• rust-secure-code / go-rustaudit
  Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-auditable
  ☆20Updated 5 months ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated last year
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆50Updated last year
• landaire / fazi
  drop-in replacement for libfuzzer
  ☆70Updated 3 months ago
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆91Updated last week
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆74Updated last year
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆53Updated 3 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆38Updated 2 months ago