• Developers
    • 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

    Build the Future of Industrial Automation: Showcasing Qt Group's New High-Impact Demo

    Building on our customer experience and analysis of the industry trends, several teams of UI/UX desi...

    Watch video

    Creating future-proof Industrial Solutions–Architecture Verification & Static Code Analysis

    In the world of industrial automation, systems are required to solve more and more complex tasks. As...

    Watch video

    Navigating the Future Landscape of Industrial Automation Excellence

    Join experts from Bosch Global Software Technologies, Konecranes, and Qt Group as we explore the fut...

    Watch video