All Categories → No Category → memory-safety

Top 6 memory-safety open source projects

Wrangling Untrusted File Formats Safely

✭ 2,948

c go C++parsing codec memory-safety

Migrate C code to Rust

✭ 2,111

rust HTML python C++c lua translation security-hardening migration transpiler memory-safety cross-checking

Lists of must-read papers (mainly security papers)

✭ 13

security compiler memory-safety program-analysis isolation

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

✭ 87

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

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

✭ 95

C++LLVM c assembly objective c Objective-C++security llvm memory-safety type-checking sanitizer bounds-checking low-fat-pointers

sbt-instrumentation

Configurable instrumentation of LLVM bitcode

✭ 31

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

1-6 of 6 memory-safety projects