Temporal Memory Safety in C and C++: An AI-Enhanced Pointer Ownership Model

In October 2025, CyberPress reported a critical security vulnerability in the Redis Server, an open-source in-memory database that allowed authenticated attackers to achieve remote code execution through a use-after-free flaw in the Lua scripting engine. In 2024, another prominent temporal memory safety flaw was found in the Netfilter subsystem in the Linux kernel: CVE-2024-1086 . Bugs related to temporal memory safety, such as use-after-free and double-free vulnerabilities, are challenging issues in C and C++ code. In this podcast from the Carnegie Mellon University Software Engineering Institute (SEI) , Lori Flynn , a senior software security research er in the SEI's CERT Division, and David Svoboda , a senior software engineer, also in CERT, sit down with Tim Chick , technical manager of CERT's Applied Systems Group, to discuss recent updates to the Pointer Ownership Model for C , a modeling framework designed to improve the ability of developers to statically analyze C programs for errors involving temporal memory.

You can listen to Temporal Memory Safety in C and C++: An AI-Enhanced Pointer Ownership Model online on Radio and Podcast. Open the player on this page to stream the available audio.

Temporal Memory Safety in C and C++: An AI-Enhanced Pointer Ownership Model is an episode from Software Engineering Institute (SEI) Podcast Series by Carnegie Mellon University Software Engineering Institute.

This episode is 24:25 long.

This episode was published on Feb 9, 2026.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Software Engineering Institute (SEI) Podcast Series when more episodes are available from the podcast feed.