ossf / Memory-SafetyLinks
☆33Updated 5 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.☆120Updated 2 months ago
- A suite of testvectors for X.509 certificate path validation and tools for building them☆56Updated this week
- CTADL is a static taint analysis tool☆51Updated 5 months ago
- Research unikernel for virtualized services☆52Updated 3 years ago
- A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disc…☆141Updated 2 years ago
- The model for the information captured in SPDX version 3 standard.☆97Updated last week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆82Updated this week
- ☆26Updated 7 months ago
- An Architecture for Trustworthy Digital Supply Chain Transparency Services☆17Updated 3 months ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆95Updated last week
- Compact certificate revocation lists for the WebPKI☆145Updated last week
- OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues☆192Updated this week
- ☆48Updated 2 weeks ago
- Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-auditable☆24Updated 11 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆62Updated 3 weeks ago
- ☆141Updated 3 weeks ago
- gradient-based symbolic execution engine implemented from scratch☆36Updated 2 years ago
- 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 2 weeks ago
- Rust implementation of OmniBOR, reproducible identifiers & fine-grained build dependency tracking for software artifacts.☆28Updated 6 months ago
- Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.☆112Updated this week
- A group of Rust projects for interacting with the SARIF format☆121Updated last week
- Helping allocate resources to secure the critical open source projects we all depend on.☆382Updated 8 months ago
- Source Code Transparency☆11Updated 2 years ago
- Modular framework for file information extraction and dependency analysis to generate accurate SBOMs☆39Updated this week
- Apport intercepts Program crashes, collects debugging information about the crash and the operating system environment, and sends it to b…☆30Updated 2 weeks ago
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆44Updated last month
- Bertie TLS 1.3 Implementation☆130Updated 3 months ago
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆16Updated last year
- A Rust crate for creating memory dumps of running processes on Linux☆64Updated 8 months ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆18Updated last year