lint 命令行选项 - Oracle® Developer Studio 12.5：C 用户指南

语言：

5.3 `lint` 命令行选项

lint 程序是一个静态分析器。它不能求出它检测到的依赖性的运行时结果。例如，某些程序可能包含数百个无法执行到的 break 语句；虽然这些语句不太重要，但 lint 仍会对其进行标记。例如，可以在源文本中使用 lint 命令行选项和嵌入为注释的特殊指令，如下所示：

使用 -b 选项调用 lint 以禁止关于执行不到的 break 语句的所有错误消息。
在任何无法执行到的语句前面添加注释 /*NOT REACHED*/ 以禁止对该语句的诊断。

下面按字母顺序列出了 lint 选项，其中有几个 lint 选项与禁止 lint 诊断消息有关。表 15中也列出了这些选项以及它们禁止的具体消息（消息列在按字母排序的选项之后）。用于调用增强 lint 的选项以 -N 开头。

lint 可识别许多 cc 命令行选项，包括 -A、-D、-E、-g、-H、-O、-P、-U、-ansi、-std=value、-pedantic、-Xa、-Xc、-Xs、-Xt 和 -Y，不过，-g 和 -O 将被忽略。未识别的选项被警告并忽略。

5.3.1 `-#`

启用详细模式，在调用每个组件时进行显示。

5.3.2 `-###`

在调用每个组件时进行显示，但实际上并不会执行组件。

5.3.3 `-a`

禁止某些消息。请参阅表 15。

5.3.4 `-b`

禁止某些消息。请参阅表 15。

5.3.5 `-C` `filename`

使用指定的文件名创建 .ln 文件。这些 .ln 文件仅是 lint 的第一遍检查产生的文件。filename 可以是完整路径名。

5.3.6 `-c`

为命令行上的每个名为 .c 的文件创建一个 .ln 文件，该文件包含与 lint 的第二遍检查相关的信息。不执行第二遍检查。

5.3.7 `-dirout=dir`

指定目录 dir，会将 lint 输出文件（.ln 文件）放置在其中。此选项会影响 -c 选项。

5.3.8 `-err=warn`

-err=warn 是 -errwarn=%all 的宏。请参见-errwarn=t。

5.3.9 `-errchk=l(, l)`

执行 l 指定的其他检查。缺省值为 -errchk=%none。指定 -errchk 与指定 -errchk=%all 等效。l 是一个以逗号分隔的检查列表，由下表中的一个或多个标志组成，例如 -errchk=longptr64,structarg。

表 8 -errchk 标志

值	含义
`%all`	执行 `-errchk` 的所有检查。
`%none`	不执行 `-errchk` 的任何检查。这是缺省值。
`[no%]locfmtchk`	在 `lint` 的第一遍检查期间检查类似 `printf` 的格式字符串。无论您是否使用 `-errchk=locfmtchk`，`lint` 始终会在其第二遍检查时检查类似 `printf` 的格式字符串。
`[no%]longptr64`	检查是否可移植到其 `long` 整型和指针大小为 64 位、平整型大小为 32 位的环境。即使使用了显式强制类型转换，也检查指针表达式和 `long` 整型表达式是否赋值为平整型。请注意，系统头文件定义用于操纵指针的类型。使用 `-m32` 标志，这些类型可以定义为 `int` 等基本类型，这些类型无法安全操纵指针，从而导致 false 警告。例如，`size_t` 的使用： #include <stdlib.h> size_t myfiunk(uint32_t param) { return sizeof(uint64_t) * param; } . $ lint -m32 -mux -errchk=longptr64 bug.c (5) warning: assignment of 64-bit integer to 32-bit integer $
`[no%]structarg`	检查通过值传递的结构参数，并在形式参数类型未知时报告情况。
`[no%]parentheses`	检查代码中优先级的透明度。使用此选项可增强代码的可维护性。如果 `-errchk=parentheses` 返回一个警告，请考虑使用额外的括号明确地表示代码中操作的优先级。
`[no%]signext`	检查如下情况：标准 ISO C 值保留规则允许在无符号整型的表达式中进行带符号整型值的符号扩展。仅当同时指定 `-errchk=longptr64` 时，该选项才会生成错误消息。
`[no%]sizematch`	检查较长整数到较短整数的赋值并发出警告。对于具有不同符号的相同长度的整数之间的赋值（`unsigned int` 获取 `signed int`），也会发出这些警告。

