首页 > 其他分享 >Cppcheck 检测器列表和检查规则大全一览

Cppcheck 检测器列表和检查规则大全一览

时间：2024-11-21 16:07:35浏览次数：1  
标签：检查 -- suppress 检测器 使用 cppcheck Cppcheck 大全

1、使用 Cppcheck 进行静态代码分析：完整的 shell 脚本与 CMake 集成实例

 

使用 Cppcheck 进行静态代码分析：完整的 shell 脚本与 CMake 集成实例

使用 Cppcheck 进行静态代码分析：完整的 shell 脚本与 CMake 集成实例
本文介绍如何使用 Cppcheck 进行静态代码分析，涵盖了 Cppcheck 的安装、基本配置和检测原理，并通过具体的 CMake 脚本示例，展示了如何在构建过程中自动运行 Cppcheck 分析，确保在编译阶段捕获并修正代码问题.

关于Clang-Tidy的使用请参考： 使用 Clang-Tidy 进行静态代码分析：完整的配置与 CMake 集成实例
关于OCLint的使用请参考： 使用 OCLint进行静态代码分析：完整的配置与 CMake 集成实例
1. 安装 Cppcheck
1.1. 克隆 Cppcheck 仓库
首先，从 GitHub 克隆 Cppcheck 仓库：

git clone https://github.com/danmar/cppcheck.git
cd cppcheck

1.2. 构建和安装 Cppcheck
使用以下命令构建和安装 Cppcheck：

mkdir build
cd build
cmake ..
make
sudo make install

 



2. 检测原理
Cppcheck 使用多种技术来分析 C/C++ 代码，包括但不限于以下几种：

语法解析：Cppcheck 使用自定义的语法解析器来理解 C/C++ 代码的结构。这包括函数、类、变量的定义和使用等。

数据流分析：Cppcheck 分析变量和数据在代码中的流动情况，以检测未初始化变量、空指针引用等问题。

符号执行：通过模拟代码执行路径，Cppcheck 能够发现逻辑错误和潜在的运行时问题。

配置驱动：Cppcheck 允许用户通过配置文件和命令行参数定制检查规则和抑制特定的警告，以减少误报并专注于真正的问题。

编译数据库：Cppcheck 支持读取编译数据库（如 compile_commands.json），从而准确地了解项目的编译选项和文件依赖关系。

通过以上技术，Cppcheck 能够在不需要编译代码的情况下，提供深入且全面的代码质量检查。

3. 脚本介绍
下面是一个用于运行 Cppcheck 的 Bash 脚本。该脚本配置了多个选项和抑制规则，以减少误报并生成详细的检查器报告。

#!/bin/bash

# cppcheck 命令行选项
OPTIONS="--enable=style \
--enable=performance \
--enable=portability \
--check-level=exhaustive"

# 根据你的配置，添加相应的检查项
EXTRA_OPTIONS="--enable=unusedFunction"

# 根据你的配置，添加相应的抑制选项
SUPPRESS="--suppress=information \
--suppress=missingIncludeSystem \
--suppress=unmatchedSuppression \
--suppress=passedByValue \
--suppress=unusedFunction \
--suppress=uninitMemberVar \
--suppress=uninitvar \
--suppress=nullPointer \
--suppress=shadowVariable \
--suppress=variableScope \
--suppress=duplicateExpression \
--suppress=useInitializationList"

# 包含路径
INCLUDE="-I /usr/include -I/usr/local/include"

# 如果需要设置最大函数复杂度，可以取消下面这行的注释
# OPTIONS="$OPTIONS --max-complexity=10"

# 运行 cppcheck
cppcheck --project=compile_commands.json $OPTIONS $EXTRA_OPTIONS $SUPPRESS $INCLUDE

 


4. Shell脚本详解
4.1. 基本选项

OPTIONS="--enable=style \
--enable=performance \
--enable=portability \
--check-level=exhaustive"

