{"podcast":{"title":"Software Engineering Institute (SEI) Podcast Series","slug":"software-engineering-institute-sei-podcast-series-389154","podcast_index_feed_id":389154,"rss_url":"https://cmu-sei-podcasts.libsyn.com/rss","website_url":"https://www.sei.cmu.edu/publications/podcasts/index.cfm","image_url":"https://static.libsyn.com/p/assets/4/5/0/6/4506812e834bc5af16c3140a3186d450/5966_Libsyn.png","author":"Carnegie Mellon University Software Engineering Institute","episode_count":435,"summary":"The SEI Podcast Series presents conversations in software engineering, cybersecurity, and future technologies.","last_synced_at":"2026-08-01T02:18:38.616051+00:00","page_url":"https://stenobird.com/podcast/software-engineering-institute-sei-podcast-series-389154"},"episode":{"title":"Temporal Memory Safety in C and C++: An AI-Enhanced Pointer Ownership Model","slug":"temporal-memory-safety-in-c-and-c-an-ai-enhanced-pointer-ownership-model","published_at":"2026-02-09T21:23:00+00:00","page_url":"https://stenobird.com/podcast/software-engineering-institute-sei-podcast-series-389154/temporal-memory-safety-in-c-and-c-an-ai-enhanced-pointer-ownership-model","show_page_url":"https://stenobird.com/podcast/software-engineering-institute-sei-podcast-series-389154","url":"https://cmu-sei-podcasts.libsyn.com/temporal-memory-safety-in-c-and-c-an-ai-enhanced-pointer-ownership-model","audio_url":"https://traffic.libsyn.com/clean/secure/cmu-sei-podcasts/SEIP_12_04_FLYNN_SVOBODA.mp3?dest-id=762491","summary":"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.","meta_description":"In October 2025, CyberPress reported a critical security vulnerability in the Redis Server, an open-source in-memory database that allowed authenticated a…","key_points":[],"chapters":[],"topics":[],"duration_seconds":1465,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/software-engineering-institute-sei-podcast-series-389154/episodes/temporal-memory-safety-in-c-and-c-an-ai-enhanced-pointer-ownership-model/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/software-engineering-institute-sei-podcast-series-389154/temporal-memory-safety-in-c-and-c-an-ai-enhanced-pointer-ownership-model.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}