翻譯|使用教程|編輯:黃竹雯|2018-12-13 16:02:04.000|閱讀 648 次
概述:C和C ++的首選靜態(tài)分析工具 PC-lint Plus 常見問題集
# 界面/圖表報(bào)表/文檔/IDE等千款熱門軟控件火熱銷售中 >>
相關(guān)鏈接:
PC-lint Plus是一種靜態(tài)分析工具,通過分析C和C ++源代碼來發(fā)現(xiàn)軟件中的缺陷。與編譯器一樣,PC-lint Plus會(huì)解析源代碼文件,執(zhí)行語義分析,并構(gòu)建一個(gè)抽象語法樹來表示程序。PC-lint Plus采用各種機(jī)制,包括數(shù)據(jù)流分析,數(shù)值跟蹤,讀寫分析,強(qiáng)類型檢查,功能語義驗(yàn)證和許多其他技術(shù),來提供對(duì)單個(gè)文件和整個(gè)項(xiàng)目強(qiáng)大而全面的分析。
1.Q:如何讓PC-lint Plus支持DIAB DATA C ++編譯器的內(nèi)聯(lián)匯編?
A:您需要使用:
+rw(_ignore_init)
-dasm=_ignore_init
您還需要 -$ 選項(xiàng)。
2.Q:如何抑制單個(gè)文件的信息? -efile不起作用。
A:-efile選項(xiàng)僅適用于在文件名上參數(shù)化的信息(例如,消息7,305,306,307,314,404,405,406,537,766)。 此選項(xiàng)將禁止有關(guān)文件的信息,而不是文件中的信息。 雖然沒有明確禁用特定文件中的信息的選項(xiàng),但您可以使用以下解決方案之一來實(shí)現(xiàn)相同的效果:
-save和-restore選項(xiàng)形成一個(gè)堆棧以允許嵌套,因此這兩種解決方案都不會(huì)干擾可能已存在于文件中的任何-save或-restore選項(xiàng)。
3.Q:如何告訴lint忽略我的嵌入式SQL代碼?
A:對(duì)于SQL,如:EXECSQL ... ;
使用選項(xiàng):
-dEXECSQL=_to_semi
+rw(_to_semi)
對(duì)于code,如:EXEC SQL ... ;
使用選項(xiàng):
-dEXEC=_to_semi
+rw(_to_semi)
4.Q:如何測試我的代碼以實(shí)現(xiàn)最大警告級(jí)別?
A:使用以下選項(xiàng):
+fsc 假設(shè)字符串常量是const char *
+fpn 在沒有檢查NULL的情況下警告指針參數(shù)的使用
-strong(AJX) 所有typedefs必須完全匹配
-w4 使用最大警告級(jí)別
本站文章除注明轉(zhuǎn)載外,均為本站原創(chuàng)或翻譯。歡迎任何形式的轉(zhuǎn)載,但請(qǐng)務(wù)必注明出處、不得修改原文相關(guān)鏈接,如果存在內(nèi)容上的異議請(qǐng)郵件反饋至chenjj@ke049m.cn