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: The Cyber Resilience Act: What Waiting is Costing US Software Teams
Starting September 11, 2026, the EU Cyber Resilience Act (CRA) requires companies to report actively...
Watch Video
Webinar: Architecture-Guided Migration to Rust
Rust promises memory safety and modern tooling — but migrating a large, safety-critical C or C++ cod...
Watch Video
On-Demand Webinar: CI/CD and Continuous Compliance of Embedded Software for Aerospace and Defense
Today, CI/CD for pure software products is well understood. But hardware dependencies and embedded d...
Watch Video
De-Risking AI Playbooks: How to Build Visual UI Tests That Remain 100% Deterministic
Pixel-by-pixel UI testing is too brittle for modern release cycles, yet LLMs introduce a dangerous l...
Watch Video