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

Webinar: Beyond the Dashboard: Efficient GUI Testing for Android Automotive with Squish

Webinar: Beyond the Dashboard: Efficient GUI Testing for Android Automotive with Squish

The rapid evolution of Android Automotive is reshaping in-vehicle software experiences and testing i...

Watch video
Webinar: Automated Testing of Qt Quick Ultralite Apps on MCUs

Webinar: Automated Testing of Qt Quick Ultralite Apps on MCUs

Master GUI Testing in Resource-Constrained Environments with Squish for MCUs Automated GUI testing o...

Watch video
CUDA in regulated environments – Roundtable Talk

CUDA in regulated environments – Roundtable Talk

Can CUDA be safely utilized in regulated or safety-critical software development? Join our experts t...

Watch video
Webinar: Software Architecture Checks of classic AUTOSAR projects

Webinar: Software Architecture Checks of classic AUTOSAR projects

In classic AUTOSAR projects, dependencies between software components are implemented by a generated...

Watch video