You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 32 Next »

Generated Content

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

Version number:
v7.5.0

Checker

Guideline

FLP05-CPP. Convert integers to floating point for floating point operations
INT18-CPP. Evaluate integer expressions in a larger size before comparing or assigning to that size
ASSERT_SIDE_EFFECTMSC11-CPP. Incorporate diagnostic tests using assertions
BAD_COMPAREMSC02-CPP. Avoid errors of omission
CHECKED_RETURNMEM52-CPP. Detect and handle memory allocation errors
CHECKED_RETURNEXP12-CPP. Do not ignore values returned by functions or methods
CHECKED_RETURNFIO04-CPP. Detect and handle input and output errors
DEADCODEMSC07-CPP. Detect and remove dead code
DEADLOCKCON53-CPP. Avoid deadlock by locking in a predefined order
DELETE_VOIDEXP57-CPP. Do not cast or delete pointers to incomplete classes
EVALUATION_ORDEREXP50-CPP. Do not depend on the order of evaluation for side effects
ImplementedCTR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array
MISSING_BREAKMSC18-CPP. Finish every set of statements associated with a case label with a break statement
NO_EFFECTMSC11-CPP. Incorporate diagnostic tests using assertions
RACE_CONDITIONCON52-CPP. Prevent data races when accessing bit-fields from multiple threads
UNREACHABLEMSC07-CPP. Detect and remove dead code
UNUSED_VALUEMSC12-CPP. Detect and remove code that has no effect
UNUSED_VALUEMSC13-CPP. Detect and remove unused values
USE_AFTER_FREEMEM50-CPP. Do not access freed memory
USE_AFTER_FREEMEM01-CPP. Store a valid value in pointers immediately after deallocation
USE_AFTER_FREEMEM11-CPP. Allocate and free memory in the same module, at the same level of abstraction

>

  • No labels