Netrino

Netrino

Home

Critical Software Safeguards Course: Lint and MISRA-C

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

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

Learn More

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

 

Testimonial

"Netrino training courses should be required before writing any embedded code."

General Dynamics

 

Newsletter Signup

Receive public course dates, how-to articles, and more. Learn more.

 

Bookmark It

Bookmark this page or share it with a colleague.

 

Netrino® and The Embedded Systems Expertssm are trademarks of Netrino, LLC.
Website contents copyright © 1999-2007 by Netrino, LLC. All rights reserved.

Netrino, LLC • 6030 Marshalee Drive #355 • Elkridge, Maryland 21075 • 866.78.EMBED
website by Accent Interactive