Skip to main content
View All Resources

Dealing with Undecidability in Static Code Analysis

In the area of security regulations for critical embedded systems, compliance with coding guidelines is crucial, especially restricting the use of C and C++ to safe subsets. MISRA C and C++ are important sets of rules in this area.
The webinar will look at the distinction between "decidable" and "undecidable" rules and how static code analysis tools deal with this complexity. We will discuss the implications of undecidability for developers and strategies to reduce false positives and false negatives.
In addition, we will explore methods to improve efficiency when reviewing custom coding guidelines and learn how tool vendors are dealing with the challenges of undecidability.

Oh, here is more

Complete Android Automotive Testing | Demo with Squish

Complete Android Automotive Testing | Demo with Squish

In this technical demo, Andreas Muss demonstrates Squish's comprehensive testing solution for Androi...

Watch Video
Testing Stadium-Scale Audio Software: d&b's Journey with Squish & Qt

Testing Stadium-Scale Audio Software: d&b's Journey with Squish & Qt

Meet Alex from d&b audiotechnik, a leading manufacturer of professional PA audio systems for cru...

Watch Video
Stop Guessing, Start Fixing: AI-Assisted Test Debugging with Squish

Stop Guessing, Start Fixing: AI-Assisted Test Debugging with Squish

The Squish AI Assistant brings AI-powered support directly into the Squish IDE – helping you write c...

Watch Video
What's New in Squish 9.2 | 5 Major Features for Modern Test Automation

What's New in Squish 9.2 | 5 Major Features for Modern Test Automation

Bastian Steinbach, Director of Product Management and Product Marketing at Qt Group, introduces Squi...

Watch Video