AbsInt StackAnalyzer Online Course

Learn how to use AbsInt StackAnalyzer to determine the worst-case stack usage of the tasks in your application.
Eliminate stack overflows!

Write your awesome label here.

AbsInt StackAnalyzer

StackAnalyzer automatically determines the worst-case stack usage of the tasks in your appli­cation. It lets you find any stack overflows, or formally prove the absence thereof.  This course is a deep dive into static analysis of user and system stack usage.

The course features practical exercises with the tool for each topic.

This course is aimed at software validation and verification engineers, QA engineers and developers of safety-critical code. After completing this comprehensive training, you will have the necessary skills to:

  •     Set up your own StackAnalyzer analyses
  •     Investigate and review findings
  •     Automate analyses and integrate them into the development process
  •     Deeper understand state-of-the-art static program analysis

 

Structure:

Online Zoom Training
10 students max

Scope:

4 Hours per module.
4 Sessions
16 hours total training

Agenda

StackAnalyzer Workshop – Basic:

  • Learning about aspects of Functional Safety, Static Program Analysis and Soundness by Abstract Interpretation (to accomplish safety requirements in the ISO26262, DO-178B/C, IEC-61508, etc. safety standards)
  • Introduction to Static Stack Usage Verification: Traditional Measurement Approach vs. Sound static analyses.
  • Learning the structure of the StackAnalyzer tool chain.
  • Working with Hands-On demonstrator examples for a StackAnalyzer project.
  • Learning the Basic Usage of the a3 GUI.
  • After completing this Basic StackAnalyzer Workshop, you will have the necessary skills to:
         -  Set up your own Stack analysis project in a3 StackAnalyzer
         - To produce your first worst-case stack usage results and interpret them correctly.
         - To use the call- and control flow graph interactively for a better understanding of the results.
         - To interpret the analysis statistics output.

StackAnalyzer Workshop – Advanced:

  • Special attention will be given to the possibilities of the AIS annotation language in this advanced workshop
  • More Advanced Options in Usage of the a3 GUI
  • Concept of Source Files in the a3 Tool
  • Learning on the concept of Calling Contexts
  • Loop Transformation and Loop Contexts
  • Learning the basic AIS2 Annotation Language:
       - Selecting the Analysis Scope
       - Excluding Code Snippets
       - Calls via Function Pointers
       - Indirect Calls and Branches
       - Recursions
       - Loop Bound Annotations
  • Source Code Annotations
  • Interactive Value Analysis
  • AIS Expressions
  • Learning Advanced AIS concepts to help improving Precision of Calculated Worst-Case Stack Result
  • Miscellaneous:
       - a3 Batch Mode
       - Result Combination
  • Tool Qualification Strategies and Solutions
  • Conclusion
Write your awesome label here.

Meet our instructor

Christian Huembert

Christian Huembert 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.