一 引言

二 PC-Lint介紹

三 PC-Lint的代碼檢查功能

以C 語(yǔ)言為例，其中的編號(hào)1-199指的是一般編譯器也會(huì)產(chǎn)生的語(yǔ)法錯(cuò)誤；編號(hào)200-299是PC-Lint程序內(nèi)部的錯(cuò)誤，這類(lèi)錯(cuò)誤不會(huì)出現(xiàn)在代碼中的；編號(hào)300-399指的是由于內(nèi)存限制等導(dǎo)致的系統(tǒng)致命錯(cuò)誤。編號(hào)400-999中出現(xiàn)的提示信息，是根據(jù)隱藏代碼問(wèn)題的可能性進(jìn)行分類(lèi)的：其中編號(hào) 400-699指的是被檢查代碼中很可能存在問(wèn)題而產(chǎn)生的告警信息；編號(hào)700-899中出現(xiàn)的信息，產(chǎn)生錯(cuò)誤的可能性相比告警信息來(lái)說(shuō)級(jí)別要低，但仍然可能是因?yàn)榇a問(wèn)題導(dǎo)致的問(wèn)題。編號(hào)900-999是可選信息，他們不會(huì)被默認(rèn)檢查，除非你在選項(xiàng)中指定檢查他們。
    PC-Lint/FelexLint提供了和許多編譯器類(lèi)似的告警級(jí)別設(shè)置選項(xiàng)-wLevel，它的告警級(jí)別分為以下幾個(gè)級(jí)別，缺省告警級(jí)別為3級(jí)：
-w0 不產(chǎn)生信息（除了遇到致命的錯(cuò)誤）
-w1 只生成錯(cuò)誤信息 -- 沒(méi)有告警信息和其它提示信息
-w2 只有錯(cuò)誤和告警信息
-w3 生成錯(cuò)誤、告警和其它提示信息（這是默認(rèn)設(shè)置）
-w4 生成所有信息
PC-Lint/FelexLint還提供了用于處理函數(shù)庫(kù)的頭文件的告警級(jí)別設(shè)置選項(xiàng)-wlib(Level)，這個(gè)選項(xiàng)不會(huì)影響處理C/C++源代碼模塊的告警級(jí)別。它有和-wLevel相同的告警級(jí)別，缺省告警級(jí)別為3級(jí)：
-wlib(0) 不生成任何庫(kù)信息
-wlib(1) 只生成錯(cuò)誤信息（當(dāng)處理庫(kù)的源代碼時(shí)）
-wlib(2) 生成錯(cuò)誤和告警信息
-wlib(3) 生成錯(cuò)誤、告警和其它信息（這是默認(rèn)設(shè)置）
-wlib(4) 產(chǎn)生所有信息
    PC-Lint的檢查分很多種類(lèi)，有強(qiáng)類(lèi)型檢查、變量值跟蹤、語(yǔ)義信息、賦值順序檢查、弱定義檢查、格式檢查、縮進(jìn)檢查、const變量檢查和 volatile變量檢查等等。對(duì)每一種檢查類(lèi)型，PC-Lint都有很多詳細(xì)的選項(xiàng)，用以控制PC-Lint的檢查效果。PC-Lint的選項(xiàng)有300 多種，這些選項(xiàng)可以放在注釋中（以注釋的形式插入代碼中），例如：
/*lint option1 option2 ... optional commentary */     選項(xiàng)可以有多行
//lint option1 option2 ... optional commentary        選項(xiàng)僅為一行（適用于C++）
選項(xiàng)間要以空格分開(kāi)，lint命令一定要小寫(xiě)，并且緊跟在/*或//后面，不能有空格。如果選項(xiàng)由類(lèi)似于操作符和操作數(shù)的部分組成，例如-esym (534, printf, scanf, operator new)，其中最后一個(gè)選項(xiàng)是operator new，那么在operator和new中間只能有一個(gè)空格。PC-Lint的選項(xiàng)還可以放在宏定義中，當(dāng)宏被展開(kāi)時(shí)選項(xiàng)才生效。例如：
#define DIVZERO(x) /*lint -save -e54 */ ((x) /0) /*lint -restore */ 允許除數(shù)為0而不告警
    下面將分別介紹PC-Lint常用的，也是比較重要的代碼檢查類(lèi)型，并舉例介紹了各個(gè)檢查類(lèi)型下可能出現(xiàn)的告警信息以及常用選項(xiàng)的用法：