5.3.10 `-errfmt=f`

指定 lint 输出的格式。f 可以为下列值之一：macro、simple、src 或 tab。

表 9 -errfmt 标志

值	含义
`macro`	显示错误的源代码、行号和位置，并展开宏。
`simple`	对于一行（简单）诊断消息，在括号中显示错误的行号和位置号。类似于 `-s` 选项，但是包含错误的位置信息。
`src`	显示错误的源代码、行号和位置（不展开宏）。
`tab`	以制表格式显示。这是缺省值。

缺省值为 -errfmt=tab。指定 -errfmt 与指定 -errfmt=tab 等效。

如果指定了多种格式，则使用最后指定的格式，并且 lint 发出有关未使用格式的警告。

5.3.11 `-errhdr=h`

在您也指定了 -Ncheck 时，让 lint 为头文件报告特定消息。h 是一个以逗号分隔的列表，它包含以下一项或多项：dir、no%dir、%all、%none、%user。

表 10 -errhdr 标志

值	含义
`dir`	报告目录 `dir` 中包含的头文件的 `-Ncheck` 消息。
`no%dir`	不报告目录 `dir` 中包含的头文件的 `-Ncheck` 消息。
`%all`	检查使用的所有头文件。
`%none`	不检查头文件
`%user`	检查所有已使用的用户头文件，即除了 `/usr/include` 及其子目录中的头文件以及编译器提供的头文件之外的所有头文件。这是缺省值。

示例：

% lint -errhdr=inc1 -errhdr=../inc2

在目录 inc1 和 ../inc2 中检查已使用的头文件。

% lint -errhdr=%all,no%../inc

检查除目录 ../inc 中的头文件之外的所有已使用的头文件。

5.3.12 `-erroff=tag`(, `tag`)

禁止或启用 lint 错误消息。

t 是一个以逗号分隔的列表，它包含以下项中的一项或多项：tag、no% tag、%all、%none。

表 11 -erroff 标志

值	含义
`tag`	禁止由该 `tag` 指定的消息。可通过 `-errtags=yes` 选项来显示消息的标记。
`no%tag`	启用由该 `tag` 指定的消息。
`%all`	禁止所有消息。
`%none`	启用所有消息。这是缺省值。

缺省值为 -erroff=%none。指定 -erroff 与指定 -erroff=%all 等效。

示例：

% lint -erroff=%all,no%E_ENUM_NEVER_DEF,no%E_STATIC_UNUSED

仅打印消息 “enum never defined” 和 “static unused”，并禁止其他消息。

% lint -erroff=E_ENUM_NEVER_DEF,E_STATIC_UNUSED

仅禁止消息 “enum never defined” 和 “static unused”。

5.3.13 `-errsecurity=level`

使用 -errsecurity 选项检查您的代码是否有安全漏洞。

level 必须为下表中显示的值之一。

表 12 -errsecurity 标志

`level` 值	含义
core	此级别检查的源代码构造几乎始终是不安全或难以验证的。此级别的检查包括：将变量格式字符串用于 `printf()` 和 `scanf()` 系列函数将无限制的字符串 (`%s`) 格式用于 `scanf()` 函数不安全地使用函数：`gets()`、`cftime()`、`ascftime()` 和 `creat()` 错误地使用 `open()` 和 `O_CREAT` 将在此级别生成警告的源代码视为错误。应更改有问题的源代码。在所有情况下，都应采用更安全简单的代码。
standard	此级别检查包括 core 级别的所有检查，以及可能安全、但有更好的可用替代代码的构造的检查。检查新近编写的代码时建议采用此级别检查。此级别的其他检查包括：使用 `strlcpy()` 之外的字符串复制函数使用弱随机数函数使用不安全的函数生成临时文件使用 `fopen()` 创建文件使用调用 shell 的函数使用新的或经过大幅修改的代码替换在此级别生成警告的源代码。应权衡消除传统代码中的这些警告对应用程序造成的不稳定风险。
extended	此级别检查包含几乎所有检查，包括 core 级别和 standard 级别的所有检查。此外，还会生成许多有关在某些情况下可能不安全的构造的警告。此级别的检查可用作检查代码的辅助措施，但无需将这些检查用作判断源代码是否可接受的标准检查。此级别的其他检查包括：在循环中调用 `getc()` 或 `fgetc()` 使用易于产生路径名争用情况的函数使用 `exec()` 系列函数 `stat()` 和其他函数之间的争用情况检查在此级别生成警告的源代码，确定是否存在潜在安全问题。
%none	禁用 `-errsecurity` 检查

