PVS-Studio 7.34 版本在分析器中引入了一系列新的診斷規(guī)則：Java 的污點分析、C# 的 Unity 特定診斷規(guī)則、深入研究 OWASP 等等！本文將涵蓋所有這些。

C

在此版本中，C 團隊專注於通用分析診斷規(guī)則以及對各種軟體開發(fā)標準的支援。

但是請戴好帽子，這只是開始！團隊計畫涵蓋更多 MISRA 標準診斷規(guī)則，敬請關(guān)注更多新聞:)

現(xiàn)在，讓我們來看看 7.34 版本中的主要規(guī)則。

V1116

建立沒有解釋訊息的異常物件可能會導(dǎo)致日誌記錄不足。

此診斷規(guī)則旨在偵測在沒有解釋訊息的情況下所建立的異常。

缺少訊息可能會阻礙錯誤偵測和修復(fù)的過程，以及整體程式碼的可讀性。

以下是讓 PVS-Studio 分析器產(chǎn)生警告的程式碼範例：

void SomeCheck(const char *val)
{
  if (!val) throw std::runtime_error { "" };
  ....
}

void Foo()
{
  const char *val = ....;
  try
  {
    SomeCheck(val);              // <=
  }
  catch(std::runtime_error &err)
  {
    std::cerr << err.what() << std::endl;
  }
}

如果發(fā)生錯誤，SomeCheck 函數(shù)會拋出一個帶有空訊息的異常，該異常將在 Foo 函數(shù)中處理。在處理過程中，std::cerr 應(yīng)該包含有關(guān)異常原因的信息，但事實並非如此。

透過這種方式編寫程式碼，開發(fā)人員向同事傳達了「調(diào)試愉快」的願望。這阻礙了理解到底是什麼導(dǎo)致了失敗。

此規(guī)則適用於標準例外。您可以使用自訂註釋機制對自訂異常發(fā)出警告。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

V1117 [C語言]

宣告的函數(shù)類型是 cv 限定的。使用此類型時的行為未定義。

此診斷規(guī)則僅適用於C語言。

它的目的是偵測使用 const 或 volatile 限定符的函數(shù)類型定義的情況。

根據(jù) C23 標準（第 6.7.4.1 段第 10 點），使用這些類型會導(dǎo)致未定義的行為。

使 PVS-Studio 分析器產(chǎn)生警告的程式碼範例：

typedef int fun_t(void);

typedef const fun_t const_qual_fun_t;          // <=

typedef const fun_t * ptr_to_const_qual_fun_t; // <=

void foo()
{
  const fun_t c_fun_t;       // <=
  const fun_t * ptr_c_fun_t; // <=
}

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

V2022 [C語言]

從整數(shù)型別到枚舉類型的隱式型別轉(zhuǎn)換。

C 語言的另一個診斷規(guī)則，可以在重構(gòu)和調(diào)試時提供幫助。

此規(guī)則使分析器能夠偵測整數(shù)類型到枚舉類型的隱式轉(zhuǎn)換。

帶有 PVS-Studio 警告的程式碼範例：

void SomeCheck(const char *val)
{
  if (!val) throw std::runtime_error { "" };
  ....
}

void Foo()
{
  const char *val = ....;
  try
  {
    SomeCheck(val);              // <=
  }
  catch(std::runtime_error &err)
  {
    std::cerr << err.what() << std::endl;
  }
}

此程式碼使用條件運算子 (?:) 在兩個整數(shù)變數(shù) posOne 和 posTwo 之間進行選擇，從而產(chǎn)生隱式強制轉(zhuǎn)換。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

V5014 [OWASP 標準]

OWASP。不建議使用加密函數(shù)。它的使用可能會導(dǎo)致安全問題。考慮切換到等效的新功能。

這是一個專注於安全性的新診斷規(guī)則，與 SAST 原則保持一致。

此規(guī)則是根據(jù)OWASP安全驗證標準設(shè)計的。

它的目的是檢測過時的加密函數(shù)的呼叫。它們的使用可能會導(dǎo)致嚴重的軟體安全問題。

帶有 PVS-Studio 警告的程式碼範例：

typedef int fun_t(void);

typedef const fun_t const_qual_fun_t;          // <=

