The automatic C/C++ code checker, lint, is a powerful but underutilized static analysis tool. The “2004 Guidelines for the Use of the C Language in Critical Systems” (a.k.a., MISRA-C) are similarly powerful and underused. On their own, lint and MISRA-C are powerful tools for preventing or detecting bugs and, thus, making embedded systems safer and more reliable. Furthermore, the value of following the MISRA-C coding guidelines is magnified many times by the use of lint or another static analysis tool as an automatic rule enforcer. This course introduces both static analysis and MISRA-C individually, then demonstrates how to put them together for maximum impact.

Length/Options

• 1 day (hands-on)
• 1/2 day (lecture only)

Audience

• Teams developing embedded software that must be safe or reliable

Prerequisites

• Working familiarity with the C programming language

Related Courses

• Hardware Interfacing with C
• Multithreaded Programming

Outline

• Static Analysis
• Rationale
• History of C and Lint
• Features and Capabilities
• Process Recommendations
• FlexeLint Demo
• Product Overview
• Setup/Configuration
• Demonstration on Client Code
• MISRA-C Guidelines
• History and Rationale
• Guidelines by Category with Examples, Tradeoffs, and Exceptions
• Rule Selection Recommendations
• Compliance Processes
• Enforcement via Static Analysis

Hands-On Tools/Platform

• Gimpel FlexeLint

Learn More

To request pricing or dates, or for more information about this course, contact us.