如果未指定 -errsecurity 的设置，lint 会将它设置为 -errsecurity=%none。如果指定 -errsecurity 但不指定参数，lint 会将其设置为 -errsecurity=standard。

5.3.14 `-errtags=a`

显示每个错误消息的消息标记。a 可以是 yes 或 no。缺省值为 -errtags=no。指定 -errtags 与指定 -errtags=yes 等效。

可与所有 -errfmt 选项一起使用。

5.3.15 `-errwarn=t`

如果发出包括的警告消息，lint 会以失败状态退出。t 是一个以逗号分隔的列表，它包含以下一项或多项：tag、no%tag、%all、%none。标记的顺序很重要。例如，%all,no%tag 会导致 lint 在发出除 tag 之外的任何警告时，以严重状态退出。下表列出了 -errwarn 值。

表 13 -errwarn 标志

`tag` 值	含义
`tag`	如果此 `tag` 指定的消息作为警告消息发出，将导致 `lint` 以致命状态退出。如果未出现 `tag`，则没有影响。
`no%tag`	如果 `tag` 指定的消息仅作为警告消息发出，将防止 `lint` 以致命状态退出。如果未出现 `tag`，则没有影响。为了避免在发出警告消息时导致 lint 以致命状态退出，可使用该选项来还原以前用该选项和 `tag` 或 `%all` 指定的警告消息。
`%all`	如果发出了任何警告消息，将导致 `lint` 以致命状态退出。`%all` 可以后跟 `no%` `tag`，以避免该行为的特定警告消息。
`%none`	如果发出了任何警告消息，将防止任何警告消息导致 `lint` 以致命状态退出。

缺省值为 -errwarn=%none。单独指定 -errwarn 与 -errwarn=%all 等效。

5.3.16 `-F`

在引用命令行上指定的 .c 文件时，打印命令行上提供的路径名，而不是只打印其基名。

5.3.17 `-fd`

报告旧式函数定义或声明。

5.3.18 `-flagsrc=file`

使用文件 file 中包含的选项执行 lint。可在 file 中指定多个选项（每行一个）。

5.3.19 `-h`

禁止某些消息。请参阅表 15。

5.3.20 `-Idir`

在目录 dir 中搜索包含的头文件。

5.3.21 `-k`

改变 /* LINTED [message] */ 指令或 NOTE(LINTED(message)) 注释的行为。通常，lint 会针对这些指令后面的代码禁止警告消息。如果不设置该选项，lint 不禁止消息，而是打印包含指令或注释内部的注释的附加消息。

5.3.22 `-Ldir`

在与 -l 一起使用时，在目录 dir 中搜索 lint 库。

5.3.23 `-lx`

访问 lint 库 llib-lx.ln。

5.3.24 `-m`

禁止某些消息。请参阅表 15。

5.3.25 `-m32`|`-m64`

指定所分析的程序的数据类型模型。还搜索与所选的数据类型模型（32 位或 64 位）相对应的 lint 库。

使用 –m32 可验证 32 位 C 程序；使用 –m64 可验证 64 位程序。

在所有 Oracle Solaris 平台和不支持 64 位的 Oracle Linux 平台上，ILP32 数据类型模型（32 位 int、long、pointer 数据类型）是缺省值。在支持 64 位的 Oracle Linux 平台上缺省为 LP64 数据类型模型（64 位 long 和 pointer 数据类型）。–m64 仅允许在支持 LP64 模型的平台上使用。