typedef const fun_t * ptr_to_const_qual_fun_t; // <=

void foo()
{
  const fun_t c_fun_t;       // <=
  const fun_t * ptr_c_fun_t; // <=
}

根據(jù) Microsoft 文檔，CryptoImportKey 和 CryptoDestroyKey 函數(shù)已棄用。這些應(yīng)該替換為下一代密碼學(xué)的安全對應(yīng)項（BCryptoImportKey 和 BCryptoDestroyKey）。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

但這只是熱身！ C 和 C 團隊計劃涵蓋各種軟體開發(fā)標準的更多診斷規(guī)則。我們將特別關(guān)注 MISRA 標準。所以，等待訊息吧:)

C

在新的 PVS-Studio 7.34 版本中，C# 團隊專注於建立特定於 Unity 的診斷規(guī)則，但也沒有忘記通用分析規(guī)則。

讓我們從後者開始。

V3207

「非 A 或 B」邏輯模式可能無法如預(yù)期運作。 “not”模式僅與“or”模式中的第一個表達式相符。

這個新的診斷規(guī)則旨在偵測非 A 或 B 模式的錯誤使用。此問題源自於開發(fā)者對操作優(yōu)先順序的混淆。

帶有 PVS-Studio 警告的程式碼範例：

Orientation GetOrientation (bool b)
{
  int posOne = 1;
  int posTwo = 2;
  return b ? posOne : posTwo;    // V2022
}

在方法開始時，檢查輸入?yún)?shù)鍵是否為空字串或 null。

但是條件式的邏輯有錯誤。 not 運算子的優(yōu)先權(quán)高於 or 運算子。因此，否定不適用於表達式的右側(cè)。另外，如果 key 設(shè)定為 null，則條件將為 true。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

V3208【統(tǒng)一引擎】

統(tǒng)一引擎。不支援將“WeakReference”與“UnityEngine.Object”一起使用。 GC 不會回收該物件的內(nèi)存，因為它連結(jié)到本機物件。

這是一系列新的 Unity 特定規(guī)則中的第一個診斷規(guī)則。

它的目的是偵測 UnityEngine.Object（或從它繼承的其他物件）與 System.WeakReference 的使用。

由於引擎本身隱式使用實例，弱引用的行為可能與預(yù)期不同。

帶有 PVS-Studio 警告的程式碼範例：

void SomeCheck(const char *val)
{
  if (!val) throw std::runtime_error { "" };
  ....
}

void Foo()
{
  const char *val = ....;
  try
  {
    SomeCheck(val);              // <=
  }
  catch(std::runtime_error &err)
  {
    std::cerr << err.what() << std::endl;
  }
}

在範例中，我們可以看到對 GameObject 類別的物件的弱引用。即使作者沒有創(chuàng)建對此物件的強烈引用，垃圾收集器也無法清理它。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

V3209 [統(tǒng)一引擎]

統(tǒng)一引擎。多次對「Awaitable」物件使用await 可能會導(dǎo)致異?；蛩梨i，因為此類物件在等待後會返回池中。

在 Unity 的另一個診斷規(guī)則中，分析器透過等待運算子搜尋多次使用相同 UnityEngine.Awaitable 物件的位置。

出於最佳化目的，物件儲存在物件池中。

在等待呼叫時，Awaitable 物件將會回到池中。之後，如果再次將await應(yīng)用於同一個對象，我們會得到一個異常。在某些情況下，也可能出現(xiàn)死鎖。

帶有 PVS-Studio 警告的程式碼範例：

typedef int fun_t(void);

typedef const fun_t const_qual_fun_t;          // <=

typedef const fun_t * ptr_to_const_qual_fun_t; // <=

void foo()
{
  const fun_t c_fun_t;       // <=
  const fun_t * ptr_c_fun_t; // <=
}

在此程式碼中，我們遇到異?；蛩梨i。讓我解釋一下原因。我們使用awaitable 的await 呼叫來取得一個值。然後我們用這個值初始化結(jié)果變數(shù)。發(fā)生死鎖是因為await 先前已在條件構(gòu)造中應(yīng)用於awaitable。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

V3210【統(tǒng)一引擎】

