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.☆119Updated 2 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆82Updated last week
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆50Updated 3 weeks ago
- CTADL is a static taint analysis tool☆50Updated 5 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆61Updated 2 weeks ago
- Simple grammar-based test case generator☆39Updated this week
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆95Updated 2 months ago
- A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…☆21Updated last week
- A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disc…☆141Updated 2 years ago
- A Rust rewrite of the GRR agent.☆62Updated last week
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆30Updated last week
- gradient-based symbolic execution engine implemented from scratch☆36Updated 2 years ago
- ROSA: Finding Backdoors with Fuzzing☆38Updated 7 months ago
- A suite of testvectors for X.509 certificate path validation and tools for building them☆56Updated last week
- The model for the information captured in SPDX version 3 standard.☆97Updated this week
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆18Updated last year
- An Opinionated Formatter for Verus☆15Updated 2 weeks ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Updated 5 months ago
- Parallel Delta Debugging Framework☆54Updated 2 months ago
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.☆23Updated last month
- Clade is a tool for extracting information about software build process and source code☆22Updated 2 years ago
- tree-sitter grammar for the CodeQL language☆34Updated 5 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 11 months ago
- Some experiments with SMT solvers and GIMPLE IR☆79Updated last week
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆61Updated 11 months ago
- Storage systems with verified correctness properties☆59Updated 2 months ago
- System for verifying the correctness of generated Copilot programs☆17Updated 8 months ago
- Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.☆111Updated 2 weeks ago
- Bertie TLS 1.3 Implementation☆130Updated 3 months ago