VectorCAST/Lint is a static source code analyzer that performs module based or whole-program source code analysis on C and C++ codebases and automatically identifies problems at their source, prior to compilation. VectorCAST/Lint static analysis helps developers find programming errors and other defects earlier in the software development cycle, prior to any formal testing, thereby reducing the cost, time, and risk associated with developing safety and mission critical embedded applications. Errors involving data initialization, type mismatch and intermodule inconsistencies can be very time consuming to find during code execution as they often result in a segmentation violation or other “crash”. VectorCAST/Lint identifies those errors before the code is compiled, thus speeding up the testing phase of your project.
VectorCAST/Lint utilizes the powerful Lint source code analysis engine from Gimpel Software and has been extended to support the extensive list of embedded compiler environments currently integrated with the VectorCAST dynamic testing product line.
Out-of-the-box, VectorCAST/Lint is configured for checking the MISRA C, MISRA C:2004, and MISRA C++:2008 standards. These standards recommend the use of a restricted subset of constructs for the C and C++ languages, with the goal being a safer and more maintainable use of the language. Areas of code that are non-conforming to the standard's built-in-rules are highlighted in code analysis reports. The MISRA checking features in VectorCAST/Lint include the detection of recursion, support for the MISRA 2 'underlying type' concept, determination of side effects for functions, and MISRA C++ support.
Download VectorCAST/Lint Datasheet