LinearLang is a programming language based on linear type system that ensures memory safety.
-
Updated
Jun 12, 2017 - OCaml
LinearLang is a programming language based on linear type system that ensures memory safety.
Internal presentation about Rust, focused on memory safety and concurrency
MesaLock Linux: a memory-safe Linux distribution.
D for a safer linux kernel using dpp
Some C++ utility library, especially on hash tables.
lzlib bindings for ATS
In-memory security with secure data types
C Compiler that strives to be as (memory) safe as possible.
A project to showcase my experience in secure C programming.
Identification and Analysis of unsafe.Pointer Usage Patterns in Open-Source Go Code
Header-only implementation of SECDED encoding as C/C++ constant expressions
MIRROR of https://codeberg.org/catseye/Eightebed : A C-like language with explicit free which is nonetheless safe
LLVM 11 compiler pass for HardBound instrumentation
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.
Proof of the terrible consequences of amateur library design prevalent in the Rust community.
Research paper On The Termination of Borrow Checking for Rust and a web application, CLI application and VSCode extension for running static analysis of rust-based smart contracts with a ready-to-be-verified project example.
Lean C/C++ Bounds Checking with Low-Fat Pointers
Renesas RX port for R3-OS (WIP)
Runtime type and bounds-error checking for C/C++
Add a description, image, and links to the memory-safety topic page so that developers can more easily learn about it.
To associate your repository with the memory-safety topic, visit your repo's landing page and select "manage topics."