3.1 強(qiáng)類(lèi)型檢查

    強(qiáng)類(lèi)型檢查選項(xiàng)“-strong”和它的輔助（補(bǔ)充）選項(xiàng)“-index”可以對(duì)typedef定義的數(shù)據(jù)類(lèi)型進(jìn)行強(qiáng)類(lèi)型檢查，以保證只有相同類(lèi)型之間的變量才能互相賦值，強(qiáng)類(lèi)型檢查選項(xiàng)strong的用法是：
-strong( flags[, name] ... )
strong選項(xiàng)必須在typedef定義類(lèi)型之前打開(kāi)，否則PC-Lint就不能識(shí)別typedef定義的數(shù)據(jù)類(lèi)型，類(lèi)型檢查就會(huì)失效。flags參數(shù)可以是A、J、X、B、b、l和f，相應(yīng)的解釋和弱化字符在表 2 中列出：

    這些選項(xiàng)字符的順序?qū)δ軟](méi)有影響。但是A和J選項(xiàng)的弱化字符必須緊跟在它們之后。B選項(xiàng)和b選項(xiàng)不能同時(shí)使用，f選項(xiàng)必須搭配B選項(xiàng)或b選項(xiàng)使用，如果不指定這些選項(xiàng)，-strong的作用就是僅僅聲明type為強(qiáng)類(lèi)型而不作任何檢查。下面用一段代碼演示-strong選項(xiàng)的用法：

//lint -strong(Ab,Bool) <選項(xiàng)是以注釋的形式插入代碼中>
typedef int Bool;
Bool gt(int a, b)
{
  if(a) return a > b; // OK
  else return 0; // Warning
}
例子代碼中Bool被聲明成強(qiáng)類(lèi)型，如果沒(méi)有指定b選項(xiàng)，第一個(gè)return語(yǔ)句中的比較操作就會(huì)被認(rèn)為與函數(shù)類(lèi)型不匹配。第二個(gè)return語(yǔ)句導(dǎo)致告警是因?yàn)?不是各Bool類(lèi)型，如果添加c選項(xiàng)，例如-strong(Acb,Bool)，這個(gè)告警就會(huì)被抑制。再看一個(gè)例子：
/*lint -strong( AJXl, STRING ) */
typedef char *STRING;
STRING s;
...
s = malloc(20);
strcpy( s, "abc" );

由于malloc和strcpy是庫(kù)函數(shù)，將malloc的返回值賦給強(qiáng)類(lèi)型變量s或?qū)?qiáng)類(lèi)型變量s傳遞給strcpy時(shí)會(huì)產(chǎn)生強(qiáng)類(lèi)型沖突，不過(guò)l選項(xiàng)抑制了這個(gè)告警。
    強(qiáng)類(lèi)型也可用于位域，出于強(qiáng)類(lèi)型檢查的目的，先假定位域中最長(zhǎng)的一個(gè)字段是優(yōu)勢(shì)Boolean類(lèi)型，如果沒(méi)有優(yōu)勢(shì)Boolean或位域中沒(méi)有哪個(gè)字段比其它字段長(zhǎng)，這個(gè)類(lèi)型從位域被切開(kāi)的位置開(kāi)始成為“散”類(lèi)型，例如：
//lint -strong( AJXb, Bool )
//lint -strong( AJX, BitField )
typedef int Bool;
typedef unsigned BitField;
struct foo
{
unsigned a:1, b:2;
BitField c:1, d:2, e:3;
} x;
void f()
{
x.a = (Bool) 1; // OK
x.b = (Bool) 0; // strong type violation
x.a = 0; // strong type violation
x.b = 2; // OK
x.c = x.a; // OK
118
x.e = 1; // strong type violation
x.e = x.d; // OK
}

