TASKING VX-toolset for ARM User Guide

TASKING VX-toolset for ARM User GuideThe TASKING compiler checks most of the level 1 and some of the level 2 CERT C recommendations/rules.For a complete overview of the supported CERT C recommendations/rules by the TASKING compiler,see Chapter 19, CERT C Secure Coding Standard.To apply CERT C code checking to your application1. From the Project menu, select Properties forThe Properties dialog appears.2. In the left pane, expand C/C++ Build and select Settings.In the right pane the Settings appear.3. On the Tool Settings tab, select C/C++ Compiler » CERT C Secure Coding.4. Make a selection from the CERT C secure code checking list.5. If you selected Custom, expand the Custom CERT C entry and enable one or more individualrecommendations/rules.On the command line you can use the option --cert.carm --cert={all | name [-name],...]With --diag=cert you can see a list of the available checks, or you can use a three-letter mnemonic tolist only the checks in a particular category. For example, --diag=pre lists all supported checks in thepreprocessor category.4.7.2. C Code Checking: MISRA-CThe C programming language is a standard for high level language programming in embedded systems,yet it is considered somewhat unsuitable for programming safety-related applications.Through enhancedcode checking and strict enforcement of best practice programming rules, TASKING MISRA-C codechecking helps you to produce more robust code.MISRA-C specifies a subset of the C programming language which is intended to be suitable for embeddedautomotive systems. It consists of a set of rules, defined in MISRA-C:2004, Guidelines for the Use of theC Language in Critical Systems (Motor Industry Research Association (MIRA), 2004).The compiler also supports MISRA-C:1998, the first version of MISRA-C.You can select this version withthe following C compiler option:--misrac-version=1998For a complete overview of all MISRA-C rules, see Chapter 20, MISRA-C Rules.166