Join us for our upcoming webinar "Dealing with Undecidability in Static Code Analysis" on May 7, 2024 at 15:00 CEST with Dr. Sebastian Krings.
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.
This webinar concludes with a Q&A session - don't miss the chance to submit your questions to our expert.
Location | Online |
---|---|
Starts | 15:00 May 7, 2024 UTC +2 |
Ends | 16:00 May 7, 2024 UTC +2 |
Type | Live Webinars |
Cost | free |
Language | English |
Topics | Axivion Static Code Analysis, MISRA, Undecidability |