Skip to end of metadata
Go to start of metadata

This page was automatically generated and should not be edited.

The information on this page was provided by outside contributors and has not been verified by SEI CERT.

The table below can be re-ordered, by clicking column headers.

Tool Version: 6.23

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
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
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
V547 MSC01-C. Strive for logical completeness
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
V560 MSC01-C. Strive for logical completeness
V561 DCL01-C. Do not reuse variable names in subscopes
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
V600 MSC01-C. Strive for logical completeness
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
V641 MEM35-C. Allocate sufficient memory for an object
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
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
V719 MSC01-C. Strive for logical completeness
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
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
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
V785 MSC01-C. Strive for logical completeness
V786 MSC01-C. Strive for logical completeness
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
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
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