memory-safety

immunant/c2rust

Migrate C code to Rust

checkedc/checkedc

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.

mTvare6/hello-world.rs

🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1092🚀) dependencies🚀

google/zerocopy

checkedc/checkedc-clang

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.

mesalock-linux/mesapy

A Fast and Safe Python based on PyPy

mesalock-linux/mesalock-distro

MesaLock Linux: a memory-safe Linux distribution.

briansmith/untrusted

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

GJDuck/LowFat

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

r3-os/r3

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

GJDuck/EffectiveSan

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

GJDuck/RedFat

A binary hardening system

riscv/riscv-cheri

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

staticafi/sbt-instrumentation

Configurable instrumentation of LLVM bitcode

jiezhoucs/must-read

Lists of must-read papers (mainly security papers)

VoidLang/void

An open-source general-purpose programming language using the LLVM project.

occultlang/occult

An enigmatic programming language.

Dentrax/obscure-go

In-memory security with secure data types

GJDuck/BlueFat

Fully Randomized Pointers

GJDuck/libredfat

A hardened malloc() replacement

yvt/tokenlock

Provides cell types that decouple permissions from data.

RobbeDGreef/SafeCC

C Compiler that strives to be as (memory) safe as possible.

jlauinger/master-of-science

Identification and Analysis of unsafe.Pointer Usage Patterns in Open-Source Go Code

andrew-wja/instrumentor

instrumentor is a tool for instrumenting LLVM IR to detect problems at runtime. The initial focus is on memory safety issues such as leaks, use-after-free, stack smashing, and out-of-bounds access.

devraza/vaporise

A simple, featureful, and fast alternative to `rm`. [Mirror]

huangjiahua/neatlib

Some C++ utility library, especially on hash tables.

danakj/danakj.github.io

Thoughts about C++, Memory Safety, Library Design, Memory Safety, Sharp Edges

Herringway/pxtone

D port of PIXEL's pxtone music engine

Herringway/piyopiyo

D port of PIXEL's piyopiyo music engine

josh-tracey/exprimo

Exprimo is a JavaScript expression evaluator written in Rust.

little-dude/rust-talk

Internal presentation about Rust, focused on memory safety and concurrency

r3-os/r3_port_rx

Renesas RX port for R3-OS (WIP)

tripulse/rust-shit

Proof of the terrible consequences of amateur library design prevalent in the Rust community.

wllqwzx/LinearLang

LinearLang is a programming language based on linear type system that ensures memory safety.

dimstav23/SPP

SPP: Safe Persistent Pointers for Memory Safety