WEBINAR series

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

Discover how AbsInt’s StackAnalyzer ensures stack safety in AI-driven & safety-critical embedded systems. Learn about static analysis, worst-case stack estimation, CI/CD integration, and tool qualification to prevent stack overflows

Wednesday March 26th 2025
11:00am-12:00pm EST

This event has passed, to view recording please sign in and view below.
Write your awesome label here.
Webinar Recording

Course Agenda

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

Write your awesome label here.
Please Sign in to View Webinar Recording
Write your awesome label here.

Presented by

Christian Hümbert

Christian completed his master’s degree program in computer science and chemics at the Saarland University in 2006. He investigated and developed parametric worst-case execution time analysis techniques. During his studies he was a member of the Honors Program at the Computer Science Department of the Saarland University. His current work is focused on functional safety and the formal validation and verification of safety-critical software. Since 2006, Christian Huembert is working as software engineer in the consulting department at AbsInt