#

memory-safety

Here are 36 public repositories matching this topic...

google / wuffs

Wrangling Untrusted File Formats Safely

programming-language parsing memory-safety codec

Updated Oct 20, 2022
C

immunant / c2rust

Migrate C code to Rust

rust translation migration transpiler memory-safety security-hardening

Updated Nov 2, 2022
Rust

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🚀

rust fast minimal speed rust-lang hello-world memory-safety rustlang helloworld rust-library configurable blazingly-fast rust-crate blazing-fast ciscringe rustisrewrite

Updated Oct 31, 2022
Rust

mesalock-linux / mesapy

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

MesaLock Linux: a memory-safe Linux distribution.

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

Updated Nov 12, 2018
Shell

briansmith / untrusted

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

parsing memory-safety

Updated Jul 13, 2021
Rust

GJDuck / LowFat

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

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

Updated Mar 26, 2022
C++

GJDuck / EffectiveSan

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

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

Updated Sep 21, 2022
C++

r3-os / r3

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

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

Updated Sep 15, 2022
Rust

GJDuck / RedFat

A binary hardening system

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

Updated Oct 26, 2022
C++

staticafi / sbt-instrumentation

Configurable instrumentation of LLVM bitcode

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

Updated May 16, 2022
C++

jzhou76 / must-read

Lists of must-read papers (mainly security papers)

c programming-language rust security compiler memory-safety program-analysis isolation

Updated Sep 6, 2022

Dentrax / obscure-go

In-memory security with secure data types

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

Updated Aug 20, 2020
Go

yvt / tokenlock

Provides cell types that decouple permissions from data.

rust multithreading memory-safety

Updated Jun 12, 2022
Rust

jlauinger / master-of-science

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

huangjiahua / neatlib

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

library cxx concurrency memory-safety hashtable

Updated Jul 1, 2019
C++

aiocat / cjel

🤩 Flexible interpreted programming language

c programming-language rust parser lisp interpreter flexible memory-safety lexer easy-to-use std

Updated May 29, 2022
Rust

RobbeDGreef / SafeCC

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

c linux compiler x86 memory-safety c-compiler

Updated Nov 9, 2020
C++

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.

llvm instrumentation memory-safety memory-leak

Updated Oct 21, 2021
Makefile

wllvcxz / LinearLang

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

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."