WiproCheck
The programming language ‘C’ is today’s de facto standard for high level language programming of embedded systems. Code quality being of extreme importance in mission - or safety-critical systems, all automobile manufacturers are mandating documented MISRA compliance from their suppliers. Understanding the need of the hour, Wipro developed a static code analysis tool that supports veri?cation of Embedded Code Base for multiple compilers against any coding guidelines.

Tool Features

• Static Analysis Tool for 'C' Language
• Supports both MISRA-C: 1998 and MISRA C : 2004 Coding Guidelines
• Flexible enough to support any other coding standard
• Supports Embedded Code Base for three different compilers - COSMIC, DIAB and Tasking and can be easily extended to support other embedded compilers
• Performance comparable with similar tools like QAC, PC-Lint, etc.
• Can be run using Java based Graphical User Interface (GUI) as well as using Command Line Interface (CLI)
• Windows 2000/XP, Sun Solaris and Linux versions are available

• Project Wizard to help setup project settings
• Source ?les displayed in a tree structure
• Generation of reports in HTML format
• Powerful built-in text editor
• Provision to integrate user preferred external editor

• Flexible: The tool can be con?gured to verify against any coding guidelines. It can also be con?gured to support any embedded compiler without the need for modifying the original codebase under veri?cation.
• Powerful: The tool supports about 500 triggers spread across 12 different categories that can cater to the requirements of any coding standard. New triggers can also be added.
• Con?gurable: Users can integrate popular editors like UltraEdit, SlickEdit, etc., with the tool thereby working on the preferred environment.
• User friendly interface: User friendly GUI ease browsing through rule violations which can be done rule by rule or file by file.

• Preprocessor: Standard preprocessor
• ECP: Embedded Constructs Processor
• Parser: C Semantics Parser
• Preprocessor Parser: Preprocessor stage Parser
• Trigger Library: Interface between backend engine and code compliance rules
• Database: For storage of information required across multiple source ?les
• Rules Module: Implementation of code compliance rules