--enable=style：启用代码风格检查。
--enable=performance：启用性能检查。
--enable=portability：启用可移植性检查。
--check-level=exhaustive：进行详尽的检查，分析所有代码分支，尽管这样可能会增加分析时间。
4.2. 额外选项

EXTRA_OPTIONS="--enable=unusedFunction"

--enable=unusedFunction：启用未使用函数的检查。
4.3. 抑制选项
SUPPRESS="--suppress=information \
--suppress=missingInclude \
--suppress=missingIncludeSystem \
--suppress=unmatchedSuppression \
--suppress=passedByValue \
--suppress=unusedFunction \
--suppress=uninitMemberVar \
--suppress=uninitvar \
--suppress=nullPointer \
--suppress=shadowVariable \
--suppress=variableScope \
--suppress=duplicateExpression \
--suppress=useInitializationList"

这些选项用于抑制特定类型的警告，减少误报。例如：

--suppress=missingIncludeSystem：忽略缺少系统包含文件的警告。
--suppress=uninitMemberVar：忽略未初始化成员变量的警告。
4.4. 包含路径
INCLUDE="-I /usr/include -I/usr/local/include"

指定包含路径，以确保分析过程中能找到所有必要的头文件。

5. 检测实例
5.1. 使用 CMake 生成 compile_commands.json
为了使用 Cppcheck 的 --project 选项，你需要一个 compile_commands.json 文件。这个文件是一个编译数据库，包含项目中所有源文件的编译信息。
如果你的项目使用 CMake 构建，可以通过以下命令生成 compile_commands.json 文件：

cd /path/to/your/project
cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=ON .
1
2
运行上述命令后，会在项目的构建目录中生成一个 compile_commands.json 文件。

5.2. 运行 Cppcheck
cppcheck --project=compile_commands.json $OPTIONS $EXTRA_OPTIONS $SUPPRESS $INCLUDE --checkers-report=checkers_report.txt
1
--project=compile_commands.json：指定项目的编译数据库文件。
--checkers-report=checkers_report.txt：生成包含所有检查器详细信息的报告文件。
6. 结果示例
Checking /home/test/cppcheck/example.cpp ...
Checking /home/test/cppcheck/example.cpp: ALLOC_HOOK_VERSION=0xfe9abbf;__PIC__=1...
/home/test/cppcheck/example.cpp:13:10: style: Variable 'intPtr' can be declared as pointer to const [constVariablePointer]
int* intPtr = new int[100]; // 分配int类型的内存
^
/home/test/cppcheck/example.cpp:18:13: style: Variable 'doublePtr' can be declared as pointer to const [constVariablePointer]
double* doublePtr = new double(3.14); // 分配double类型的内存
^
/home/test/cppcheck/example.cpp:23:18: style: Variable 'strPtr' can be declared as pointer to const [constVariablePointer]
std::string* strPtr = new std::string("Hello, World!"); // 分配字符串类型的内存
^
/home/test/cppcheck/example.cpp:40:11: style: Variable 'mmapPtr' can be declared as pointer to const [constVariablePointer]
void* mmapPtr = mmap(nullptr, mmapSize, PROT_READ | PROT_WRITE, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);

7. 与 CMake 集成
通过将 Cppcheck 与 CMake 集成，我们可以在编译阶段自动运行代码分析，从而在早期发现潜在问题。以下将介绍如何在 CMake 构建系统中集成 Cppcheck，并解释相关脚本的工作原理。

7.1 CMake 脚本详解
cmake_minimum_required(VERSION 3.10)

# Project name
project(ExampleProject)

# Generate compile_commands.json to enable clang-tidy and cppcheck
set(CMAKE_EXPORT_COMPILE_COMMANDS ON)

# Include directories
include_directories(${CMAKE_SOURCE_DIR})

# example target
add_executable(example example.cpp)