注 - 在 Sun Studio 12 发行版之前，选择 –Xarch 选项会隐含数据类型模型 ILP32 或 LP64。此行为不再是事实。在大多数平台上，只需在命令行上添加 –m64，就可以通过 lint 调用 64 位程序。

5.3.26 `-Ncheck=c`

检查头文件中的相应声明，并检查宏。c 是一个以逗号分隔的检查列表，它包含以下一项或多项：macro、extern、%all、%none、no%macro、no%extern。

表 14 -Ncheck 标志

值	含义
`macro`	检查文件之间的宏定义的一致性。
`extern`	检查源文件与关联的头文件（例如，`file1.c` 与 `file1.h`）之间声明的一一对应关系。确保头文件中既无多余的 `extern` 声明，也不缺少 extern 声明。
`%all`	执行 `-Ncheck` 的所有检查。
`%none`	不执行 `-Ncheck` 的任何检查。这是缺省值。
`no%macro`	不执行 `-Ncheck` 的任何 `macro` 检查。
`no%extern`	不执行 `-Ncheck` 的任何 `extern` 检查。

缺省值为 -Ncheck=%none。指定 -Ncheck 与指定 -Ncheck=%all 等效。

值可能使用逗号组合在一起，例如 -Ncheck=extern,macro.。

以下示例执行除宏检查之外的所有检查。

% lint -Ncheck=%all,no%macro

5.3.27 `-Nlevel=n`

（已过时）在以后的发行版中将删除 -Nlevel 选项。

通过指定用于报告问题的增强 lint 分析级别，启用增强 lint 模式。此选项用于控制检测到的错误量。级别越高，检验时间越长。n 是一个数字： 1、2、3 或 4。没有缺省值。如果未指定 -Nlevel，lint 会使用其基本分析模式。如果指定不带任何参数的 -Nlevel，lint 会设置 -Nlevel=4。

有关基本和增强 lint 模式的说明，请参见使用 lint。

5.3.27.1 `-Nlevel=1`

分析单个过程。报告发生在某些程序执行路径上的无条件错误。不执行全局数据和控制流分析。

5.3.27.2 `-Nlevel=2`

分析整个程序，包括全局数据和控制流。报告发生在某些程序执行路径上的无条件错误。

5.3.27.3 `-Nlevel=3`

分析整个程序，包括常量传播（常量用作实际参数时的情况）以及在 -Nlevel=2 下执行的分析。

在此分析级别检验 C 程序所用的时间比前一级别长 2 到 4 倍。需要额外的时间是因为 lint 通过为程序变量创建可能值的集合对程序进行部分解释。这些变量集合是以常量以及包含程序中的常量操作数的条件语句为基础创建的。这些集合形成创建其他集合的基础（一种常量传播形式）。

作为分析结果接收的集合根据以下算法来评估正确性：

如果对象的所有可能值之中存在一个正确值，则该正确值用作进一步传播的基础；否则诊断出一个错误。

5.3.27.4 `-Nlevel=4`

分析整个程序，并报告使用某些程序执行路径时会发生的条件错误，以及在 -Nlevel=3 下执行的分析。

在此分析级别上，存在更多诊断消息。分析算法通常对应于 -Nlevel=3 的分析算法，所不同的是任何无效值现在会生成一条错误消息。在此级别上进行分析所需的时间增大两个数量级（大约慢 20 到 100 倍）。在此情况下，需要的多余时间与以递归、条件语句等类似内容为特征的程序复杂性直接成比例。因此，对于超过 100,000 行的程序，可能难于使用此级别的分析。

5.3.28 `-n`

禁止检查与缺省 lint 标准 C 库的兼容性。

5.3.29 `-ox`

导致 lint 创建一个名为 llib-lx.ln 的 lint 库。该库是从 lint 在其第二遍检查中使用的所有 .ln 文件创建的。-c 选项会使 -o 选项的任何使用无效。要生成 llib-lx.ln 而不产生任何无关消息，可以使用 -x 选项。如果 lint 库的源文件仅为外部接口，则 -v 选项会很有用。如果使用 -lx 调用 lint，则生成的 lint 库可以在以后使用。

