Skip to main content
  • Developers
  • Learning Hub
    • Learning Hub Developers
    Price. Buy. Download. Try.
    View All Resources

    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: Transforming Industrial Vehicles through Technology and Innovation

    In this webinar, experts from Qt Group, Novatron, Infineon, and Calm Tech Institute come together to...

    Watch video

    Webinar: The Cost of Code - Understanding and Overcoming Technical Debt

    Are you struggling with technical debt (also known as software erosion) or are curious about how it ...

    Watch video

    Webinar: Innovative GUI Solution for Resource-Limited Embedded System

    In this session learn how to overcome the traditional issues related to graphical user interface (GU...

    Watch video