# Find all .cpp files in the project source directory
file(GLOB_RECURSE ALL_CPP_FILES ${CMAKE_SOURCE_DIR}/*.cpp)

# Run cppcheck and generate a flag file if there are any warnings or errors
add_custom_target(run_cppcheck
COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_BINARY_DIR}/cppcheck_failed
COMMAND cppcheck --project=${CMAKE_BINARY_DIR}/compile_commands.json
--enable=style
--enable=performance
--enable=portability
--check-level=exhaustive
--enable=unusedFunction
--suppress=information
--suppress=missingIncludeSystem
--suppress=unmatchedSuppression
--suppress=passedByValue
--suppress=unusedFunction
--suppress=uninitMemberVar
--suppress=uninitvar
--suppress=nullPointer
--suppress=shadowVariable
--suppress=variableScope
--suppress=duplicateExpression
--suppress=useInitializationList
-I /usr/include
-I /usr/local/include
--error-exitcode=1
|| ${CMAKE_COMMAND} -E touch ${CMAKE_BINARY_DIR}/cppcheck_failed
COMMENT "Running cppcheck"
VERBATIM)

add_custom_target(check_cppcheck
COMMAND ${CMAKE_COMMAND} --build ${CMAKE_BINARY_DIR} --target run_cppcheck
COMMENT "Checking cppcheck results"
VERBATIM)

# Ensure run_cppcheck and check_cppcheck are run before building any target
add_dependencies(example check_cppcheck)

# Function to add Cppcheck pre-build check
function(add_cppcheck_pre_build target_name)
add_custom_command(TARGET ${target_name} PRE_BUILD
COMMAND ${CMAKE_COMMAND} -E echo "Running Cppcheck pre-build check for ${target_name}"
COMMAND /bin/bash -c
"if [ -f ${CMAKE_BINARY_DIR}/cppcheck_failed ]; \
then echo 'Stopping build due to Cppcheck errors.'; \
exit 1; else echo 'No Cppcheck issues found. Continuing build.'; fi"
COMMENT "Checking for Cppcheck issues before building ${target_name}"
VERBATIM)
endfunction()

# Add Cppcheck pre-build check for targets
add_cppcheck_pre_build(example)

7.2 CMake脚本细节解析
CMake 基本设置：

set(CMAKE_EXPORT_COMPILE_COMMANDS ON): 生成 compile_commands.json 文件，提供编译数据库，方便 Cppcheck 使用。
目标文件和包含路径：

include_directories(${CMAKE_SOURCE_DIR}): 包含项目源目录，以便 Cppcheck 可以找到所有必要的头文件。
file(GLOB_RECURSE ALL_CPP_FILES ${CMAKE_SOURCE_DIR}/*.cpp): 递归查找项目源目录下的所有 .cpp 文件，并将其存储在 ALL_CPP_FILES 变量中。这一步确保所有的源文件都包含在 Cppcheck 的检查范围内。
定义 Cppcheck 自定义目标：

add_custom_target(run_cppcheck ...):
COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_BINARY_DIR}/cppcheck_failed: 在运行 Cppcheck 之前，先删除可能存在的 cppcheck_failed 文件。
COMMAND cppcheck --project=${CMAKE_BINARY_DIR}/compile_commands.json ...: 运行 Cppcheck，并使用生成的 compile_commands.json 文件。通过各种 --enable 和 --suppress 选项配置检查的详细程度和要忽略的警告类型。--error-exitcode=1 表示如果发现任何错误，Cppcheck 将返回一个非零退出代码。
|| ${CMAKE_COMMAND} -E touch ${CMAKE_BINARY_DIR}/cppcheck_failed: 如果 Cppcheck 检查失败，创建一个名为 cppcheck_failed 的文件作为标志。
COMMENT "Running cppcheck": 提供执行过程中显示的注释。
VERBATIM: 确保命令字符串的精确性，不对其进行解释或修改。
add_custom_target(check_cppcheck ...):
COMMAND ${CMAKE_COMMAND} --build ${CMAKE_BINARY_DIR} --target run_cppcheck: 构建 run_cppcheck 目标，实际执行 Cppcheck 检查。
COMMENT "Checking cppcheck results": 提供执行过程中显示的注释。
VERBATIM: 确保命令字符串的精确性。
目标依赖关系：

add_dependencies(example check_cppcheck): 定义 example 目标依赖于 check_cppcheck 目标。这确保在构建 example 之前，先运行 Cppcheck 检查。
添加预构建检查：

function(add_cppcheck_pre_build target_name): 定义一个函数，用于为指定的目标添加 Cppcheck 预构建检查。
add_custom_command(TARGET ${target_name} PRE_BUILD ...):
COMMAND ${CMAKE_COMMAND} -E echo "Running Cppcheck pre-build check for ${target_name}": 在构建前输出一条消息，表示正在进行 Cppcheck 预构建检查。
COMMAND /bin/bash -c "if [ -f ${CMAKE_BINARY_DIR}/cppcheck_failed ]; then echo 'Stopping build due to Cppcheck errors.'; exit 1; else echo 'No Cppcheck issues found. Continuing build.'; fi": 运行一个 Bash 脚本，检查 cppcheck_failed 文件是否存在。如果存在，则终止构建并输出错误消息；如果不存在，则继续构建。
COMMENT "Checking for Cppcheck issues before building ${target_name}": 提供执行过程中显示的注释。
VERBATIM: 确保命令字符串的精确性。
为目标添加预构建检查：

add_cppcheck_pre_build(example): 为 example 目标添加 Cppcheck 预构建检查，确保在每次构建之前进行代码分析。

橘色的喵
已关注

25


20


0

————————————————

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

原文链接：https://blog.csdn.net/stallion5632/article/details/139544518

 

 

2【C/C++ 静态代码检查工具 Cppcheck 】Cppcheck 检测器列表和检查规则大全一览

2024-03-25572发布于黑龙江 版权   简介： 【C/C++ 静态代码检查工具 Cppcheck 】Cppcheck 检测器列表和检查规则大全一览

开启/关闭检查器

Cppcheck允许你通过命令行参数来启用或禁用特定的检查器。你可以使用--enable=参数来启用特定的检查器，或者使用--disable=参数来禁用特定的检查器。

例如，如果你只想启用内存相关的检查，你可以使用以下命令：

cppcheck --enable=warning,performance,portability,information,missingInclude --suppress=missingIncludeSystem yourfile.cpp
 

这个命令将启用所有的警告，性能，可移植性，信息和缺失包含的检查，但是会抑制系统缺失包含的警告。

你可以在Cppcheck的官方手册中找到更多关于如何使用这些参数的信息。手册中详细介绍了每个参数的用途和如何使用它们。

请注意，你需要根据你的需求来选择启用或禁用哪些检查器。不是所有的检查器都适合所有的情况，所以你需要根据你的代码和你想要检查的问题来选择合适的检查器。

内存泄漏相关检查

Cppcheck的内存泄漏检查是默认启用的，并且不能被单独禁用。

如果你想要检查内存泄漏，你应该使用–enable=all或者不使用–enable参数，因为内存泄漏检查是默认启用的。

性能相关

Cppcheck可以检查一些性能相关的问题。你可以通过以下命令来启用性能相关的检查：

cppcheck --enable=performance yourfile.cpp
 

这个命令将启用性能相关的检查，不会启用其他的检查器。

性能检查可以帮助你找到可能影响代码运行效率的问题，例如未使用的变量，未使用的函数返回值，以及可能导致性能下降的编程模式等。

然而，请注意，虽然Cppcheck可以帮助你找到一些性能问题，但它并不能替代完整的性能分析。如果你需要进行深入的性能分析，你可能需要使用专门的性能分析工具，如gprof，Valgrind的Callgrind，或者Intel VTune等。

你可以在Cppcheck的官方手册中找到更多关于如何使用这些参数的信息。

默认检查器

Cppcheck的默认检查器包括：

  • 错误（error）：这类检查器主要检测可能导致程序崩溃或者运行不正常的问题，例如内存泄漏、数组越界、未初始化的变量等。
  • 警告（warning）：这类检查器主要检测可能导致程序表现不如预期的问题，但不一定会导致程序崩溃，例如未使用的函数、未使用的变量等。

这两类检查器是默认启用的，无法被关闭。

对于其他的检查器，如样式（style）、性能（performance）、可移植性（portability）等，你可以通过--enable参数来启用或禁用。例如，如果你想启用所有的检查器，你可以使用--enable=all参数。

其他

  1. 预定义的输出格式：Cppcheck支持多种预定义的输出格式，包括与Visual Studio和gcc兼容的输出。你可以使用--template=vs或--template=gcc选项来获取这些格式的输出。
  2. 用户定义的输出格式：你可以创建自己的输出格式。例如，你可以使用--template="{file}:{line}: {severity}: {message}"来创建类似于传统gcc的警告消息格式。
  3. 插件：Cppcheck支持使用插件来进行额外的检查。例如，misra.py插件可以用来验证代码是否符合MISRA C 2012标准，这是一套为嵌入式系统开发的代码规范。你可以使用--addon=misra.py选项来启用这个插件。
  4. 库配置：当使用外部库（如WinAPI、POSIX、gtk、Qt等）时，Cppcheck可能不知道这些外部函数的行为。你可以使用.cfg文件来配置这些库的行为，以帮助Cppcheck更准确地检测问题。
  5. HTML报告：你可以将Cppcheck的XML输出转换为HTML报告。你需要Python和pygments模块来实现这个功能。在Cppcheck的源代码树中，有一个名为htmlreport的文件夹，其中包含一个可以将Cppcheck的XML文件转换为HTML输出的脚本。
  6. 检查级别：Cppcheck有两种检查级别：正常和详尽。正常级别的检查是默认的，旨在在“合理”的时间内提供有效的检查。详尽级别的检查可以通过--check-level=exhaustive选项启用，这种检查级别在你可以等待结果的情况下可能会更有用。
  7. 加速分析：有一些方法可以加速Cppcheck的分析，例如限制预处理器配置，限制ValueFlow的最大if计数，或者在GUI中使用各种选项来限制分析。

检查器

你可以通过命令行应用程序获取所有已实现的检查器的当前列表：

# 获取检查器列表
cppcheck --doc
# 获取错误消息列表
cppcheck --errorlist
 

检查器列表

64位可移植性

检查是否存在64位可移植性问题：

  • 将地址分配给/从int/long
  • 在函数返回时从/到整数转换地址

断言

如果在断言语句中有副作用，发出警告（因为这会在debug/release构建中导致不同的行为）。

自动变量

指向变量的指针只有在变量在作用域内时才有效。检查：

  • 返回指向自动或临时变量的指针
  • 将变量的地址分配给函数的有效参数
  • 返回对本地/临时变量的引用
  • 返回函数参数的地址
  • 指针参数的可疑赋值
  • 函数参数的无用赋值

布尔值

布尔类型检查：

  • 对布尔值进行递增
  • 将布尔表达式与0或1以外的整数进行比较
  • 使用关系运算符比较返回布尔值的函数
  • 使用关系运算符比较布尔值与布尔值
  • 在位表达式中使用布尔值
  • 在条件中进行指针加法（要么忘记解引用，要么需要指针溢出才能使条件为假）
  • 将布尔值赋给指针或浮点数
  • 从返回布尔值的函数返回非0或1的整数

Boost使用

检查Boost的无效使用：

  • 在BOOST_FOREACH中修改容器

边界检查

越界检查：

  • 数组索引越界
  • 指针算术溢出
  • 缓冲区溢出
  • strncat()的危险使用
  • 在检查之前使用数组索引
  • 部分字符串写入导致缓冲区未终止为零。
  • 检查是否将足够大的数组传递给函数
  • 以负大小分配内存

检查函数使用

检查函数使用：

  • 非void函数中缺少’return’
  • 没有使用某些函数的返回值
  • 函数的无效输入值
  • 如果调用了某个使用被禁止的函数，发出警告
  • memset()的第三个参数为零
  • memset()的第二个参数超出范围
  • memset()的第二个参数为浮点数
  • 对返回值进行std::move的复制消除优化
  • 使用memcpy()/memset()代替for循环

类

检查每个类的代码：

  • 缺少构造函数和复制构造函数
  • 应该是显式的构造函数
  • 所有变量都由构造函数初始化了吗？
  • 所有变量都由’operator='分配了吗？
  • 如果在类上使用了memset, memcpy等，发出警告
  • 如果为类分配了内存，是否使用了malloc()
  • 如果它是一个基类，检查析构函数是否是虚函数
  • 是否有未使用的私有函数？
  • 'operator='应检查自我赋值
  • 成员函数的常量性
  • 初始化的顺序
  • 建议使用初始化列表
  • 用自身初始化成员
  • 对’this’的可疑减法
  • 在构造函数/析构函数中调用纯虚函数
  • 重复的继承数据成员
  • 检查任意使用公共接口是否会导致零除错误
  • 删除“自我指针”然后访问’this’
  • 检查在覆盖虚函数时是否使用了’override’关键字
  • 检查’一次定义规则’是否被违反

条件

匹配赋值和其他条件的条件：

  • 不匹配的赋值和比较 => 比较总是真/假
  • 比较中的lhs和rhs不匹配 => 比较总是真/假
  • 检测使用|应该使用&的情况
  • 重复的条件和赋值
  • 检测匹配的’if’和’else if’条件
  • 不匹配的位与(a &= 0xf0; a &= 1; => a = 0)
  • 内部条件的相反总是假
  • 早期退出后的相同条件总是假
  • 总是真/假的条件
  • 通过||的互斥总是评估为真
  • 总是真/假的模结果的比较。
  • 已知的变量值 => 条件总是真/假
  • 无效的溢出测试。一些主流编译器在优化代码时会删除这样的溢出测试。
  • 在条件中可疑地分配容器/迭代器 => 条件总是真。

异常安全性

检查异常安全性：

  • 在析构函数中抛出异常
  • 在无效状态下抛出异常
  • 抛出捕获的异常的副本，而不是重新抛出原始异常
  • 通过值而不是引用捕获异常
  • 在noexcept, nothrow(), attribute((nothrow))或__declspec(nothrow)函数中抛出异常
  • 调用函数foo()时未处理的异常规范
  • 没有当前处理的异常就重新抛出

使用格式字符串的IO

检查使用格式字符串的输入/输出操作。

  • 'sprintf’函数的错误使用（数据重叠）
  • 'scanf’格式字符串中缺失或错误的宽度说明符
  • 使用已关闭的文件
  • 不定位的文件输入/输出导致

未定义的行为

  • 读取只打开用于写入的文件（反之亦然）
  • 在附加模式下打开的文件上进行重新定位操作
  • 同一文件不能在不同的流上同时打开用于读写
  • 在输入流上使用fflush()
  • 输出流的无效使用。例如：‘std::cout << std::cout;’
  • 给’printf’或’scanf’提供的参数数量错误

泄漏（自动变量）

检测当一个自动变量被分配但未被释放或被释放两次时。

内存泄漏（地址未被获取）

没有获取分配内存的地址

内存泄漏（类变量）

如果构造函数分配内存，那么析构函数必须释放它。

内存泄漏（函数变量）

当函数超出范围时是否有任何分配的内存

内存泄漏（结构体成员）

不要忘记释放结构体成员

空指针

空指针

  • 空指针解引用
  • 未定义的空指针算术

这是Cppcheck检查器列表的第二部分内容：

其他

其他检查：

  • 零除
  • 构造后立即销毁的作用域对象
  • 断言语句中的赋值
  • 释放无效内存位置的free()或delete
  • 与负右操作数的位操作
  • 将getc(),fgetc()和getchar()的返回值转换为字符并与EOF比较
  • 在InterlockedDecrement()调用后非交错访问的竞态条件
  • 表达式’x = x++;'依赖于副作用的求值顺序
  • 联合的重叠写入
  • 要么除以零，要么无用的条件
  • 移动或转发变量的访问。
  • const变量的冗余数据复制
  • 变量或缓冲区的后续赋值或复制
  • 通过值传递参数
  • 将NULL指针传递给具有可变参数数量的函数会导致UB。
  • C++代码中的C风格指针转换
  • 在不兼容的指针类型之间进行转换
  • 不完整的语句
  • 检查如何使用有符号字符变量
  • 变量的范围可以限制
  • 不寻常的指针算术。例如：“abc” + ‘d’
  • 在switch语句中的冗余赋值，增量，或位操作
  • 在switch语句中的冗余strcpy
  • switch()中可疑的case标签
  • 变量的赋值

STL使用

检查STL的无效使用：

  • 越界错误
  • 在迭代遍历容器时误用迭代器
  • 在调用中的容器不匹配
  • 在调用中的相同迭代器
  • 解引用已删除的迭代器
  • 对于向量：在使用push_back后使用迭代器/指针
  • 优化：使用empty()而不是size()来保证快速代码
  • 使用find时的可疑条件
  • 在关联容器中不必要的搜索
  • 冗余条件
  • 使用string::c_str()时的常见错误
  • string和STL函数的无用调用
  • 解引用无效的迭代器
  • 从空的STL容器中读取
  • 遍历空的STL容器
  • 考虑使用STL算法而不是原始循环
  • 使用互斥锁时的错误锁定

Sizeof

sizeof()使用检查

  • 数组作为函数参数的sizeof
  • 数值作为函数参数的sizeof
  • 使用sizeof(pointer)而不是指向的数据的大小
  • 查找’sizeof sizeof …’
  • 查找sizeof()内的计算
  • 查找sizeof()内的函数调用
  • 查找sizeof()的可疑计算
  • 使用’sizeof(void)'，这是未定义的

字符串

检测C风格字符串的误用：

  • 将源和目标传递给sprintf的重叠缓冲区
  • 'substr’和’strncmp’的长度参数错误
  • 可疑条件（字符串字面量的运行时比较）
  • 可疑条件（字符串/字符字面量作为布尔值）
  • 与char*变量的字符串字面量的可疑比较
  • 与char*变量的’\0’的可疑比较
  • 重叠的strcmp()表达式

类型

类型检查

  • 位移过多的位（只有在使用–platform时启用）
  • 有符号整数溢出（只有在使用–platform时启用）
  • 危险的符号转换，当有符号值可以为负时
  • 当将int结果分配给long变量时可能丢失信息
  • 当将int结果作为long返回值返回时可能丢失信息
  • 浮点转换溢出

未初始化的变量

未初始化的变量

  • 使用未初始化的局部变量
  • 使用分配的数据在初始化之前

未使用的函数

检查从未调用的函数

UnusedVar

UnusedVar检查

  • 未使用的变量
  • 分配但未使用的变量
  • 未读的变量
  • 未分配的变量
  • 未使用的结构成员

使用后缀运算符

如果使用后缀运算符++或–而不是前缀运算符，发出警告

Vaarg

检查变量参数列表的误用：

  • 向va_start()传递错误的参数
  • 将引用传递给va_start()
  • 缺少va_end()
  • 在打开之前使用va_list
  • 对va_start/va_copy()的后续调用

这是Cppcheck检查器列表的全部内容。

标签：检查,--,suppress,检测器,使用,cppcheck,Cppcheck,大全
From： https://www.cnblogs.com/blj28/p/18560995

相关文章

赞助商

阅读排行

网站主页关于我们联系我们网站地图

本网站内容转载自其他媒体，侵权联系[admin##ips99.com]。

Copyright © 2020-2023 IPS99 版权所有 IPS99