上面例子中，成員a和c是強(qiáng)類(lèi)型Bool，成員d和e是BitField類(lèi)型，b不是強(qiáng)類(lèi)型。為了避免將只有一位的位域假設(shè)成Boolean類(lèi)型，需要在聲明Boolean的-strong中使用f選項(xiàng)，上面的例子就應(yīng)該改成這樣：-strong(AJXbf,Bool)。

    另一個(gè)強(qiáng)類(lèi)型檢查選項(xiàng)是index，index的用法是：
-index( flags, ixtype, sitype [, sitype] ... )
這個(gè)選項(xiàng)是對(duì)strong選項(xiàng)的補(bǔ)充，它可以和strong選項(xiàng)一起使用。這個(gè)選項(xiàng)指定ixtype是一個(gè)排除索引類(lèi)型，它可以和Strongly Indexed類(lèi)型sitype的數(shù)組（或指針）一起使用，ixtype和sitype被假設(shè)是使用typedef聲明的類(lèi)型名稱(chēng)。flags可以是c或 d，c允許將ixtype和常量作為索引使用，而d允許在不使用ixtype的情況下指定數(shù)組的長(zhǎng)度（Dimensions）。下面是一個(gè)使用index 的例子：
//lint -strong( AzJX, Count, Temperature )
//lint -index( d, Count, Temperature )
// Only Count can index a Temperature
typedef float Temperature;
typedef int Count;
Temperature t[100]; // OK because of d flag
Temperature *pt = t; // pointers are also checked
// ... within a function
Count i;
t[0] = t[1]; // Warnings, no c flag
for( i = 0; i < 100; i++ )
t[i] = 0.0; // OK, i is a Count
119
pt[1] = 2.0; // Warning
i = pt - t; // OK, pt-t is a Count

上面的例子中，Temperature是被強(qiáng)索引類(lèi)型，Count是強(qiáng)索引類(lèi)型。如果沒(méi)有使用d選項(xiàng)，數(shù)組的長(zhǎng)度將被映射成固有的類(lèi)型：
Temperature t[ (Count) 100 ];
但是，這是個(gè)小麻煩，像下面那樣將數(shù)組長(zhǎng)度定義成常量更好一些：
#define MAX_T (Count) 100
Temperature t[MAX_T];

這樣做還有一個(gè)好處就是同樣的MAX_T還可以用在for語(yǔ)句中，用于限制for語(yǔ)句的范圍。需要注意的是，指向強(qiáng)被索引類(lèi)型的指針（例如上面的pt）如果用在[]符號(hào)（數(shù)組符號(hào)）中也會(huì)被檢查類(lèi)型。其實(shí)，無(wú)論何時(shí)，只要將一個(gè)值加到一個(gè)指向強(qiáng)被索引類(lèi)型的指針時(shí)，這個(gè)值就會(huì)被檢查以確認(rèn)它是一個(gè)強(qiáng)索引類(lèi)型。此外，強(qiáng)被索引指針如果減去一個(gè)值，其結(jié)果被認(rèn)為是平常的強(qiáng)索引，所以下面的例子就不會(huì)產(chǎn)生告警：
i = pt - t;

3.2 變量值跟蹤

3.2.1 變量值初始化跟蹤

    早期的變量值跟蹤技術(shù)主要是對(duì)變量值的初始化進(jìn)行跟蹤，和變量初始化相關(guān)的LINT消息主要是644, 645 ("變量可能沒(méi)有初始化"), 771, 772 ("不可靠的初始化"), 530 ("未初始化的"), and 1401 - 1403 ("成員 ... 未初始化")。以下面的代碼為例：
if( a ) b = 6;
else c = b;    // 530 message
a = c;        // 645 message

