kwinject fully supports many C/C++ compilers (see the list of supported compilers). If your compiler's exact name doesn't appear in the table, but you know it's one of the supported compiler types, you need to bind your compiler's name to the compiler type recognized by kwinject. Run kwinject with the --prog option. For example, if your compiler is gcc4 and you know this is a variant of GNU, run the following command:

kwinject --prog gcc4=gnu make

For more information on how to make this change permanent, see Binding your compiler name to a recognized compiler type.

Otherwise as of Klocwork 9.2, if your compiler is not supported, we no longer advise that you try to configure compiler support yourself. Instead, we are committed to providing this configuration for you for any C/C++ compiler that you need, with Python scripts (*_filter.py ). Note that these Python scripts are not meant to be edited.

For Klocwork 9.2 or later, submit a ticket to Klocwork support with the compiler name and the exact version, along with a trace file from kwinject. We should be able to provide compiler configuration for you within a short period of time. Providing support could take longer if your compiler features a different dialect of C/C++ and requires modifications to Klocwork's compiler to avoid parse errors.

Compiler attributes analyzed by Klocwork

The following table provides a list of compiler attributes supported by Klocwork issue analysis:

GNU attributes	Description
noreturn	A few standard library functions, such as abort and exit, cannot return. GCC knows this automatically. Some programs define their own functions that never return. You can declare them noreturn to let the compiler know this.
nonnull `(arg-index)`	Specifies that some function parameters should be non-null pointers.
format `(archetype, string-index, first-to-check)`	Specifies that a function takes printf, scanf, strftime or strfmon style arguments which should be type-checked against a format string. The parameter archetype determines how the format string is interpreted, and should be printf, scanf, strftime or strfmon. The parameter string-index specifies which argument is the format string argument (starting from 1), while first-to-check is the number of the first argument to check against the format string. For functions where the arguments are not available to be checked (such as vprintf), specify the third parameter as zero. In this case, the compiler only checks the format string for consistency. For strftime formats, the third parameter must be zero. Since non-static C++ methods have an implicit this argument, the arguments of such methods should be counted from two, not one, when giving values for string-index and first-to-check.
format_arg `(string-index)`	Specifies that a function takes a format string for a printf, scanf, strftime or strfmon style function and modifies it (for example, to translate it into another language), so that the result can be passed to a printf, scanf, strftime or strfmon style function (with the remaining arguments to the format function the same as they would have been for the unmodified string)
alias `("target")`	Causes the declaration to be emitted as an alias for another symbol, which must be specified
aligned `(alignment)`	Specifies a minimum alignment for the variable or structure field, measured in bytes
packed	Specifies that a variable or structure field should have the smallest possible alignment--one byte for a variable, and one bit for a field, unless you specify a larger value with the aligned attribute
MS attributes	Description
noreturn	see the GNU `noreturn` attribute description