AI-Powered Memory Safety for C Applications
• Fact Sheet
The SEI pointer ownership model enforces memory safety for use-after-free and other temporal memory safety vulnerabilities.
Publisher
Software Engineering Institute
Topic or Tag
Abstract
Proving the absence of use-after-free errors and other temporal memory safety vulnerabilities is complex and costly, particularly in large codebases such as those for mission-critical military systems. Inspired by Rust's Borrow Checker and C++'s RAII principle, SEI's Pointer Ownership Model (POM) employs a Large Language Model (LLM) and a Satisfiability (SAT) Solver to automate the model development process.