假設(shè)b和c在之前都沒(méi)有初始化，PC-Lint就會(huì)報(bào)告b沒(méi)有初始化（在給c賦值的時(shí)候）和c可能沒(méi)有被初始化（在給a賦值的時(shí)候）的消息。而while和for循環(huán)語(yǔ)句和上面的if語(yǔ)句稍微有所不同，比較下面的代碼：
while ( n-- )
{
b = 6;
...
}
c = b;  //772 message

假設(shè)b在使用之前沒(méi)有被初始化，這里會(huì)報(bào)告b可能沒(méi)有初始化的消息（當(dāng)給c賦值時(shí)）。之所以會(huì)有這樣的區(qū)別，是因?yàn)槌绦蛟O(shè)計(jì)者可能知道這樣的循環(huán)體總是會(huì)被至少執(zhí)行一次。相反，前面的if語(yǔ)句，對(duì)于程序設(shè)計(jì)者來(lái)說(shuō)比較難以確定if語(yǔ)句是否總會(huì)被執(zhí)行，因?yàn)槿绻沁@樣的話(huà)，這樣的if語(yǔ)句就是多余的，應(yīng)該被去掉。While語(yǔ)句和if比較相似，看下面的例子：
switch ( k )
{
case 1: b = 2; break;
case 2: b = 3;
/* Fall Through */
case 3: a = 4; break;
default: error();
}
c = b;   //645 message

盡管b在兩個(gè)不同的地方被賦值，但是仍然存在b沒(méi)有被初始化的可能。因此，當(dāng)b賦值給c的時(shí)候，就會(huì)產(chǎn)生可能沒(méi)有初始化的消息。為了解決這個(gè)問(wèn)題，你可以在 switch語(yǔ)句之前給b賦一個(gè)默認(rèn)值。這樣PC-Lint就不會(huì)產(chǎn)生告警消息，但是我們也失去了讓PC-Lint檢查后續(xù)的代碼修改引起的變量初始化問(wèn)題的機(jī)會(huì)。更好的方法是修改沒(méi)有給b賦值的case語(yǔ)句。
    如果error()語(yǔ)句代表那些“不可能發(fā)生”的事情發(fā)生了，那么我們可以讓PC-Lint知道這一段其實(shí)是不可能執(zhí)行的，下面的代碼表明了這一點(diǎn)：
switch ( k )
{
case 1: b = 2; break;
case 2:
case 3: b = 3; a = 4; break;
default: error();
/*lint -unreachable */
}
c = b;
注意：這里的-unreachable應(yīng)該放在error()后面，break的前面。另外一個(gè)產(chǎn)生”沒(méi)有初始化”告警的方式是傳遞一個(gè)指針給free（或者采用相似的方法）。比如：
if( n ) free( p );
...
p->value = 3;
在訪(fǎng)問(wèn)p的時(shí)候會(huì)產(chǎn)生p可能沒(méi)有被初始化的消息。對(duì)于goto語(yǔ)句，前向的goto可能產(chǎn)生沒(méi)有初始化消息，而向后的goto 會(huì)被忽略掉這種檢查。
if ( a ) goto label;
b = 0;
label: c = b;
當(dāng)在一個(gè)大的項(xiàng)目中使用未初始化變量檢查時(shí)，可能會(huì)產(chǎn)生一些錯(cuò)誤的報(bào)告。這種報(bào)告的產(chǎn)生，很大一部分來(lái)自于不好的程序設(shè)計(jì)風(fēng)格，或者包括下面的結(jié)構(gòu)：
if( x ) initialize y
...
if( x ) use y
當(dāng)出現(xiàn)這種情況時(shí)，可以采用給y賦初始值的方式，或者利用選項(xiàng)-esym(644,y)關(guān)掉變量y上面的初始化檢查。

3.2.2 變量值跟蹤

    變量值跟蹤技術(shù)從賦值語(yǔ)句、初始化和條件語(yǔ)句中收集信息，而函數(shù)的參數(shù)被默認(rèn)為在正確的范圍內(nèi)，只有在從函數(shù)中可以收集到的信息與此不符的情況下才產(chǎn)生告警。與變量值跟蹤相關(guān)的消息有：