缺省情况下，使用 lint 的基本格式创建库。如果使用 lint 的增强模式，则创建的库将为增强格式，并且只能在增强模式下使用。

5.3.30 `-p`

启用某些与可移植性问题相关的消息。

5.3.31 `-Rfile`

将 .ln 文件写入 file，以供 cxref(1) 使用。如果此选项打开，此选项将禁用增强模式。

5.3.32 `-s`

生成具有 "warning:" 或 "error:" 前缀的简单诊断。缺省情况下，lint 会缓冲某些消息来生成复合输出。

5.3.33 `-u`

禁止某些消息。请参阅表 15。此选项适用于对较大程序的文件子集运行 lint。

5.3.34 `-V`

将产品名称及发行版写入标准错误中。

5.3.35 `-v`

禁止某些消息。请参阅表 15。

5.3.36 `-Wfile`

将 .ln 文件写入 file，以供 cflow(1) 使用。如果此选项打开，此选项将禁用增强模式。

5.3.37 `-XCC=a`

接受 C++ 样式的注释。特别是，可使用 // 指示注释的开始。a 可以是 yes 或 no。缺省值为 -XCC=no。指定 -XCC 与指定 -XCC=yes 等效。

注 - 仅当使用 -std=c89 时，才需要使用此选项。

5.3.38 `-Xalias_level[=l]`

使用此选项时，l 是下列值之一：any、basic、weak、layout、strict、std 或 strong。有关不同的歧义消除级别的详细说明，请参见表 49。

如果未指定 -Xalias_level，则此标志的缺省值为 -Xalias_level=any，这意味着将不会执行任何基于类型的别名分析。如果指定了 -Xalias_level，但未提供级别，则缺省值为 -Xalias_level=layout。

请确保运行 lint 时所在的歧义消除级别不如运行编译器时所在的级别严格。如果运行 lint 时所在的歧义消除级别比编译时所在的级别更严格，结果将很难解释并且可能令人误解。

有关歧义消除的详细说明以及有助于歧义消除的 pragma 的列表，请参见lint 过滤器。

5.3.39 `-Xarch=v9`

(Oracle Solaris) 已过时。请勿使用。请参见-m32|-m64。

5.3.40 `-Xc99`[`=o`]

-Xc99 标志可控制编译器识别根据 C99 标准（ISO/IEC 9899:1999 C 编程语言）实现的功能。

o 可以是下列值之一： all 和 none。

-Xc99=none 会禁用对 C99 功能的识别。-Xc99=all 会启用对支持的 C99 功能的识别。

指定不带任何参数的 -Xc99 与指定 -Xc99=all 等效。

如果已指定 -std 或 -pedantic 标志，则不能使用 -Xc99 标志。

5.3.41 `-Xkeeptmp=a`

保留执行 lint 期间创建的临时文件，而非自动删除它们。a 可以是 yes 或 no。缺省值为 -Xkeeptmp=no。指定 -Xkeeptmp 与指定 -Xkeeptmp=yes 等效。

5.3.42 `-Xtemp=dir`

将临时文件的目录设置为 dir。如果没有此选项，临时文件将放在 /tmp 中。

5.3.43 `-Xtime=a`

报告执行每遍 lint 检查所需的时间。a 可以是 yes 或 no。缺省值为 -Xtime=no。指定 -Xtime 与指定 -Xtime=yes 等效。

5.3.44 `-Xtransition=a`

针对 K&R C 与 Oracle Developer Studio ISO C 之间的差异发出警告。a 可以是 yes 或 no。缺省值为 -Xtransition=no。指定 -Xtransition 与指定 -Xtransition=yes 等效。

5.3.45 `-Xustr=`{`ascii_utf16_ushort`|`no`}

此选项允许编译器将 U"ASCII-string" 形式的文本字符串识别成 unsigned short int 数组。缺省值为 -Xustr=no，它禁止编译器识别 U"ASCII-string" 文本字符串。-Xustr=ascii_utf16_ushort 允许编译器识别 U"ASCII-string" 文本字符串。

