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

Share

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.

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

EMBEDDED IS EVERYWHERE