(1) 訪(fǎng)問(wèn)地址越界消息（消息415，661，796）
(2) 被0除消息（54，414，795）
(3) NULL指針的錯(cuò)誤使用（413，613，794）
(4) 非法指針的創(chuàng)建錯(cuò)誤（416，662，797）
(5) 冗余的布爾值測(cè)試（774）

    看下面的例子：
int a[10];
int f()
{
int k;
k = 10;
return a[k]; // Warning 415
}
這個(gè)語(yǔ)句會(huì)產(chǎn)生警告415（通過(guò) '[' 訪(fǎng)問(wèn)越界的指針），因?yàn)镻C-Lint保存了賦給k的值，然后在使用k的時(shí)候進(jìn)行了判斷。如果我們把上面的例子稍加修改：
int a[10];
int f( int n )
{
int k;
if ( n ) k = 10;
else k = 0;
return a[k]; // Warning 661
}
這樣就會(huì)產(chǎn)生告警 661 (可能訪(fǎng)問(wèn)越界指針)。 使用“可能”是因?yàn)椴皇撬械穆窂蕉紩?huì)把10賦值給k。PC-Lint不僅收集賦值語(yǔ)句和初始化，還從條件語(yǔ)句中收集值的信息。比如下面的例子：
int a[10];
int f( int k, int n )
{
if ( k >= 10 ) a[0] = n;
return a[k]; // Warning 661 -- k could be 10
}
這里仍然產(chǎn)生661告警，因?yàn)镻C-Lint檢測(cè)到，在使用k的時(shí)候，k的值>=10。另外，對(duì)于函數(shù)來(lái)說(shuō)，它總是假設(shè)K是正確的，程序使用者知道他們要做些什么，所以下面的語(yǔ)句不會(huì)產(chǎn)生告警：
int a[10];
int f( int k, int n )
{ return a[k+n]; } // no warning
和檢查變量沒(méi)有初始化一樣，還可以檢查變量的值是否正確。比如，如果下面例子中的循環(huán)一次都沒(méi)有運(yùn)行，k可能會(huì)超出范圍。這時(shí)候會(huì)產(chǎn)生消息796 (可預(yù)見(jiàn)的地址訪(fǎng)問(wèn)越界).
int a[10];
int f(int n, int k)
{
int m = 2;
if( k >= 10 ) m++; // Hmm -- So k could be 10, eh?
while( n-- )
{ m++; k = 0; }
return a[k]; // Info 796 - - k could still be 10
}
下面的例子演示了可能使用NULL指針的問(wèn)題：
int *f( int *p )
{
if ( p ) printf( "\n" ); // So -- p could be NULL
printf( "%d", *p ); // Warning
return p + 2; // Warning
}
這里會(huì)產(chǎn)生兩個(gè)告警，因?yàn)榭赡苁褂昧薔ULL指針，很明顯，這兩個(gè)語(yǔ)句應(yīng)該在if語(yǔ)句的范圍內(nèi)。為了使你的程序更加健壯，你可能需要打開(kāi)Pointer- parameter-may-be-NULL這個(gè)開(kāi)關(guān)（+fpn）。這個(gè)選項(xiàng)假設(shè)所有傳遞到函數(shù)中的指針都有可能是NULL的。數(shù)組邊界值在高位被檢測(cè)，也就是說(shuō)
int a[10]; ... a[10] = 0;
被檢測(cè)了，而a[-1]卻檢測(cè)不到。PC-Lint中有兩個(gè)消息是和指針的越界檢查有關(guān)的，一個(gè)是越界指針的創(chuàng)建，另外一個(gè)是越界指針的訪(fǎng)問(wèn)，也就是通過(guò)越界指針獲取值。在ANSI C([1]3.3.6)中，允許創(chuàng)建指向超過(guò)數(shù)組末尾一個(gè)單元的指針，比如：
int a[10];
f( a + 10 ); // OK
f( a + 11 ); // error
但是上面創(chuàng)建的兩個(gè)指針，都是不能訪(fǎng)問(wèn)的，比如：
int a[10], *p, *q;
p = a + 10; // OK
*p = 0; // Warning (access error)
p[-1] = 0; // No Warning
q = p + 1; // Warning (creation error)
q[0] = 0; // Warning (access error)
布爾條件檢查不象指針檢查那么嚴(yán)格，但是它會(huì)對(duì)恒真的布爾條件產(chǎn)生告警，比如：
if ( n > 0 ) n = 0;
else if ( n <= 0 ) n = -1; // Info 774
上面的代碼會(huì)產(chǎn)生告警（774），因?yàn)榈诙€(gè)條件檢查是恒真的，可以忽略。這種冗余代碼不會(huì)導(dǎo)致問(wèn)題，但它的產(chǎn)生通常是因?yàn)檫壿嬪e(cuò)誤或一種錯(cuò)誤可能發(fā)生的征兆，需要詳細(xì)的檢查。

