Skip to content

Cart

Your cart is empty

Upcoming Webinars

WEBINAR Recordings

WEBINAR: Ensuring Stack Safety: Preventing Stack Overflows in AI-Driven & Safety-Critical Embedded Systems
AbsInt Mar 26, 2025 - Mar 26, 2025

WEBINAR: Ensuring Stack Safety: Preventing Stack Overflows in AI-Driven & Safety-Critical Embedded Systems

Topics of Discussion* Motivation for and capabilities of static program analysis * Abstract interpretation-based static sound stack usage analysis. * Comparison to Legacy Methods * Sound and complete call graph reconstruction and visualization * Short introduction to Static Value Analysis * Result Representation and Statistics * Result Combination to calculate a global worst-case stack consumption * Integration into a CI/CD pipeline workflow * Automatic Tool Qualification to a Safety Standard
Learn more