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

C

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

但是請(qǐng)戴好帽子，這只是開始！團(tuán)隊(duì)計(jì)畫涵蓋更多 MISRA 標(biāo)準(zhǔn)診斷規(guī)則，敬請(qǐng)關(guān)注更多新聞:)

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

V1116

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

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

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

以下是讓 PVS-Studio 分析器產(chǎn)生警告的程式碼範(fà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ā)生錯(cuò)誤，SomeCheck 函數(shù)會(huì)拋出一個(gè)帶有空訊息的異常，該異常將在 Foo 函數(shù)中處理。在處理過程中，std::cerr 應(yīng)該包含有關(guān)異常原因的信息，但事實(shí)並非如此。

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

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

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

V1117 [C語言]

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

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

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

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

使 PVS-Studio 分析器產(chǎn)生警告的程式碼範(fà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ī)則的更多詳細(xì)資訊。

V2022 [C語言]

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

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

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

帶有 PVS-Studio 警告的程式碼範(fà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;
  }
}

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

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

V5014 [OWASP 標(biāo)準(zhǔn)]

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

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

此規(guī)則是根據(jù)OWASP安全驗(yàn)證標(biāo)準(zhǔn)設(shè)計(jì)的。

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

帶有 PVS-Studio 警告的程式碼範(fà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; // <=
}

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

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

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

C

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

讓我們從後者開始。

V3207

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

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

帶有 PVS-Studio 警告的程式碼範(fàn)例：

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

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

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

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

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

統(tǒng)一引擎。不支援將“WeakReference”與“UnityEngine.Object”一起使用。 GC 不會(huì)回收該物件的內(nèi)存，因?yàn)樗B結(jié)到本機(jī)物件。

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

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

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

帶有 PVS-Studio 警告的程式碼範(fà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àn)例中，我們可以看到對(duì) GameObject 類別的物件的弱引用。即使作者沒有創(chuàng)建對(duì)此物件的強(qiáng)烈引用，垃圾收集器也無法清理它。

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

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

統(tǒng)一引擎。多次對(duì)「Awaitable」物件使用await 可能會(huì)導(dǎo)致異?；蛩梨i，因?yàn)榇祟愇锛诘却釙?huì)返回池中。

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

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

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

帶有 PVS-Studio 警告的程式碼範(fà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; // <=
}

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

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

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

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

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

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

帶有 PVS-Studio 警告的程式碼範(fàn)例：

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

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

以這種方式呼叫該方法時(shí)，Unity會(huì)給予錯(cuò)誤訊息，但元件本身不會(huì)被銷毀。

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

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

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

此診斷規(guī)則針對(duì)不同範(fàn)圍的錯(cuò)誤 - 效能問題。

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

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

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

帶有 PVS-Studio 警告的程式碼範(fà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;
  }
}

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

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

順便說一句，其他 Unity 診斷尚未推出！準(zhǔn)備好迎接我們團(tuán)隊(duì)的好消息:)

還有一件事...

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

看看這個(gè)範(fà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; // <=
}

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

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

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

但是讓我們來看一個(gè)程式碼稍作修改的範(fàn)例...

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

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

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

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

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

爪哇

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

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

現(xiàn)在，讓我們從一些新的一般分析規(guī)則開始，因?yàn)樗鼈円埠苡袃r(jià)值。

V6123

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

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

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

帶有 PVS-Studio 警告的程式碼範(fà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;
  }
}

運(yùn)算子不會(huì)影響calculateSomething方法傳回的值。

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

V6124

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

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

帶有 PVS-Studio 警告的程式碼範(fà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; // <=
}

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

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

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

V6125

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

此診斷有助於識(shí)別同步問題。

帶有 PVS-Studio 警告的程式碼範(fàn)例：

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

分析器發(fā)現(xiàn)wait、notify和notifyAll方法，因?yàn)樗鼈兛赡茉诓煌降纳舷挛闹斜缓艚?。它們與發(fā)生同步的物件的監(jiān)視器一起操作。也就是說，它們的呼叫僅在同步上下文中並且僅在發(fā)生同步的物件上才是正確的。

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

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

V5309【OWASP標(biāo)準(zhǔn)】

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

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

SQL 注入是一個(gè)漏洞，允許攻擊者將其程式碼注入 SQL 查詢中。如果查詢使用外部資料而沒有正確驗(yàn)證它，則會(huì)面臨資料庫中儲(chǔ)存資訊的完整性和機(jī)密性的風(fēng)險(xiǎ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;
  }
}

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

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

感謝您的閱讀！

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

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