Static Code Analysis for C and C++ Using VectorCAST Lint Tool

EasyChair Preprint 9224

Abstract

VectorCAST/Lint uses the Industry Standard Lint Analysis Engine for C/C++ source code. Lint analysis identifies coding and logic errors in code that is otherwise syntactically correct. VectorCAST/Lint can examine individual source files or an entire application and provides comprehensive reporting capabilities. The VectorCAST/Lint tool is preconfigured to provide out-of-the box checking for the MISRA C, MISRA C 2004, and MISRA C++ 2008 standards. The VectorCAST/Lint message browser makes it easy to review errors and warnings in the context of the source file where they occur. Additionally, VectorCAST/Lint’s message browser displays detailed explanations of the concepts behind the analysis. VectorCAST/Lint merges the technology of two industry standard tools into a single IDE providing unprecedented efficiency for embedded developers.

Keyphrases: MISRA Guidelines, VectorCAST, static testing

@booklet{EasyChair:9224,
  author    = {Veeresh Havalad and K J Priyanka and B Shweta and R Muttanna and S Gokulan and A Mohammed and Yogendra C Dasar},
  title     = {Static Code Analysis for C and C++ Using VectorCAST Lint Tool},
  howpublished = {EasyChair Preprint 9224},
  year      = {EasyChair, 2022}}