Wrangling Untrusted File Formats Safely
-
Updated
Jul 24, 2024 - C
Wrangling Untrusted File Formats Safely
Migrate C code to Rust
A Fast and Safe Python based on PyPy
MesaLock Linux: a memory-safe Linux distribution.
Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.
Lean C/C++ Bounds Checking with Low-Fat Pointers
R3-OS — Experimental static (μITRON-esque) RTOS for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics
Runtime type and bounds-error checking for C/C++
A binary hardening system
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
Configurable instrumentation of LLVM bitcode
Lists of must-read papers (mainly security papers)
An open-source general-purpose programming language using the LLVM project.
An enigmatic programming language.
In-memory security with secure data types
Fully Randomized Pointers
Provides cell types that decouple permissions from data.
A hardened malloc() replacement
C Compiler that strives to be as (memory) safe as possible.
Add a description, image, and links to the memory-safety topic page so that developers can more easily learn about it.
To associate your repository with the memory-safety topic, visit your repo's landing page and select "manage topics."