3.2.3 使用assert（斷言）進(jìn)行補(bǔ)救

    在某些情況下，雖然根據(jù)代碼我們可以知道確切的值，但是PC-Lint卻無(wú)法獲取所有情況下變量的值的范圍，這時(shí)候會(huì)產(chǎn)生一些錯(cuò)誤的告警信息，我們可以使用assert語(yǔ)句增加變量取值范圍信息的方法，來(lái)抑制這些錯(cuò)誤的告警信息的產(chǎn)生。下面舉例來(lái)說(shuō)明：
char buf[4];
char *p;
strcpy( buf, "a" );
p = buf + strlen( buf ); // p is 'possibly' (buf+3)
p++; // p is 'possibly' (buf+4)
*p = 'a'; // Warning 661 - possible out-of-bounds reference
PC-Lint無(wú)法知道在所有情況下變量的值是多少。在上面的例子中，產(chǎn)生告警的語(yǔ)句其實(shí)并不會(huì)帶來(lái)什么危害。我們可以直接使用
*p = 'a'; //lint !e661
來(lái)抑制告警。另外，我們還可以使用assert工具來(lái)修正這個(gè)問(wèn)題：
#include <assert.h>
...
char buf[4];
char *p;
strcpy( buf, "a" );
p = buf + strlen( buf );
assert( p < buf + 3 ); // p is 'possibly' (buf+2)
p++; // p is 'possibly' (buf+3)
*p = 'a'; // no problem
由于assert在NDEBUG被定義時(shí)是一個(gè)空操作，所以要保證Lint進(jìn)行的時(shí)候這個(gè)宏沒(méi)有被定義。

    為了使assert()和你的編譯器自帶的assert.h一起產(chǎn)生上面的效果，你需要在編譯選項(xiàng)文件中添加一個(gè)選項(xiàng)。例如，假設(shè)assert 是通過(guò)以下的編譯器宏定義實(shí)現(xiàn)的：
#define assert(p) ((p) ? (void)0 : __A(...))
考慮到__A()會(huì)彈出一個(gè)消息并且不會(huì)返回，所以這個(gè)需要添加的選項(xiàng)就是：
-function( exit, __A )
這個(gè)選項(xiàng)將exit函數(shù)的一些非返回特征傳遞給__A函數(shù)。做為選擇結(jié)果，編譯器可能將assert實(shí)現(xiàn)成一個(gè)函數(shù)，例如：
#define assert(k) _Assert(k,...)
為了讓PC-lint知道_Assert是一個(gè)assert函數(shù)，你需要使用-function( __assert, _Assert )選項(xiàng)或-function( __assert(1), _Assert(1) )選項(xiàng)復(fù)制__assert()函數(shù)的語(yǔ)義
許多編譯器的編譯選項(xiàng)文件中已經(jīng)存在這些選項(xiàng)了，如果沒(méi)有的話(huà)，你可以復(fù)制一個(gè)assert.h文件到PC-lint目錄下（這個(gè)目錄由于使用了-i選項(xiàng)，文件搜索的順序優(yōu)先于編譯器的頭文件目錄）。

