Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Info
titleGenerated Content

This page is automatically generated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly.

Version number:
1.12

C checkers

Guideline

callfmt

DCL11-C. Understand the type issues associated with variadic functions

castexpr

EXP05-C. Do not cast away a const qualification

castexpr

EXP36-C. Do not convert pointers into more strictly aligned pointer types

CC2.ARR02 araydecl

ARR02-C. Explicitly specify array bounds, even if implicitly defined by an initializer

araydecl CC2.EXP37

STR36EXP37-C. Do not specify the bound of a character array initialized with a string literalCall functions with the correct number and type of arguments

CC2.INT12 bitftype

INT12-C. Do not make assumptions about the type of a plain int bit-field when used in an expression

callargs CC2.PRE00

EXP37PRE00-C. Call functions with the correct number and type of arguments

callfmt

DCL11-C. Understand the type issues associated with variadic functions

Prefer inline or static functions to function-like macros

CC2.STR36

STR36

castexpr

EXP05-C. Do not cast away a const qualification

castexpr

EXP36-C. Do not convert pointers into more strictly aligned pointer types specify the bound of a character array initialized with a string literal

charcast

STR34-C. Cast characters to unsigned char before converting to larger integer sizes

charsgnd

STR04-C. Use plain char for characters in the basic character set

cmntdout_tokenuse

MSC04-C. Use comments consistently and in a readable fashion

cnstpnte

DCL00-C. Const-qualify immutable objects

cnstpnte

DCL13-C. Declare function parameters that are pointers to values not changed by the function as const

conststr

STR05-C. Use pointers to const when referring to string literals

cplxcall

FLP31-C. Do not call functions expecting real values with complex values

declgrup_srceline

DCL04-C. Do not declare more than one variable per declaration

declhidn

DCL01-C. Do not reuse variable names in subscopes

decltype

DCL07-C. Include the appropriate type information in function declarators

decltype

DCL31-C. Declare identifiers before using them

dtrigraf

PRE07-C. Avoid using repeated question marks

emptloop

void MSC40-C. Do not use an empty infinite loop

enuminit

INT09-C. Ensure enumeration constants map to unique values

evalordr

EXP30-C. Do not depend on order of evaluation between sequence pointsfor side-effects

exprctxt

EXP18-C. Do not perform assignments in selection statements

exprctxt

MSC05-C. Do not manipulate time_t typed values directly

exprprns

EXP00-C. Use parentheses for precedence of operation

exprprns

EXP13-C. Treat relational and equality operators as if they were nonassociative

filscope

DCL15-C. Declare file-scope objects or functions that do not need external linkage as static

filscope

DCL19-C. Minimize the scope of variables and functions

floateql

FLP06-C. Understand that floating-point arithmetic in C is inexact

forcntrl

FLP30-C. Do not use floating-point variables as loop counters

funcalls

EXP09-C. Use sizeof to determine the size of a type or variable

funcalls

MEM02-C. Immediately cast the result of a memory allocation function call into a pointer to the allocated type

funcalls

MEM08-C. Use realloc() only to resize dynamically allocated arrays

funparid

API08-C. Avoid parameter names in a function prototype

hedrname

PRE04-C. Do not reuse a standard header file name

hedrname

PRE08-C. Guarantee that header file names are unique

idb_charplan

INT07-C. Use only explicitly signed or unsigned char type for numeric values

idb_charplan

STR37-C. Arguments to character handling functions must be representable as an unsigned char

idntsiml

DCL02-C. Use visually distinct identifiers

ignrrtrn

FIO04-C. Detect and handle input and output errors

ignrrtrn

FIO34-C. Use int to capture the return value of character IO functions

ignrtrn

EXP12-C. Do not ignore values returned by functions

inclgard

PRE06-C. Enclose header files in an inclusion guard

intllnkg

DCL36-C. Do not declare an identifier with conflicting linkage classifications

ltrlsynt

DCL16-C. Use "L," not "l," to indicate a long value

macrbody

PRE01-C. Use parentheses within macros around parameter names

macrbody

PRE02-C. Macro replacement lists should be parenthesized

macrbody

PRE12-C. Do not define unsafe macros

macrcall

DCL03-C. Use a static assertion to test the value of a constant expression

macrcall

EXP31-C. Avoid side effects in assertions

macrcall

PRE00-C. Prefer inline or static functions to function-like macros

macrcall

PRE31-C. Avoid side effects in arguments to unsafe macros

macrcall

PRE32-C. Do not use preprocessor directives inside macro arguments

macrexpd

PRE03-C. Prefer typedefs to defines for encoding types

noeffect

MSC12-C. Detect and remove code that has no effect

nomagicc

DCL06-C. Use meaningful symbolic constants to represent literal values

optrargs

EXP21-C. Place constants on the left of equality comparisons

optrargs

INT13-C. Use bitwise operators only on unsigned operands

resvidnt_resvmacr

DCL37-C. Do not declare or define a reserved identifier

shiftrhs

INT34-C. Do not shift a negative number of bits or more bits than exist in the operand

stlibuse

ERR01-C. Use ferror() rather than errno to check for FILE stream errors

stlibuse

FIO07-C. Prefer fseek() to rewind()

stlibuse

FIO12-C. Prefer setvbuf() to setbuf()

stlibuse

MSC30-C. Do not use the rand() function for generating pseudorandom numbers

stlibuse

MSC24-C. Do not use deprecated or obsolescent functions

stltccat

STR10-C. Do not concatenate different type of string literals

swchsynt

MSC17-C. Finish every set of statements associated with a case label with a break statement

swchsynt

MSC20-C. Do not use a switch statement to transfer control into a complex block

unexfct

EXP06-C. Operands to the sizeof operator should not contain side effects

utypbtws

EXP14-C. Beware of integer promotion when performing bitwise operations on integer types smaller than int

utypbtws

INT02-C. Understand integer conversion rules