PC-lint Plus 1.3支持許多CERT C的靜態可執行準則。通過在現有配置中添加對au-certc.lnt文件（隨PC-lint Plus分發）的引用，可以輕松實現對CERT C的檢查。該文件啟用與CERT C準則相對應的消息，并將文本添加到已發布的消息中，以指定與每個適用消息關聯的規則。au-certc.lnt文件是使用標準PC-lint Plus選項語法的，易于閱讀的純文本配置文件，可以輕松地對其進行修改以滿足任何單個項目的需求。

PC-lint Plus隨附的參考手冊包括一個支持矩陣，詳細列出了每個指南的支持級別以及每個指南的支持機制。

違規分析與陳述

考慮以下示例：

    #include <stdio.h>

    extern void logger(const char *);
    #define LOG(x) logger(#x)

    void copy(FILE *fp_in, FILE *fp_out, int count) {
        char buf[100];
        int bytes = 0;

        while (bytes < count) {
            int bytes_read = fread(buf, 1, 100, fp_in);
            if (!bytes_read) { break; }
            fwrite(buf, 1, bytes_read, fp_in);
            LOG(bytes = bytes + bytes_read);
        }
    }

當使用PC-lint Plus分析此示例時，報告的CERTC違規包括（其中包括）：

    warning 2479: attempt to perform write operation on stream after read without

        an intervening reposition [CERT C Rule FIO39-C]

            fwrite(buf, 1, bytes_read, fp_in);

 ;                                       ^

    supplemental 831: stream was read here

        ;    int bytes_read = fread(buf, 1, 100, fp_in);

                                                ^

 

    note 901: variable 'buf' of type 'char [100]' not initialized by definition

        [CERT C Rule EXP33-C]

        char buf[100];

                ^

 

    ;warning 2666: expression with side effects passed to unexpanded parameter 1 of

        macro 'LOG': parameter is only used with #/## operators [CERT C Rule PRE31-C]

            LOG(bytes = bytes + bytes_read);

                ^

報告的每個違規都包括發生違規的位置、消息號和有關基本問題的文字描述，以及違反的CERT C規則。

解決違規

《PC-lint Plus參考手冊》包含每條消息的說明，并經常提供可用于解決問題的其他指導。此信息也可以顯示在命令行上。例如，要顯示消息2666的描述，請運行帶有選項-help=2666的PC-lint Plus，以使PC-lint Plus顯示以下內容：

當調用類似函數的宏并帶有一個參數時發出此消息，該參數看起來好像在進行評估時會產生副作用，但是由于相應的參數未在宏定義中擴展，因此不會發生副作用。例如：

        #define DEBUG_VAL(x)

        int process(int i) {
            DEBUG_VAL(++i);  // 2666 - increment doesn't occur
            /* ... */
            return i;
        }

由于未擴展參數，因此不會評估++i，并且不會發生增量，這可能是意外的。如果意圖是不管宏如何定義都發生副作用，則應將引起副作用的表達式放在宏調用之外。就此消息而言，任何看起來包含函數調用的表達式都被認為具有副作用。

詳細信息是“擴展中未引用參數”或“僅與#/##運算符一起使用參數”之一。可以使用-estring基于detail參數的值來禁止顯示該消息。

可以查閱CERT C準則文檔以獲取有關指定規則的信息。

2666標識的問題是一個錯誤，應通過將分配移至LOG宏的調用之外來進行糾正。

2479識別的問題不僅是違反規則，而且是錯誤，該文件指針被意外地用于讀取和寫入同一文件，這導致了未定義的行為，因為沒有中間的重新定位操作。解決方案是在對fwrite的調用中將fp_in更改為fp_out。

向buf添加一個初始化程序：

        char buf[100] = {0};

解決了901報告的問題（并將阻止在以后的運行中發布901）。

處理偏差

偏差是指源代碼中違反規則的情況被視為可接受的實例。雖然偏差過程因項目而異，但可以使用非常靈活的抑制機制在PC-lint Plus中配置偏差。當引用特定的符號或類型時，或在特定的行上時，可以通過多種方式來抑制大多數消息，例如在文件，函數或語句中。某些類型的禁止操作要求在源代碼中添加注釋，但大多數不需要。

例如，消息901報告了違反CERT C規則EXP33-C（建議在變量的定義中初始化變量）的情況，該消息始終在消息中包含變量的名稱。要為名為buf的變量抑制消息901，可以使用選項-esym（901，buf）。要在函數副本內的任何位置禁止顯示該消息，可以使用選項-efunc（901，copy）。適當的抑制選項將添加到項目的配置文件中，或在源代碼中包含問題定義的棉絨注釋中。評論可以遵循此選項，也許帶有與正式偏離政策相關的信息，例如-esym（901，buf）“EXP33-C的偏差”。

庫代碼

PC-lint Plus區分庫代碼（默認情況下包括外部和系統頭，但可以自定義以包括頭和模塊的任何子集）和項目代碼。默認情況下，PC-lint Plus會同時檢查庫代碼和項目代碼是否符合CERTC。通常希望將檢查范圍限制為項目代碼，這很容易在引用au-misra3.lnt文件后，通過使用選項-wlib=4 -wlib=1來重置庫警告級別來完成。也可以使用-elib和+elib選項輕松地為庫代碼啟用或禁用單個消息。

MISRA C 2012

MISRA C++ 2008

MISRA C 2004

AUTOSAR

《PC-lint Plus參考手冊》中涉及SEI版權材料和PC-lint Plus配置文件以進行SEI CERT C檢查的章節包含“SEI CERT C編碼標準維基”的部分內容，版權所有©1995-2018卡內基梅隆大學，并經其軟件特別許可工程學院?？▋然仿〈髮W或其軟件工程學院未曾審查或認可過上述材料以及由Gimpel Software LLC生產或出版的任何其他材料。有關更多信息，請參見《PC-lint Plus參考手冊》中的“致謝”一章。

®CERT是卡耐基梅隆大學的注冊商標