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
Reuter Events On-Demand Webinar: Maintain Market Competitiveness Through Your In-Vehicle Entertainment
This webinar is in conjuncture with Reuters Events: Automotive Europe 2025. In this webinar, the pan...
Watch videoWebinar: Building Exceptional 3D Embedded Experiences with Qt
Discover how the demand for 3D within industries has surged due to advancements in technology, acces...
Watch videoWebinar: Software Quality for Industrial Vehicles
Software Quality for Industrial Vehicles: Ensuring Excellence During Development Developing software...
Watch videoWebinar: Leveraging Shift-Left Testing for Enhanced Quality and Compliance
In the medical device industry, delivering safe, effective, reliable, and compliant products is mand...
Watch video