PC-lint Plus是一種靜態分析工具，通過分析C和C ++源代碼來發現軟件中的缺陷。與編譯器一樣，PC-lint Plus會解析源代碼文件，執行語義分析，并構建一個抽象語法樹來表示程序。PC-lint Plus采用各種機制，包括數據流分析，數值跟蹤，讀寫分析，強類型檢查，功能語義驗證和許多其他技術，來提供對單個文件和整個項目強大而全面的分析。

點擊下載PC-lint Plus試用版

1.Q：如何讓PC-lint Plus支持DIAB DATA C ++編譯器的內聯匯編？

A：您需要使用：

+rw(_ignore_init)

-dasm=_ignore_init

您還需要 -$ 選項。

2.Q：如何抑制單個文件的信息？ -efile不起作用。

A：-efile選項僅適用于在文件名上參數化的信息（例如，消息7,305,306,307,314,404,405,406,537,766）。 此選項將禁止有關文件的信息，而不是文件中的信息。 雖然沒有明確禁用特定文件中的信息的選項，但您可以使用以下解決方案之一來實現相同的效果：

1. 在禁用該選項的文件名和之后的-restore選項之前使用選項-save -e#。 例如，如果您提供給lint的文件列表是1.c 2.c 3.c而您想在2.c中禁用信息701，則可以使用1.c -save -e701 2.c -restore 3.C。
2. 您可以將選項-save -e#放在要禁用該信息的文件頂部的lint注釋中，并在末尾的lint注釋中使用-restore選項。例如：
   //lint -save -e701
   ...
   //lint -restore

-save和-restore選項形成一個堆棧以允許嵌套，因此這兩種解決方案都不會干擾可能已存在于文件中的任何-save或-restore選項。

3.Q：如何告訴lint忽略我的嵌入式SQL代碼？

A：對于SQL，如：EXECSQL ... ;

使用選項：

-dEXECSQL=_to_semi

+rw(_to_semi)

對于code，如：EXEC SQL ... ;

使用選項：

-dEXEC=_to_semi

+rw(_to_semi)

4.Q：如何測試我的代碼以實現最大警告級別？

A：使用以下選項：

    +fsc           ;                假設字符串常量是const char *

    +fpn                          在沒有檢查NULL的情況下警告指針參數的使用

   -strong(AJX)               所有typedefs必須完全匹配

   -w4                             使用最大警告級別

想要購買 PC-Lint Plus正版授權，或者獲取更多該產品相關信息的朋友可以點擊" "~

海量產品正在參加年終大促，價格優惠！詳情請點擊" 年終巔峰鉅惠 "~