Wrangling Untrusted File Formats Safely
-
Updated
Oct 9, 2021 - C
#
memory-safety
Here are 27 public repositories matching this topic...
Migrate C code to Rust
-
Updated
Oct 6, 2021 - Rust
A Fast and Safe Python based on PyPy
-
Updated
Sep 3, 2020 - Python
MesaLock Linux: a memory-safe Linux distribution.
-
Updated
Nov 12, 2018 - Shell
Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.
-
Updated
Jul 13, 2021 - Rust
Lean C/C++ Bounds Checking with Low-Fat Pointers
-
Updated
Sep 24, 2020 - C++
Runtime type and bounds-error checking for C/C++
-
Updated
Jan 17, 2019 - C++
A modern C++ wrapper library for SDL2 in order to improve type-safety, memory safety and overall ease-of-use.
windows
macos
linux
gamedev
wrapper
games
cross-platform
cpp
graphics
sdl
sdl2
modern-cpp
game-development
header-only
memory-safety
sdl-mixer
sdl-ttf
sdl-image
wrapper-library
-
Updated
Oct 6, 2021 - C++
Configurable instrumentation of LLVM bitcode
llvm
instrumentation
memory-safety
memory-leak-detection
null-check
runtime-checking
code-instrumentation
dangling-pointer-detection
llvm-instrumentation
-
Updated
Oct 5, 2021 - C++
In-memory security with secure data types
-
Updated
Aug 20, 2020 - Go
Lists of must-read papers (mainly security papers)
-
Updated
Sep 28, 2021
Some C++ utility library, especially on hash tables.
-
Updated
Jul 1, 2019 - C++
Provides cell types that decouple permissions from data.
-
Updated
Sep 4, 2021 - Rust
C Compiler that strives to be as (memory) safe as possible.
-
Updated
Nov 9, 2020 - C++
Identification and Analysis of unsafe.Pointer Usage Patterns in Open-Source Go Code
-
Updated
Mar 13, 2021 - TeX
LinearLang is a programming language based on linear type system that ensures memory safety.
-
Updated
Jun 12, 2017 - OCaml
Internal presentation about Rust, focused on memory safety and concurrency
-
Updated
Feb 15, 2018 - TeX
Safe string implementation in C
c
entropy
string
information-theory
levenshtein-distance
string-manipulation
memory-safety
memory-management
soundex
memory-leak
memory-safe
safestring
sstring
-
Updated
Oct 12, 2021 - C
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.
-
Updated
Sep 28, 2021 - Makefile
A C-like language with explicit free which is nonetheless safe
-
Updated
Jul 26, 2021 - Python
D for a safer linux kernel using dpp
-
Updated
May 13, 2019 - Shell
LLVM 11 compiler pass for HardBound instrumentation
-
Updated
Sep 20, 2021 - C++
Header-only implementation of SECDED encoding as C/C++ constant expressions
-
Updated
May 6, 2021 - C++
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
Virtual Prototype with symbolic execution support and HardBound path analyzer
-
Updated
Sep 20, 2021 - C++
Improve this page
Add a description, image, and links to the memory-safety topic page so that developers can more easily learn about it.
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."
When I first set out to study abroad, I knew it would be a life changing experience for me. Along the way I made new friends, tried new foods, and, most importantly: learned new languages.
As a result, I've decided to move on from my English-speaking past. I've successfully converted all of my personal stack to non-English except for one: this application.
My use case is: I use this script t