Software Engineering Institute (SEI) Podcast Series · Members of Technical Staff at the Software Engineering Institute
Temporal Memory Safety in C and C++: An AI-Enhanced Pointer Ownership Model
·24 min
As heard by us
A focused review of how LLMs and SAT solvers can automate parts of the Pointer Ownership Model for temporal memory safety.
Temporal memory safety is framed here as a software assurance problem with a real limit: bug hunting can expose known defects, but it cannot prove that unknown ones are absent.
Why you'd press play
Want to hear how GPT and a SAT solver help check pointer-ownership models for memory safety?
Listen to the show on