ossf / Memory-SafetyLinks
☆32Updated 3 months ago
Alternatives and similar repositories for Memory-Safety
Users that are interested in Memory-Safety are comparing it to the libraries listed below
Sorting:
- Automatically assess and score software repositories for supply chain risk.☆114Updated this week
- CTADL is a static taint analysis tool☆49Updated 3 months ago
- Research unikernel for virtualized services☆51Updated 2 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆78Updated last week
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆19Updated last year
- A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disc…☆139Updated 2 years ago
- A suite of testvectors for X.509 certificate path validation and tools for building them☆54Updated this week
- The model for the information captured in SPDX version 3 standard.☆94Updated last week
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆91Updated 3 weeks ago
- Simple grammar-based test case generator☆34Updated this week
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆39Updated 2 weeks ago
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- The Daedalus data description language☆84Updated 8 months ago
- Source Code Transparency☆11Updated 2 years ago
- Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.☆110Updated 3 weeks ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated 2 weeks ago
- Rust implementation of OmniBOR, reproducible identifiers & fine-grained build dependency tracking for software artifacts.☆28Updated 4 months ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆292Updated last week
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆48Updated 3 weeks ago
- Parallel Delta Debugging Framework☆53Updated last week
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆125Updated this week
- A taxonomy of attacks on software supply chains in the form of an attack tree, based on and linked to numerous real-world incidents and o…☆79Updated last week
- A group of Rust projects for interacting with the SARIF format☆116Updated this week
- Find unmaintained packages in Rust projects☆81Updated last week
- OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues☆186Updated last week
- ☆15Updated 4 months ago
- Pin-Based Constant Execution Checker (Pin-based CEC)☆20Updated 7 months ago
- ☆45Updated this week
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆94Updated last week
- OpenSSF Working Group on Securing Software Repositories☆123Updated 2 weeks ago