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

Webinar: ASPICE in Two Weeks: How AI Transforms Embedded QA

Qt Group provides an integrated Quality Assurance (QA) solution to one of the world’s largest automo...

Watch Video

Webinar: When Healthcare HMI and Hardware Fail: Lessons in Building Safe, Compliant, and Future-Proof HIT Systems

This webinar is part of a two-part series that explores how medical Human–Machine Interfaces (HMIs) ...

Watch Video

Webinar: Safe, Smart, Seamless: Navigating HMI Hurdles in Lab Equipment

This webinar is part of a two-part series that explores how medical Human–Machine Interfaces (HMIs) ...

Watch Video

Strategies to Improve Software Quality Across the Development Lifecycle in 2026

Software quality can no longer be an afterthought, it’s the foundation of innovation and customer tr...

Watch Video