Memory Safety
Showing 27 of 27 projects
A systems programming language focused on safety, speed, and concurrency, empowering everyone to build reliable and efficient software.
A collaborative set of guidelines, rules, and best practices for writing modern, safe, and effective C++ code.
A collaborative set of guidelines, rules, and best practices for writing modern, safe, and effective C++ code.
A general-purpose programming language designed for robustness, optimality, and clarity.
A simple, fast, safe, compiled programming language for developing maintainable software with C-like performance.
A simple, fast, safe, compiled programming language for building maintainable software with C-like performance and rapid compilation.
A prototype web browser engine written in Rust, designed for parallel processing and embedding in applications.
A suite of runtime sanitizers for detecting memory errors, data races, and undefined behavior in C/C++ programs.
A secure embedded operating system for microcontrollers that runs multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V platforms.
A transpiler that migrates C99-compliant code to unsafe Rust, preserving functionality and enabling incremental refactoring.
Asterinas is a production-grade, memory-safe Linux alternative built from the ground up in Rust with a modern framekernel architecture.
A conservative garbage collector for C and C++ providing automatic memory management without requiring language changes.
Safe Rust bindings to POSIX/Unix/Linux/Winsock syscalls with memory safety, I/O safety, and configurable backends.
A static binary code analysis toolkit for reverse engineers, featuring value/taint analysis, type reconstruction, and memory vulnerability detection.
A high-performance, lightweight, cross-platform QUIC library written in Rust, supporting HTTP/3 and multipath connections.
A high-performance, lightweight, cross-platform QUIC library written in Rust, supporting HTTP/3 and multipath connections.
A Rust implementation of the Open Containers Initiative runtime specification, providing memory-safe container execution.
A static analyzer for Rust programs that computes stack usage and generates call graphs, primarily for embedded systems.
A protocol-oriented, type-safe, thread-safe, and memory-safe notification center for Swift.
A static analysis tool for Rust that detects concurrency bugs, memory bugs, and panic locations.
A research prototype tool for modular formal verification of C, Rust, and Java programs using separation logic.
CMake modules to enable compiler sanitizers (AddressSanitizer, MemorySanitizer, etc.) for C/C++/Fortran projects.
A framework for writing PHP extensions in pure, safe Rust, enabling high-performance native modules.
An automatic formal verification tool that uses separation logic to verify memory safety of C programs.
A static and symbolic analysis tool for finding memory safety bugs in browser code and other software.
An extensible static analysis platform for Rust that detects memory safety bugs and performs advanced program analysis beyond rustc.
Safe Rust bindings to Lua 5.1 that closely mirror the C API while enforcing memory safety.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.