統(tǒng)一引擎。 Unity 不允許使用「Destroy」或「DestroyImmediate」方法刪除「Transform」元件。該方法調(diào)用將被忽略。

此診斷規(guī)則旨在偵測與呼叫 UnityEngine.Object 類別的 Destroy 或 DestroyImmediate 方法相關(guān)的異常。

此問題發(fā)生在使用 UnityEngine.Transform 類型的參數(shù)的情況下。這會導(dǎo)致方法呼叫期間出現(xiàn)錯誤。 Unity 中不允許從遊戲物件中刪除 Transform 元件。

帶有 PVS-Studio 警告的程式碼範例：

Orientation GetOrientation (bool b)
{
  int posOne = 1;
  int posTwo = 2;
  return b ? posOne : posTwo;    // V2022
}

MonoBehaviour 基底類別的transform 屬性傳回Transform 類別的實例，該實例作為參數(shù)傳遞給Destroy 方法。

以這種方式呼叫該方法時，Unity會給予錯誤訊息，但元件本身不會被銷毀。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

V4007【統(tǒng)一引擎】

統(tǒng)一引擎。避免在效能敏感的上下文中建立和銷毀 UnityEngine 物件。請考慮啟用和停用它們。

此診斷規(guī)則針對不同範圍的錯誤 - 效能問題。

如果您對靜態(tài)分析如何幫助優(yōu)化 Unity 專案感興趣，我邀請您閱讀這篇文章。

此規(guī)則的目的是幫助分析器偵測頻繁執(zhí)行的方法中 Unity 物件的建立。

定期建立/銷毀遊戲物件不僅會增加CPU的負載，還會導(dǎo)致垃圾收集器呼叫頻率增加。這會影響效能。

帶有 PVS-Studio 警告的程式碼範例：

void SomeCheck(const char *val)
{
  if (!val) throw std::runtime_error { "" };
  ....
}

void Foo()
{
  const char *val = ....;
  try
  {
    SomeCheck(val);              // <=
  }
  catch(std::runtime_error &err)
  {
    std::cerr << err.what() << std::endl;
  }
}

在Update方法中，創(chuàng)建並銷毀了一個遊戲物件_instance。由於每次更新幀時都會執(zhí)行 Update，因此建議盡可能避免其中的這些操作。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

順便說一句，其他 Unity 診斷尚未推出！準備好迎接我們團隊的好消息:)

還有一件事...

我們必須告訴您 C# 分析器的一項重要增強功能 - 追蹤呼叫之間方法傳回值的變化。它改變了什麼？讓我們來分解一下。

看看這個範例：

typedef int fun_t(void);

typedef const fun_t const_qual_fun_t;          // <=

typedef const fun_t * ptr_to_const_qual_fun_t; // <=

void foo()
{
  const fun_t c_fun_t;       // <=
  const fun_t * ptr_c_fun_t; // <=
}

Example() 方法檢查 Foo() 的回傳值是否為 null。然後在條件體中再次呼叫 Foo() 方法，並且其回傳值被取消引用。

之前，分析器在這種情況下會產(chǎn)生警告，因為它沒有考慮呼叫的上下文，只專注於其聲明的程式碼。分析器曾經(jīng)暗示可以傳回 null。

現(xiàn)在分析器知道 Foo() 在兩種情況下傳回相同的值，並且不會出現(xiàn)警告。

但是讓我們來看一個程式碼稍作修改的範例...

Orientation GetOrientation (bool b)
{
  int posOne = 1;
  int posTwo = 2;
  return b ? posOne : posTwo;    // V2022
}

從 Foo() 方法宣告我們可以知道，當 _condition == true 時，該方法傳回非 null。

分析器將在第二次呼叫之前看到 _condition 欄位發(fā)生變化，並做出假設(shè)：如果 Foo() 內(nèi)部使用的欄位發(fā)生變化，則 Foo() 的傳回值也可能發(fā)生變化。

因此，潛在取消引用的警告將保留。

C# 分析器現(xiàn)在支援分析 .NET 9 專案！在此處詳細了解 PVS-Studio 7.34 中的這些功能和其他新功能。

爪哇

隨著 PVS-Studio 7.34 的發(fā)布，Java 分析器現(xiàn)在有了污點分析機制！

