The Wayback Machine - https://web.archive.org/web/20210818123836/https://github.com/topics/memory-safety

#

memory-safety

Here are 22 public repositories matching this topic...

google / wuffs

Star

Wrangling Untrusted File Formats Safely

programming-language parsing memory-safety codec

Updated Aug 15, 2021
C

immunant / c2rust

Star

Migrate C code to Rust

rust translation migration transpiler memory-safety security-hardening cross-checking

Updated Jul 30, 2021
Rust

mesalock-linux / mesapy

Star

A Fast and Safe Python based on PyPy

python rust memory-safety pypy sgx formal-verification

Updated Sep 3, 2020
Python

mesalock-linux / mesalock-distro

Star

MesaLock Linux: a memory-safe Linux distribution.

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

Updated Nov 12, 2018
Shell

mTvare6 / hello-world.rs

Star

Open

Doesn't build in docker :(

2

TheThing commented Aug 16, 2021

PS C:\Users\jonatan\Downloads\hello-world-rs> docker build -t hello-world-rs .
Sending build context to Docker daemon  336.9kB
Step 1/5 : FROM rust:1.31
1.31: Pulling from library/rust
cd8eada9c7bb: Pull complete
c2677faec825: Pull complete
fcce419a96b1: Pull complete
045b51e26e75: Pull complete
3b969ad6f147: Pull complete
2074c6bfed7d: Pull complete
Digest: sha256:e2c4e3751290e30c3

Read more

help wanted good first issue

Open

Rewrite in rust(🚀)?

9

briansmith / untrusted

Star

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

parsing memory-safety

Updated Jul 13, 2021
Rust

GJDuck / LowFat

Star

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

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

Updated Sep 24, 2020
C++

GJDuck / EffectiveSan

Star

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

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

Updated Jan 17, 2019
C++

centurion

albin-johansson / centurion

Star

A modern C++ wrapper library for SDL2 in order to improve type-safety, memory safety and overall ease-of-use.

Updated Aug 17, 2021
C++

staticafi / sbt-instrumentation

Star

Configurable instrumentation of LLVM bitcode

llvm instrumentation memory-safety memory-leak-detection null-check runtime-checking code-instrumentation dangling-pointer-detection llvm-instrumentation

Updated Aug 5, 2021
C++

Dentrax / obscure-go

Star

In-memory security with secure data types

data-type memory-safety obscure obscure-code in-memory-security memory-security

Updated Aug 20, 2020
Go

jzhou76 / must-read

Star

Lists of must-read papers (mainly security papers)

programming-language security compiler memory-safety program-analysis

Updated Aug 12, 2021

huangjiahua / neatlib

Star

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

library cxx concurrency memory-safety hashtable

Updated Jul 1, 2019
C++

RobbeDGreef / SafeCC

Star

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

c linux compiler x86 memory-safety c-compiler

Updated Nov 9, 2020
C++

jlauinger / master-of-science

Star

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

go open-source static-analysis memory-safety unsafe

Updated Mar 13, 2021
TeX

little-dude / rust-talk

Star

Internal presentation about Rust, focused on memory safety and concurrency

rust concurrency talks memory-safety

Updated Feb 15, 2018
TeX

wllvcxz / LinearLang

Star

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

programming-language toy-language memory-safety type-system substructural-logics linear-type

Updated Jun 12, 2017
OCaml

andrew-wja / instrumentor

Star

instrumentor is a tool for instrumenting LLVM IR to detect problems at runtime. instrumentor is intended to provide a clean, high-level, modern replacement for the sanitizer infrastructure which LLVM has evolved. The initial focus is on memory safety issues such as leaks, use-after-free, stack smashing, and so on.

llvm instrumentation memory-safety memory-leak

Updated Aug 10, 2021
C

catseye / Eightebed

Star

A C-like language with explicit free which is nonetheless safe

static-analysis garbage-collection memory-safety counterexample

Updated Jul 26, 2021
Python

Laeeth / dlang-safer-linux-kernel-dpp

Star

D for a safer linux kernel using dpp

linux-kernel dlang safety memory-safety dpp

Updated May 13, 2019
Shell

tniessen / constexpr-secded

Star

Header-only implementation of SECDED encoding as C/C++ constant expressions

constexpr memory-safety coding-theory

Updated May 6, 2021
C++

vmchale / lz-ats

Star

lzlib bindings for ATS

compression ffi memory-safety ats ffi-bindings compression-algorithm lz compression-implementations lzip lzlib lzlib-bindings

Updated Mar 25, 2020
ATS

Improve this page

Add a description, image, and links to the memory-safety topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the memory-safety topic, visit your repo's landing page and select "manage topics."