3.2.4 函數(shù)內(nèi)變量跟蹤

    PC-Lint的函數(shù)值跟蹤功能會(huì)跟蹤那些將要傳遞給函數(shù)（作為函數(shù)參數(shù)）變量值，當(dāng)發(fā)生函數(shù)調(diào)用時(shí)，這些值被用來(lái)初始化函數(shù)參數(shù)。這種跟蹤功能被用來(lái)測(cè)定返回值，記錄額外的函數(shù)調(diào)用，當(dāng)然還可以用來(lái)偵測(cè)錯(cuò)誤。考察下面的例子代碼：
t1.cpp:
1 int f(int);
2 int g()
3 { return f(0); }
4 int f( int n )
5 { return 10 / n; }
在這個(gè)例子中，f()被調(diào)用的時(shí)候使用0作為參數(shù)，這將導(dǎo)致原本沒(méi)有問(wèn)題的10/n語(yǔ)句產(chǎn)生被0除錯(cuò)誤，使用命令lin -u t1.cpp可以得到以下輸出：
--- Module: t1.cpp
During Specific Walk:
File t1.cpp line 3: f(0)
t1.cpp 5 Warning 414: Possible division by 0 [Reference:File t1.cpp: line 3]
你第一個(gè)注意到的事情是短語(yǔ)“During Specific Walk”，緊接著是函數(shù)調(diào)用發(fā)生的位置，函數(shù)名稱(chēng)以及參數(shù)，再下來(lái)就是錯(cuò)誤信息。如果錯(cuò)誤信息中缺少了錯(cuò)誤再現(xiàn)時(shí)的錯(cuò)誤行和用來(lái)標(biāo)記錯(cuò)誤位置的指示信息，這是因?yàn)闄z查到錯(cuò)誤的時(shí)候代碼（被調(diào)用函數(shù)的代碼）已經(jīng)走過(guò)了。如果像下面一樣調(diào)換一下兩個(gè)函數(shù)的位置：
t2.cpp:
1 int f( int n )
2 { return 10 / n; }
3 int g()
4 { return f(0); }
這種情況下就不會(huì)出現(xiàn)被0除的告警，因?yàn)榇藭r(shí)f(0)在第四行，函數(shù)f()的代碼已經(jīng)過(guò)了，在這種情況下就需要引入multi-pass選項(xiàng)。如果在剛才的例子中使用lin -u -passes(2) t2.cpp命令，那么輸出就變成：
--- Module: t2.cpp
/// Start of Pass 2 ///
--- Module: t2.cpp
During Specific Walk:
File t2.cpp line 4: f(0)
t2.cpp 2 Warning 414: Possible division by 0 [Reference:File t2.cpp: line 4]

使用-passes(2)選項(xiàng)將會(huì)檢查代碼兩遍，一些操作系統(tǒng)不支持在命令行中使用-passes(2)，對(duì)于這樣的系統(tǒng)，可以使用-passes=2 或 -passes[2]代替。通過(guò)冗長(zhǎng)的信息可以看出來(lái)，以pass 2開(kāi)始表示第一次檢查沒(méi)有產(chǎn)生告警信息。這一次得到的錯(cuò)誤信息和前一次不同，在某種情況下我們可以推斷出指定函數(shù)調(diào)用的返回值，至少可以得到一些返回值的屬性。以下面的模塊為例：
t3.cpp:
1 int f( int n )
2 { return n - 1; }
3 int g( int n )
4 { return n / f(1); }
使用命令 lin -u -passes(2) t3.cpp，可以得到以下輸出信息：
--- Module: t3.cpp
/// Start of Pass 2 ///
--- Module: t3.cpp

{ return n / f(1); }
t3.cpp 4 Warning 414: Possible division by 0 [Reference:File t3.cpp: lines 2, 4]