此機製成為第一個診斷規(guī)則－搜尋 SQL 注入的基礎(chǔ)。 Java 分析器的未來更新將重點放在 SAST、OWASP Top-10 最常見潛在漏洞清單以及其他與污點相關(guān)的診斷規(guī)則。

現(xiàn)在，讓我們從一些新的一般分析規(guī)則開始，因為它們也很有價值。

V6123

遞增/遞減操作後不使用操作數(shù)的修改值。

這個新的診斷規(guī)則突顯了程式碼中未使用後綴運算值的區(qū)域。

問題在於，要么操作是多餘的，或者更嚴重的是，操作混淆了，開發(fā)人員想要使用前綴一。

帶有 PVS-Studio 警告的程式碼範例：

void SomeCheck(const char *val)
{
  if (!val) throw std::runtime_error { "" };
  ....
}

void Foo()
{
  const char *val = ....;
  try
  {
    SomeCheck(val);              // <=
  }
  catch(std::runtime_error &err)
  {
    std::cerr << err.what() << std::endl;
  }
}

運算子不會影響calculateSomething方法傳回的值。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

V6124

將整數(shù)位面量轉(zhuǎn)換為取值範圍較小的類型會導(dǎo)致溢位。

從這個診斷規(guī)則的名稱可以看出，它偵測到可能的溢出。

帶有 PVS-Studio 警告的程式碼範例：

typedef int fun_t(void);

typedef const fun_t const_qual_fun_t;          // <=

typedef const fun_t * ptr_to_const_qual_fun_t; // <=

void foo()
{
  const fun_t c_fun_t;       // <=
  const fun_t * ptr_c_fun_t; // <=
}

給整數(shù)變數(shù)賦值超出了有效範圍，會導(dǎo)致溢位。

變數(shù)顯然會儲存與開發(fā)人員嘗試指派的值不同的值。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

V6125

在同步上下文之外呼叫“wait”、“notify”和“notifyAll”方法將導(dǎo)致“IllegalMonitorStateException”。

此診斷有助於識別同步問題。

帶有 PVS-Studio 警告的程式碼範例：

Orientation GetOrientation (bool b)
{
  int posOne = 1;
  int posTwo = 2;
  return b ? posOne : posTwo;    // V2022
}

分析器發(fā)現(xiàn)wait、notify和notifyAll方法，因為它們可能在不同步的上下文中被呼叫。它們與發(fā)生同步的物件的監(jiān)視器一起操作。也就是說，它們的呼叫僅在同步上下文中並且僅在發(fā)生同步的物件上才是正確的。

如果在不同步的上下文或錯誤的物件上呼叫 wait、notify 或 notifyAll 方法，我們會收到 IllegalMonitorStateException 異常。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

V5309【OWASP標準】

OWASP?？赡艿?SQL 注入?？赡苁芪廴镜馁Y料用於建立 SQL 命令。

Java分析器的第一個與污點相關(guān)的診斷規(guī)則！更具體地說，分析器現(xiàn)在可以檢測潛在的 SQL 注入。

SQL 注入是一個漏洞，允許攻擊者將其程式碼注入 SQL 查詢中。如果查詢使用外部資料而沒有正確驗證它，則會面臨資料庫中儲存資訊的完整性和機密性的風(fēng)險。

void SomeCheck(const char *val)
{
  if (!val) throw std::runtime_error { "" };
  ....
}

void Foo()
{
  const char *val = ....;
  try
  {
    SomeCheck(val);              // <=
  }
  catch(std::runtime_error &err)
  {
    std::cerr << err.what() << std::endl;
  }
}

如果使用者被證明是惡意的，且參數(shù)的值大約如下：-“111'或1=1；刪除表使用者；選擇'”，—您可以告別使用者表。因此，檢查外部資料很重要。

查看文件以了解有關(guān)此診斷規(guī)則的更多詳細資訊。

感謝您的閱讀！

如果您有文章或問題的請求，請隨時透過回饋表發(fā)送。最後但並非最不重要的一點是，我們很樂意在評論中聽到您的想法:)

以上是PVS-Studio 4 中的新診斷規(guī)則的詳細內(nèi)容。更多資訊請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！