memory-safety

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.

c programming-language llvm clang memory-safety type-safety system-programming

UpdatedOct 7, 2024
C

google /zerocopy

Star1.8k

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

rust performance memory zero-copy memory-safety

UpdatedMar 22, 2025
Rust

checkedc /checkedc-clang

Star506

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

c llvm clang programming-languages memory-safety type-safety system-programming

UpdatedOct 5, 2024
C++

mesalock-linux /mesapy

Star371

A Fast and Safe Python based on PyPy

python rust memory-safety pypy sgx formal-verification

UpdatedAug 6, 2023
Python

mesalock-linux /mesalock-distro

Star371

MesaLock Linux: a memory-safe Linux distribution.

linux rust golang docker-image memory-safety linux-distros mesalock-linux

UpdatedNov 12, 2018
Shell

rsashka /memsafe

Star222

C++ Memory safety (memsafe) single-header libraries and Clang compiler plugin for safe C++, which reduces errors for reference data types and safe memory management without breaking backward compatibility with old C++ code.

research cpp header-only memory-safety cpp20 memsafe

UpdatedMar 21, 2025
C++

briansmith /untrusted

Star201

Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.

parsing memory-safety

UpdatedSep 4, 2023
Rust

GJDuck /LowFat

Star179

Lean C/C++ Bounds Checking with Low-Fat Pointers

security llvm memory-safety sanitizer bounds-checking low-fat-pointers

UpdatedMar 26, 2022
C++

r3-os /r3

Star163

R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics

rust kernel experimental cortex-m embedded-systems memory-safety rtos risc-v cortex-a embedded-rust

UpdatedApr 22, 2023
Rust

GJDuck /RedFat

Star104

A binary hardening system

binary x86-64 memory-safety hardening low-fat-pointers binary-rewriting binary-patching binary-hardening e9patch

UpdatedSep 30, 2023
C++

GJDuck /EffectiveSan

Star102

Runtime type and bounds-error checking for C/C++

security llvm memory-safety type-checking sanitizer bounds-checking low-fat-pointers

UpdatedDec 18, 2024
C++

MilesCranmer /BorrowChecker.jl

Star84

A borrow checker for Julia

testing programming-language rust development julia concurrency multithreading safety memory-safety code-quality memory-management ownership thread-safety development-tools borrow-checker

UpdatedFeb 23, 2025
Julia

riscv /riscv-cheri

Star63

This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.

memory-safety capabilities compartmentalization

UpdatedMar 21, 2025
Python

golf-lang /golf

Star41

Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on simplicity and memory safety..