ossf / Memory-Safety

Related projects ⓘ

Alternatives and complementary repositories for Memory-Safety

• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated last year
• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆35Updated 11 months ago
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆32Updated last week
• google / authenticode-rs
  Rust tools for working with Authenticode
  ☆26Updated 2 weeks ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆44Updated 4 months ago
• rust-vmm / vm-fdt
  ☆14Updated 3 months ago
• microsoft / elfcore
  A Rust crate for creating memory dumps of running processes on Linux
  ☆51Updated 8 months ago
• google / oss-rebuild
  Securing open-source package ecosystems by originating, validating, and augmenting build attestations.
  ☆32Updated last week
• twiss / source-code-transparency
  Source Code Transparency
  ☆11Updated last year
• google / command-fds
  A Rust library for passing arbitrary file descriptors when spawning child processes.
  ☆31Updated this week
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆29Updated 6 months ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆55Updated 2 weeks ago
• ietf-wg-scitt / draft-ietf-scitt-architecture
  An Architecture for Trustworthy Digital Supply Chain Transparency Services
  ☆11Updated this week
• google / libtracecmd-rs
  Rust wrapper of libtracecmd
  ☆23Updated last year
• microsoft / rust-symcrypt
  Friendly and idiomatic Rust wrappers over SymCrypt
  ☆57Updated last week
• vusec / LookUB
  ☆11Updated 7 months ago
• jedisct1 / nonce-extension
  Make AES-GCM safe to use with random nonces, for any practical number of messages.
  ☆18Updated 7 months ago
• usnistgov / swid-tools
  ☆13Updated last month
• rust-vmm / vm-superio
  Emulation for legacy devices
  ☆29Updated 2 weeks ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆28Updated 4 months ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated last year
• intel / pin-based-cec
  Pin-Based Constant Execution Checker (Pin-based CEC)
  ☆15Updated this week
• microsoft / OmniLog
  System Audit Architecture with High Event Coverage and Synchronous Log Availability
  ☆15Updated 2 months ago
• sahmad98 / ebpf-tools
  eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel
  ☆15Updated 3 years ago
• ossf / alpha-omega
  Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.
  ☆84Updated 2 weeks ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆34Updated this week
• revng / orchestra
  rev.ng configuration for orchestra. The starting point for any development.
  ☆32Updated last week
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated 4 years ago
• vin01 / bogus-cves
  Got a bogus CVE someone got for a non-vuln? Please share here!
  ☆23Updated 3 months ago
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆42Updated this week