TASKING VX-toolset for ARM User Guide

Tool OptionsC compiler option: --certMenu entry1. Select C/C++ Compiler » CERT C Secure Coding.2. Make a selection from the CERT C secure code checking list.3. If you selected Custom, expand the Custom CERT C entry and enable one or more individualrecommendations/rules.Command line syntax--cert={all | name[-name],...}Default format: allDescriptionWith this option you can enable one or more checks for CERT C Secure Coding Standardrecommendations/rules. When you omit the argument, all checks are enabled. name is the name of aCERT recommendation/rule, consisting of three letters and two digits. Specify only the three-lettermnemonic to select a whole category. For the list of names you can use, see Chapter 19, CERT C SecureCoding Standard.On the command line you can use --diag=cert to see a list of the available checks, or you can use athree-letter mnemonic to list only the checks in a particular category. For example, --diag=pre lists allsupported preprocessor checks.ExampleTo enable the check for CERT rule STR30-C, enter:carm --cert=str30 test.cRelated informationChapter 19, CERT C Secure Coding StandardC compiler option --diag (Explanation of diagnostic messages)301