Migrate C code to Rust
-
Updated
May 20, 2024 - Rust
Migrate C code to Rust
Wrangling Untrusted File Formats Safely
MesaLock Linux: a memory-safe Linux distribution.
Lean C/C++ Bounds Checking with Low-Fat Pointers
A Fast and Safe Python based on PyPy
Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.
Runtime type and bounds-error checking for C/C++
Configurable instrumentation of LLVM bitcode
A binary hardening system
R3-OS — Experimental static (μITRON-esque) RTOS for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics
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.
In-memory security with secure data types
Provides cell types that decouple permissions from data.
MIRROR of https://codeberg.org/catseye/Eightebed : A C-like language with explicit free which is nonetheless safe
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.
An enigmatic programming language.
Internal presentation about Rust, focused on memory safety and concurrency
C Compiler that strives to be as (memory) safe as possible.
A formal definition of a language accompanied by proofs of its properties.
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."