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
CRA-ready in der industriellen Automatisierung: Von der Entwicklung bis zur Integration
Industrielle Softwareteams arbeiten unter zunehmendem Druck - knappe Budgets, CRA-Compliance-Fristen...
Watch Video
Webinar: MISRA Monday 2026
MISRA compliance is non-negotiable, if you develop software for automotive, aerospace, medical, or i...
Watch Video
Video Podcast: Five Things From Auto China 2026 That Should Change Your SDV Roadmap
The modern in-vehicle experience starts in the architecture underneath the cockpit. The world’s bigg...
Watch Video
Webinar: EU Cyber Resilience Act (CRA): Are You Prepared?
An informational webinar for companies that make and sell products with digital elements.
Watch Video