5.3.46 `-x`

禁止某些消息。请参阅表 15。

5.3.47 `-y`

将命令行上指定的各个 .c 文件视为以指令 /* LINTLIBRARY */ 或注释 NOTE(LINTLIBRARY) 开头。 lint 库通常是使用 /* LINTLIBRARY */ 指令或 NOTE(LINTLIBRARY) 注释创建的。

5.3 lint 命令行选项

5.3.1 -#

5.3.2 -###

5.3.3 -a

5.3.4 -b

5.3.5 -C filename

5.3.6 -c

5.3.7 -dirout=dir

5.3.8 -err=warn

5.3.9 -errchk=l(, l)

5.3.10 -errfmt=f

5.3.11 -errhdr=h

5.3.12 -erroff=tag(, tag)

5.3.13 -errsecurity=level

5.3.14 -errtags=a

5.3.15 -errwarn=t

5.3.16 -F

5.3.17 -fd

5.3.18 -flagsrc=file

5.3.19 -h

5.3.20 -Idir

5.3.21 -k

5.3.22 -Ldir

5.3.23 -lx

5.3.24 -m

5.3.25 -m32|-m64

5.3.26 -Ncheck=c

5.3.27 -Nlevel=n

5.3.27.1 -Nlevel=1

5.3.27.2 -Nlevel=2

5.3.27.3 -Nlevel=3

5.3.27.4 -Nlevel=4

5.3.28 -n

5.3.29 -ox

5.3.30 -p

5.3.31 -Rfile

5.3.32 -s

5.3.33 -u

5.3.34 -V

5.3.35 -v

5.3.36 -Wfile

5.3.37 -XCC=a

5.3.38 -Xalias_level[=l]

5.3.39 -Xarch=v9

5.3.40 -Xc99[=o]

5.3.41 -Xkeeptmp=a

5.3.42 -Xtemp=dir

5.3.43 -Xtime=a

5.3.44 -Xtransition=a

5.3.45 -Xustr={ascii_utf16_ushort|no}

5.3.46 -x

5.3.47 -y

5.3 `lint` 命令行选项

5.3.1 `-#`

5.3.2 `-###`

5.3.3 `-a`

5.3.4 `-b`

5.3.5 `-C` `filename`

5.3.6 `-c`

5.3.7 `-dirout=dir`

5.3.8 `-err=warn`

5.3.9 `-errchk=l(, l)`

5.3.10 `-errfmt=f`

5.3.11 `-errhdr=h`

5.3.12 `-erroff=tag`(, `tag`)

5.3.13 `-errsecurity=level`

5.3.14 `-errtags=a`

5.3.15 `-errwarn=t`

5.3.16 `-F`

5.3.17 `-fd`

5.3.18 `-flagsrc=file`

5.3.19 `-h`

5.3.20 `-Idir`

5.3.21 `-k`

5.3.22 `-Ldir`

5.3.23 `-lx`

5.3.24 `-m`

5.3.25 `-m32`|`-m64`

5.3.26 `-Ncheck=c`

5.3.27 `-Nlevel=n`

5.3.27.1 `-Nlevel=1`

5.3.27.2 `-Nlevel=2`

5.3.27.3 `-Nlevel=3`

5.3.27.4 `-Nlevel=4`

5.3.28 `-n`

5.3.29 `-ox`

5.3.30 `-p`

5.3.31 `-Rfile`

5.3.32 `-s`

5.3.33 `-u`

5.3.34 `-V`

5.3.35 `-v`

5.3.36 `-Wfile`

5.3.37 `-XCC=a`

5.3.38 `-Xalias_level[=l]`

5.3.39 `-Xarch=v9`

5.3.40 `-Xc99`[`=o`]

5.3.41 `-Xkeeptmp=a`

5.3.42 `-Xtemp=dir`

5.3.43 `-Xtime=a`

5.3.44 `-Xtransition=a`

5.3.45 `-Xustr=`{`ascii_utf16_ushort`|`no`}

5.3.46 `-x`

5.3.47 `-y`