memory-safety

Wrangling Untrusted File Formats Safely

Migrate C code to Rust

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

An autonomous agentic pipeline that finds, proves, and patches real C memory-safety vulnerabilities end-to-end using a single 7B open-source LLM (Qwen2.5-Coder) on vLLM, with AddressSanitizer as a ground-truth oracle.