|
Checker
|
Guideline
|
|---|
|
V502
|
EXP00-C. Use parentheses for precedence of operation
|
|
V503
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V505
|
MEM05-C. Avoid large stack allocations
|
|
V506
|
DCL30-C. Declare objects with appropriate storage durations
|
|
V507
|
DCL30-C. Declare objects with appropriate storage durations
|
|
V510
|
FIO47-C. Use valid format strings
|
|
V511
|
ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array
|
|
V512
|
ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
|
|
V512
|
ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array
|
|
V513
|
MSC24-C. Do not use deprecated or obsolescent functions
|
|
V514
|
ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array
|
|
V516
|
EXP16-C. Do not compare function pointers to constant values
|
|
V517
|
MSC01-C. Strive for logical completeness
|
|
V518
|
STR31-C. Guarantee that storage for strings has sufficient space for character data and the null terminator
|
|
V519
|
MSC13-C. Detect and remove unused values
|
|
V520
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V521
|
EXP10-C. Do not depend on the order of evaluation of subexpressions or the order in which side effects take place
|
|
V522
|
EXP34-C. Do not dereference null pointers
|
|
V527
|
INT36-C. Converting a pointer to integer or integer to pointer
|
|
V528
|
INT36-C. Converting a pointer to integer or integer to pointer
|
|
V529
|
EXP15-C. Do not place a semicolon on the same line as an if, for, or while statement
|
|
V530
|
EXP12-C. Do not ignore values returned by functions
|
|
V531
|
MEM35-C. Allocate sufficient memory for an object
|
|
V532
|
EXP30-C. Do not depend on the order of evaluation for side effects
|
|
V533
|
MSC01-C. Strive for logical completeness
|
|
V534
|
MSC01-C. Strive for logical completeness
|
|
V535
|
MSC01-C. Strive for logical completeness
|
|
V536
|
DCL18-C. Do not begin integer constants with 0 when specifying a decimal value
|
|
V540
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V541
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V542
|
INT36-C. Converting a pointer to integer or integer to pointer
|
|
V548
|
EXP36-C. Do not cast pointers into more strictly aligned pointer types
|
|
V549
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V550
|
FLP02-C. Avoid using floating-point numbers when precise computation is needed
|
|
V551
|
MSC12-C. Detect and remove code that has no effect or is never executed
|
|
V555
|
INT02-C. Understand integer conversion rules
|
|
V556
|
MSC01-C. Strive for logical completeness
|
|
V557
|
ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
|
|
V558
|
DCL30-C. Declare objects with appropriate storage durations
|
|
V559
|
EXP45-C. Do not perform assignments in selection statements
|
|
V561
|
DCL01-C. Do not reuse variable names in subscopes
|
|
V562
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V563
|
EXP19-C. Use braces for the body of an if, for, or while statement
|
|
V564
|
EXP46-C. Do not use a bitwise operator with a Boolean-like operand
|
|
V566
|
INT36-C. Converting a pointer to integer or integer to pointer
|
|
V567
|
EXP30-C. Do not depend on the order of evaluation for side effects
|
|
V568
|
EXP44-C. Do not rely on side effects in operands to sizeof, _Alignof, or _Generic
|
|
V568
|
ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array
|
|
V569
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V573
|
EXP33-C. Do not read uninitialized memory
|
|
V574
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V575
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V576
|
FIO47-C. Use valid format strings
|
|
V576
|
DCL11-C. Understand the type issues associated with variadic functions
|
|
V577
|
MSC01-C. Strive for logical completeness
|
|
V579
|
ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array
|
|
V580
|
EXP39-C. Do not access a variable through a pointer of an incompatible type
|
|
V582
|
ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
|
|
V585
|
MEM34-C. Only free memory allocated dynamically
|
|
V586
|
MEM30-C. Do not access freed memory
|
|
V590
|
MSC01-C. Strive for logical completeness
|
|
V593
|
EXP00-C. Use parentheses for precedence of operation
|
|
V594
|
ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
|
|
V595
|
EXP34-C. Do not dereference null pointers
|
|
V596
|
MSC13-C. Detect and remove unused values
|
|
V597
|
MSC06-C. Beware of compiler optimizations
|
|
V600
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V601
|
INT36-C. Converting a pointer to integer or integer to pointer
|
|
V603
|
MSC13-C. Detect and remove unused values
|
|
V604
|
ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array
|
|
V605
|
INT02-C. Understand integer conversion rules
|
|
V606
|
MSC12-C. Detect and remove code that has no effect or is never executed
|
|
V609
|
INT33-C. Ensure that division and remainder operations do not result in divide-by-zero errors
|
|
V610
|
INT34-C. Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand
|
|
V612
|
MSC01-C. Strive for logical completeness
|
|
V613
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V614
|
EXP33-C. Do not read uninitialized memory
|
|
V615
|
FLP34-C. Ensure that floating-point conversions are within range of the new type
|
|
V618
|
FIO30-C. Exclude user input from format strings
|
|
V619
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V620
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V621
|
MSC21-C. Use robust loop termination conditions
|
|
V622
|
DCL41-C. Do not declare variables inside a switch statement before the first case label
|
|
V623
|
DCL30-C. Declare objects with appropriate storage durations
|
|
V628
|
EXP19-C. Use braces for the body of an if, for, or while statement
|
|
V629
|
INT00-C. Understand the data model used by your implementation(s)
|
|
V632
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V633
|
EXP45-C. Do not perform assignments in selection statements
|
|
V634
|
EXP00-C. Use parentheses for precedence of operation
|
|
V635
|
MEM35-C. Allocate sufficient memory for an object
|
|
V636
|
FLP06-C. Convert integers to floating point for floating-point operations
|
|
V639
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V640
|
EXP19-C. Use braces for the body of an if, for, or while statement
|
|
V641
|
EXP36-C. Do not cast pointers into more strictly aligned pointer types
|
|
V642
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V643
|
ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
|
|
V643
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V645
|
ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
|
|
V645
|
STR31-C. Guarantee that storage for strings has sufficient space for character data and the null terminator
|
|
V647
|
INT36-C. Converting a pointer to integer or integer to pointer
|
|
V648
|
EXP00-C. Use parentheses for precedence of operation
|
|
V649
|
MSC12-C. Detect and remove code that has no effect or is never executed
|
|
V650
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V658
|
INT30-C. Ensure that unsigned integer operations do not wrap
|
|
V664
|
EXP34-C. Do not dereference null pointers
|
|
V665
|
MSC00-C. Compile cleanly at high warning levels
|
|
V666
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V670
|
EXP33-C. Do not read uninitialized memory
|
|
V671
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V673
|
INT02-C. Understand integer conversion rules
|
|
V674
|
FLP36-C. Preserve precision when converting integral values to floating-point type
|
|
V675
|
STR30-C. Do not attempt to modify string literals
|
|
V675
|
ENV30-C. Do not modify the object referenced by the return value of certain functions
|
|
V676
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V677
|
DCL37-C. Do not declare or define a reserved identifier
|
|
V679
|
EXP33-C. Do not read uninitialized memory
|
|
V681
|
EXP10-C. Do not depend on the order of evaluation of subexpressions or the order in which side effects take place
|
|
V687
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V688
|
DCL01-C. Do not reuse variable names in subscopes
|
|
V692
|
STR32-C. Do not pass a non-null-terminated character sequence to a library function that expects a string
|
|
V694
|
ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
|
|
V695
|
MSC01-C. Strive for logical completeness
|
|
V696
|
MSC01-C. Strive for logical completeness
|
|
V697
|
ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array
|
|
V698
|
EXP12-C. Do not ignore values returned by functions
|
|
V699
|
EXP45-C. Do not perform assignments in selection statements
|
|
V701
|
WIN30-C. Properly pair allocation and deallocation functions
|
|
V703
|
DCL01-C. Do not reuse variable names in subscopes
|
|
V705
|
EXP19-C. Use braces for the body of an if, for, or while statement
|
|
V709
|
EXP13-C. Treat relational and equality operators as if they were nonassociative
|
|
V711
|
DCL01-C. Do not reuse variable names in subscopes
|
|
V712
|
MSC06-C. Beware of compiler optimizations
|
|
V713
|
EXP34-C. Do not dereference null pointers
|
|
V714
|
MSC13-C. Detect and remove unused values
|
|
V715
|
EXP15-C. Do not place a semicolon on the same line as an if, for, or while statement
|
|
V716
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V719
|
MSC01-C. Strive for logical completeness
|
|
V721
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V722
|
MSC01-C. Strive for logical completeness
|
|
V723
|
DCL30-C. Declare objects with appropriate storage durations
|
|
V724
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V726
|
MEM34-C. Only free memory allocated dynamically
|
|
V727
|
STR31-C. Guarantee that storage for strings has sufficient space for character data and the null terminator
|
|
V732
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V733
|
PRE01-C. Use parentheses within macros around parameter names
|
|
V736
|
ARR36-C. Do not subtract or compare two pointers that do not refer to the same array
|
|
V738
|
DCL30-C. Declare objects with appropriate storage durations
|
|
V739
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V742
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V743
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V744
|
MSC13-C. Detect and remove unused values
|
|
V747
|
MSC01-C. Strive for logical completeness
|
|
V751
|
MSC13-C. Detect and remove unused values
|
|
V755
|
STR31-C. Guarantee that storage for strings has sufficient space for character data and the null terminator
|
|
V757
|
EXP12-C. Do not ignore values returned by functions
|
|
V763
|
MSC13-C. Detect and remove unused values
|
|
V764
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V769
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V772
|
MSC15-C. Do not depend on undefined behavior
|
|
V773
|
MEM31-C. Free dynamically allocated memory when no longer needed
|
|
V774
|
MEM30-C. Do not access freed memory
|
|
V779
|
MSC12-C. Detect and remove code that has no effect or is never executed
|
|
V781
|
MEM35-C. Allocate sufficient memory for an object
|
|
V781
|
API00-C. Functions should validate their parameters
|
|
V782
|
ARR36-C. Do not subtract or compare two pointers that do not refer to the same array
|
|
V784
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V785
|
MSC01-C. Strive for logical completeness
|
|
V786
|
MSC01-C. Strive for logical completeness
|
|
V793
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V796
|
MSC17-C. Finish every set of statements associated with a case label with a break statement
|
|
V797
|
EXP12-C. Do not ignore values returned by functions
|
|
V798
|
ARR02-C. Explicitly specify array bounds, even if implicitly defined by an initializer
|
|
V821
|
DCL19-C. Minimize the scope of variables and functions
|
|
V1001
|
MSC13-C. Detect and remove unused values
|
|
V1004
|
EXP34-C. Do not dereference null pointers
|
|
V1004
|
EXP37-C. Call functions with the correct number and type of arguments
|
|
V1004
|
EXP08-C. Ensure pointer arithmetic is used correctly
|
|
V1012
|
INT30-C. Ensure that unsigned integer operations do not wrap
|
|
V1014
|
FLP37-C. Do not use object representations to compare floating-point values
|
|
V1015
|
EXP46-C. Do not use a bitwise operator with a Boolean-like operand
|
|
V1019
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V1024
|
FIO40-C. Reset strings on fgets() or fgetws() failure
|
|
V1026
|
INT32-C. Ensure that operations on signed integers do not result in overflow
|
|
V1028
|
INT30-C. Ensure that unsigned integer operations do not wrap
|
|
V1029
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V1031
|
DCL31-C. Declare identifiers before using them
|
|
V1032
|
EXP36-C. Do not cast pointers into more strictly aligned pointer types
|
|
V1034
|
FLP30-C. Do not use floating-point variables as loop counters
|
|
V1035
|
FIO44-C. Only use values for fsetpos() that are returned from fgetpos()
|
|
V1046
|
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
|
|
V1050
|
EXP33-C. Do not read uninitialized memory
|
|
V1058
|
EXP16-C. Do not compare function pointers to constant values
|
|
V1070
|
INT32-C. Ensure that operations on signed integers do not result in overflow
|
|
V1072
|
MEM03-C. Clear sensitive information stored in reusable resources
|
|
V1081
|
INT32-C. Ensure that operations on signed integers do not result in overflow
|
|
V1083
|
INT32-C. Ensure that operations on signed integers do not result in overflow
|
|
V1085
|
INT32-C. Ensure that operations on signed integers do not result in overflow
|
|
V1086
|
ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
|
|
V1086
|
ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an array
|
|
V1088
|
CON43-C. Do not allow data races in multithreaded code
|
|
V1091
|
INT36-C. Converting a pointer to integer or integer to pointer
|
|
V1103
|
EXP42-C. Do not compare padding data
|
|
V1104
|
EXP00-C. Use parentheses for precedence of operation
|
|
V1111
|
API00-C. Functions should validate their parameters
|
|
V2001
|
MSC24-C. Do not use deprecated or obsolescent functions
|
|
V2002
|
MSC24-C. Do not use deprecated or obsolescent functions
|
|
V2003
|
FLP34-C. Ensure that floating-point conversions are within range of the new type
|
|
V2004
|
FLP34-C. Ensure that floating-point conversions are within range of the new type
|
|
V2015
|
DCL01-C. Do not reuse variable names in subscopes
|
|
V2021
|
ERR06-C. Understand the termination behavior of assert() and abort()
|
|
V5003
|
MSC13-C. Detect and remove unused values
|
|
V5004
|
INT00-C. Understand the data model used by your implementation(s)
|
|
V5005
|
INT30-C. Ensure that unsigned integer operations do not wrap
|
|
V5006
|
INT02-C. Understand integer conversion rules
|
|
V5010
|
INT32-C. Ensure that operations on signed integers do not result in overflow
|
|
V5011
|
INT30-C. Ensure that unsigned integer operations do not wrap
|