第一遍檢查我們知道調(diào)用函數(shù)f()傳遞的參數(shù)是1，第二遍檢查先處理了函數(shù)f()，我們推斷出這個(gè)參數(shù)將導(dǎo)致返回結(jié)果是0，當(dāng)?shù)诙闄z查開(kāi)始處理函數(shù)g() 的時(shí)候，產(chǎn)生了被0除錯(cuò)誤。應(yīng)該注意到這個(gè)信息并不是在短語(yǔ)“During Specific Walk”之前出現(xiàn)的，這是因?yàn)殄e(cuò)誤是在對(duì)函數(shù)g()進(jìn)行正常的處理過(guò)程中檢測(cè)到的，此時(shí)并沒(méi)有使用為函數(shù)g()的參數(shù)指定的值。指定的函數(shù)調(diào)用能夠產(chǎn)生附加的函數(shù)調(diào)用，如果我們pass足夠多的檢測(cè)次數(shù)，這個(gè)過(guò)程可能會(huì)重復(fù)發(fā)生，參考下面的代碼：
t4.cpp:
1 int f(int);
2 int g( int n )
3 { return f(2); }
4 int f( int n )
5 { return n / f(n - 1); }
第五行的分母f(n-1)并不會(huì)引起懷疑，直到我們意識(shí)到f(2)調(diào)用將導(dǎo)致f(1)調(diào)用，最終會(huì)調(diào)用f(0)，迫使最終的返回值是0。使用下面的命令行：
lin -u -passes(3) t4.cpp，
輸出結(jié)果如下：
--- Module: t4.cpp
{ return f(2); }
t4.cpp 3 Info 715: Symbol 'n' (line 2) not referenced
/// Start of Pass 2 ///
--- Module: t4.cpp
/// Start of Pass 3 ///
--- Module: t4.cpp
During Specific Walk:
File t4.cpp line 3: f(2)
File t4.cpp line 5: f(1)
t4.cpp 5 Warning 414: Possible division by 0 [Reference:File t4.cpp: lines 3, 5]
到這里已經(jīng)處理了三遍才檢測(cè)到可能的被0除錯(cuò)誤，想了解為什么需要處理三遍可以看看這個(gè)選項(xiàng)-specific_wlimit(n)。需要注意的是，指定的調(diào)用序列，f(2)，f(2)，是作為告警信息的序言出現(xiàn)的。

3.3 賦值順序檢查

    當(dāng)一個(gè)表達(dá)式的值依賴(lài)于賦值的順序的時(shí)候，會(huì)產(chǎn)生告警564。這是C/C++語(yǔ)言中非常普遍的一個(gè)問(wèn)題，但是很少有編譯器會(huì)分析這種情況。比如
n++ + n
這個(gè)語(yǔ)句是有歧義的，當(dāng)左邊的+操作先執(zhí)行的話(huà)，它的值會(huì)比右邊的先執(zhí)行的值大一，更普遍的例子是這樣的：
a[i] = i++;
f( i++, n + i );
第一個(gè)例子，看起來(lái)好像自加操作應(yīng)該在數(shù)組索引計(jì)算以后執(zhí)行，但是如果右邊的賦值操作是在左邊賦值操作之前執(zhí)行的話(huà)，那么自加一操作就會(huì)在數(shù)組索引計(jì)算之前執(zhí)行。雖然，賦值操作看起來(lái)應(yīng)該指明一種操作順序，但實(shí)際上是沒(méi)有的。第二個(gè)例子是有歧義的，是因?yàn)楹瘮?shù)的參數(shù)值的計(jì)算順序也是沒(méi)有保證的。能保證賦值順序的操作符是布爾與（&&）或（||）和條件賦值（? :）以及逗號(hào)(,)，因此：
if( (n = f()) && n > 10 ) ...
這條語(yǔ)句是正確的，而：
if( (n = f()) & n > 10 ) ...
將產(chǎn)生一條告警。

3.4 弱定義檢查