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: EU Cyber Resilience Act (CRA): Are You Prepared?
An informational webinar for companies that make and sell products with digital elements.
Watch Video
Webinar: What Breaks (and What Holds) in MedTech – Engineering Techniques for Problems You'll Actually Face
Developing software for medical devices demands strict reliability, consistent performance, and regu...
Watch Video
Webinar: FactoryPulse: Deploying Vision AI and Generative AI at the Industrial Edge with Qt, Qualcomm, and Edge Impulse
A deep dive into running concurrent Vision AI, GenAI with Retrieval-Augmented Generation (RAG), and ...
Watch Video
Webinar: Survivre aux défis du développement logiciel en MedTech : solutions pour garantir fiabilité et performance.
Le développement de logiciels pour dispositifs médicaux exige une fiabilité à toute épreuve, des per...
Watch Video