Когда вы запускаете анализ Средства поиска Ошибки, настройку по умолчанию для Find defects (-checkers) включает эти дефектные средства проверки.
| Дефект | Имя командной строки |
|---|---|
Absorption of float operand (Polyspace Bug Finder Access) | FLOAT_ABSORPTION |
Accessing object with temporary lifetime (Polyspace Bug Finder Access) | TEMP_OBJECT_ACCESS |
Alignment changed after memory reallocation (Polyspace Bug Finder Access) | ALIGNMENT_CHANGE |
Alternating input and output from a stream without flush or positioning call (Polyspace Bug Finder Access) | IO_INTERLEAVING |
Array access out of bounds (Polyspace Bug Finder Access) | OUT_BOUND_ARRAY |
Assertion (Polyspace Bug Finder Access) | ASSERT |
Atomic load and store sequence not atomic (Polyspace Bug Finder Access) | ATOMIC_VAR_SEQUENCE_NOT_ATOMIC |
Atomic variable accessed twice in an expression (Polyspace Bug Finder Access) | ATOMIC_VAR_ACCESS_TWICE |
Base class assignment operator not called (Polyspace Bug Finder Access) | MISSING_BASE_ASSIGN_OP_CALL |
Base class destructor not virtual (Polyspace Bug Finder Access) | DTOR_NOT_VIRTUAL |
Buffer overflow from incorrect string format specifier (Polyspace Bug Finder Access) | STR_FORMAT_BUFFER_OVERFLOW |
Call through non-prototyped function pointer (Polyspace Bug Finder Access) | UNPROTOTYPED_FUNC_CALL |
Character value absorbed into EOF (Polyspace Bug Finder Access) | CHAR_EOF_CONFUSED |
Closing a previously closed resource (Polyspace Bug Finder Access) | DOUBLE_RESOURCE_CLOSE |
Conversion or deletion of incomplete class pointer (Polyspace Bug Finder Access) | INCOMPLETE_CLASS_PTR |
Copy constructor not called in initialization list (Polyspace Bug Finder Access) | MISSING_COPY_CTOR_CALL |
Copy operation modifying source operand (Polyspace Bug Finder Access) | COPY_MODIFYING_SOURCE |
Data race (Polyspace Bug Finder Access) | DATA_RACE |
Data race on adjacent bit fields (Polyspace Bug Finder Access) | DATA_RACE_BIT_FIELDS |
Data race through standard library function call (Polyspace Bug Finder Access) | DATA_RACE_STD_LIB |
Dead code (Polyspace Bug Finder Access) | DEAD_CODE |
Deadlock (Polyspace Bug Finder Access) | DEADLOCK |
Deallocation of previously deallocated pointer (Polyspace Bug Finder Access) | DOUBLE_DEALLOCATION |
Declaration mismatch (Polyspace Bug Finder Access) | DECL_MISMATCH |
Destination buffer overflow in string manipulation (Polyspace Bug Finder Access) | STRLIB_BUFFER_OVERFLOW |
Destination buffer underflow in string manipulation (Polyspace Bug Finder Access) | STRLIB_BUFFER_UNDERFLOW |
Double lock (Polyspace Bug Finder Access) | DOUBLE_LOCK |
Double unlock (Polyspace Bug Finder Access) | DOUBLE_UNLOCK |
Environment pointer invalidated by previous operation (Polyspace Bug Finder Access) | INVALID_ENV_POINTER |
Errno not reset (Polyspace Bug Finder Access) | MISSING_ERRNO_RESET |
Exception caught by value (Polyspace Bug Finder Access) | EXCP_CAUGHT_BY_VALUE |
Exception handler hidden by previous handler (Polyspace Bug Finder Access) | EXCP_HANDLER_HIDDEN |
Float conversion overflow (Polyspace Bug Finder Access) | FLOAT_CONV_OVFL |
Float division by zero (Polyspace Bug Finder Access) | FLOAT_ZERO_DIV |
Format string specifiers and arguments mismatch (Polyspace Bug Finder Access) | STRING_FORMAT |
Improper array initialization (Polyspace Bug Finder Access) | IMPROPER_ARRAY_INIT |
Incompatible types prevent overriding (Polyspace Bug Finder Access) | VIRTUAL_FUNC_HIDING |
Incorrect data type passed to va_arg (Polyspace Bug Finder Access) | VA_ARG_INCORRECT_TYPE |
Incorrect pointer scaling (Polyspace Bug Finder Access) | BAD_PTR_SCALING |
Incorrect type data passed to va_start (Polyspace Bug Finder Access) | VA_START_INCORRECT_TYPE |
Incorrect use of offsetof in C++ (Polyspace Bug Finder Access) | OFFSETOF_MISUSE |
Incorrect use of va_start (Polyspace Bug Finder Access) | VA_START_MISUSE |
Incorrect value forwarding (Polyspace Bug Finder Access) | INCORRECT_VALUE_FORWARDING |
Inline constraint not respected (Polyspace Bug Finder Access) | INLINE_CONSTRAINT_NOT_RESPECTED |
Integer conversion overflow (Polyspace Bug Finder Access) | INT_CONV_OVFL |
Integer division by zero (Polyspace Bug Finder Access) | INT_ZERO_DIV |
Invalid assumptions about memory organization (Polyspace Bug Finder Access) | INVALID_MEMORY_ASSUMPTION |
Invalid deletion of pointer (Polyspace Bug Finder Access) | BAD_DELETE |
Invalid free of pointer (Polyspace Bug Finder Access) | BAD_FREE |
Invalid use of = (assignment) operator (Polyspace Bug Finder Access) | BAD_EQUAL_USE |
Invalid use of == (equality) operator (Polyspace Bug Finder Access) | BAD_EQUAL_EQUAL_USE |
Invalid use of standard library floating point routine (Polyspace Bug Finder Access) | FLOAT_STD_LIB |
Invalid use of standard library integer routine (Polyspace Bug Finder Access) | INT_STD_LIB |
Invalid use of standard library memory routine (Polyspace Bug Finder Access) | MEM_STD_LIB |
Invalid use of standard library routine (Polyspace Bug Finder Access) | OTHER_STD_LIB |
Invalid use of standard library string routine (Polyspace Bug Finder Access) | STR_STD_LIB |
Invalid va_list argument (Polyspace Bug Finder Access) | INVALID_VA_LIST_ARG |
Lambda used as typeid operand (Polyspace Bug Finder Access) | LAMBDA_TYPE_MISUSE |
Memory comparison of padding data (Polyspace Bug Finder Access) | MEMCMP_PADDING_DATA |
Memory comparison of strings (Polyspace Bug Finder Access) | MEMCMP_STRINGS |
Missing lock (Polyspace Bug Finder Access) | BAD_UNLOCK |
Missing null in string array (Polyspace Bug Finder Access) | MISSING_NULL_CHAR |
Missing return statement (Polyspace Bug Finder Access) | MISSING_RETURN |
Missing unlock (Polyspace Bug Finder Access) | BAD_LOCK |
Misuse of a FILE object (Polyspace Bug Finder Access) | FILE_OBJECT_MISUSE |
Misuse of errno (Polyspace Bug Finder Access) | ERRNO_MISUSE |
Misuse of errno in a signal handler (Polyspace Bug Finder Access) | SIG_HANDLER_ERRNO_MISUSE |
Misuse of sign-extended character value (Polyspace Bug Finder Access) | CHARACTER_MISUSE |
Misuse of structure with flexible array member (Polyspace Bug Finder Access) | FLEXIBLE_ARRAY_MEMBER_STRUCT_MISUSE |
Move operation on const object (Polyspace Bug Finder Access) | MOVE_CONST_OBJECT |
Noexcept function exits with exception (Polyspace Bug Finder Access) | NOEXCEPT_FUNCTION_THROWS |
Non-initialized pointer (Polyspace Bug Finder Access) | NON_INIT_PTR |
Non-initialized variable (Polyspace Bug Finder Access) | NON_INIT_VAR |
Null pointer (Polyspace Bug Finder Access) | NULL_PTR |
Object slicing (Polyspace Bug Finder Access) | OBJECT_SLICING |
Opening previously opened resource (Polyspace Bug Finder Access) | DOUBLE_RESOURCE_OPEN |
Operator new not overloaded for possibly overaligned class (Polyspace Bug Finder Access) | MISSING_OVERLOAD_NEW_FOR_ALIGNED_OBJ |
Partial override of overloaded virtual functions (Polyspace Bug Finder Access) | PARTIAL_OVERRIDE |
Partially accessed array (Polyspace Bug Finder Access) | PARTIALLY_ACCESSED_ARRAY |
Pointer access out of bounds (Polyspace Bug Finder Access) | OUT_BOUND_PTR |
Pointer or reference to stack variable leaving scope (Polyspace Bug Finder Access) | LOCAL_ADDR_ESCAPE |
Possible misuse of sizeof (Polyspace Bug Finder Access) | SIZEOF_MISUSE |
Possibly unintended evaluation of expression because of operator precedence rules (Polyspace Bug Finder Access) | OPERATOR_PRECEDENCE |
Predefined macro used as an object (Polyspace Bug Finder Access) | MACRO_USED_AS_OBJECT |
Preprocessor directive in macro argument (Polyspace Bug Finder Access) | PRE_DIRECTIVE_MACRO_ARG |
Resource leak (Polyspace Bug Finder Access) | RESOURCE_LEAK |
Return from computational exception signal handler (Polyspace Bug Finder Access) | SIG_HANDLER_COMP_EXCP_RETURN |
Self assignment not tested in operator (Polyspace Bug Finder Access) | MISSING_SELF_ASSIGN_TEST |
Shared data access within signal handler (Polyspace Bug Finder Access) | SIG_HANDLER_SHARED_OBJECT |
Side effect of expression ignored (Polyspace Bug Finder Access) | SIDE_EFFECT_IGNORED |
Sign change integer conversion overflow (Polyspace Bug Finder Access) | SIGN_CHANGE |
Signal call from within signal handler (Polyspace Bug Finder Access) | SIG_HANDLER_CALLING_SIGNAL |
Standard function call with incorrect arguments (Polyspace Bug Finder Access) | STD_FUNC_ARG_MISMATCH |
Stream argument with possibly unintended side effects (Polyspace Bug Finder Access) | STREAM_WITH_SIDE_EFFECT |
Subtraction or comparison between pointers to different arrays (Polyspace Bug Finder Access) | PTR_TO_DIFF_ARRAY |
Throw argument raises unexpected exception (Polyspace Bug Finder Access) | THROW_ARGUMENT_EXPRESSION_THROWS |
Too many va_arg calls for current argument list (Polyspace Bug Finder Access) | TOO_MANY_VA_ARG_CALLS |
Typedef mismatch (Polyspace Bug Finder Access) | TYPEDEF_MISMATCH |
Universal character name from token concatenation (Polyspace Bug Finder Access) | PRE_UCNAME_JOIN_TOKENS |
Unnamed namespace in header file (Polyspace Bug Finder Access) | UNNAMED_NAMESPACE_IN_HEADER |
Unreachable code (Polyspace Bug Finder Access) | UNREACHABLE |
Unreliable cast of function pointer (Polyspace Bug Finder Access) | FUNC_CAST |
Unreliable cast of pointer (Polyspace Bug Finder Access) | PTR_CAST |
Unsigned integer conversion overflow (Polyspace Bug Finder Access) | UINT_CONV_OVFL |
Use of automatic variable as putenv-family function argument (Polyspace Bug Finder Access) | PUTENV_AUTO_VAR |
Use of previously closed resource (Polyspace Bug Finder Access) | CLOSED_RESOURCE_USE |
Use of previously freed pointer (Polyspace Bug Finder Access) | FREED_PTR |
Useless if (Polyspace Bug Finder Access) | USELESS_IF |
Variable length array with nonpositive size (Polyspace Bug Finder Access) | NON_POSITIVE_VLA_SIZE |
Variable shadowing (Polyspace Bug Finder Access) | VAR_SHADOWING |
Write without a further read (Polyspace Bug Finder Access) | USELESS_WRITE |
Writing to const qualified object (Polyspace Bug Finder Access) | CONSTANT_OBJECT_WRITE |
Writing to read-only resource (Polyspace Bug Finder Access) | READ_ONLY_RESOURCE_WRITE |
Wrong type used in sizeof (Polyspace Bug Finder Access) | PTR_SIZEOF_MISMATCH |
