WEBINAR: 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.
DATE
Wednesday March 26th 2025
SPEAKERS
Christian Hümbert
Online
Microsoft Teams
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
If you have any questions, please contact Alice Campbell
Email: alice.campbell@joraltechnologies.com
Phone: 613-215-3252
PRODUCTS
Manufacturers
Resource center