條件判斷中的 == 誤植為 = 這類缺陷，執行期幾乎無法回推原因，卻能在編譯前被靜態分析攔下。本文說明 PC-lint Plus 如何在編譯前掃描 C／C++ 原始碼：缺陷、未定義行為與 MISRA C／C++ 違規一次標出，支援 AUTOSAR C++ 與 CERT C，並可對 ISO 26262／IEC 61508／IEC 62304 產出合規佐證。
一類典型的難追缺陷：條件判斷中的 == 誤植為 =。程式語法合法、多數情境行為正常，只在特定路徑把「比較」變成「賦值」——從執行期行為幾乎無法回推原因，卻能在編譯前被靜態分析直接標出。
PC-lint Plus 的定位正是如此：在程式尚未執行、甚至尚未編譯之前，對 C／C++ 原始碼進行全面檢查，把缺陷、未定義行為與編碼規範違規，攔在成本最低的階段。
靜態錯誤為什麼難防：靠人眼，幾萬行看不完
很多缺陷不是「邏輯想錯」，而是「寫法出錯」——而這類錯，最適合在程式還沒跑之前就抓：
- 手滑型：
==打成=、少一個 break、用了未初始化的變數。 - 潛伏型：陣列越界、空指標、資源沒釋放——平常不爆，特定情況才爆。
- 不合規型：車用、醫療有嚴格的編碼規範（MISRA），人工逐條對照曠日廢時。
- 量太大：幾萬行程式，人眼一行行看，看不完也看不準。
這些錯的共通點是：不必等程式執行，光看原始碼就能判斷。這正是靜態分析的守備範圍。
PC-lint Plus 怎麼解：編譯前把 C／C++ 原始碼掃一遍
PC-lint Plus 是 C、C++ 的靜態分析工具。程式還沒跑、甚至還沒編譯，它就先把原始碼掃過一遍，把錯誤、漏洞、不合規寫法在編譯前通通揪出來——那行 == 打成 = 的錯，它一眼就抓到。
靜態分析 vs 動態測試（VectorCAST）差在哪
它和 VectorCAST 這類動態測試不是取代，而是互補——一個在執行前抓、一個在執行時抓：
| 靜態分析（PC-lint Plus） | 動態測試（VectorCAST） | |
|---|---|---|
| 何時做 | 編譯前，不必執行 | 執行測試時 |
| 抓什麼 | 語法錯、未初始化、不合規寫法 | 邏輯錯、覆蓋率不足 |
| 典型例子 | == 打成 = | 某個分支從沒被測到 |
特別強在合規：MISRA C:2023／C++:2023、CWE／CERT C
對車用、醫療這種高標準產業，PC-lint Plus 最強的地方是合規：
| 面向 | PC-lint Plus 提供 |
|---|---|
| 編碼規範 | MISRA C:2023／C:2025、MISRA C++:2023（大幅涵蓋） |
| 安全弱點 | 偵測 CWE／CERT C 問題 |
| 功能安全 | 認證 ISO 26262／IEC 61508／IEC 62304 |
| 稽核紀錄 | 你要的合規報告，它幫你生 |
PC-lint Plus View：抑制了什麼，都留下紀錄
這一代還多了 PC-lint Plus View 視覺化介面，讓你更好看懂、管理診斷結果。更重要的是——連你「抑制」了哪些警告，都留下完整的稽核紀錄。查核的時候，清清楚楚，不必事後補說明。
常見問題釐清
PC-lint Plus 是什麼？
PC-lint Plus 是 Vector 的 C／C++ 靜態程式碼分析工具。它在程式編譯前掃描原始碼，找出錯誤、漏洞與不合規寫法，特別強於 MISRA、ISO 26262 等合規檢查，主要用於車用、醫療等高標準產業。
支援哪些 MISRA 與安全規範？
支援 MISRA C:2023、MISRA C:2025 與 MISRA C++:2023（大幅涵蓋），並能偵測 CWE 與 CERT C 問題。診斷直接對應到這些規範，方便產出合規報告。
它和 VectorCAST 這類動態測試差在哪？要不要都用？
互補、不取代。PC-lint Plus 在「執行前」用靜態分析抓寫法與合規問題；VectorCAST 在「執行時」做單元／整合測試與覆蓋率。安全關鍵專案通常兩者並用，把左移（靜態）與動態驗證都顧到。
抑制了某些警告，稽核時會不會被質疑漏檢？
不會。PC-lint Plus View 會把你抑制了哪些警告、為什麼抑制，都留下完整的稽核紀錄，查核時可追溯，不必事後補說明。
下一步
讓「跑到現場才爆」的錯，在還沒編譯前就先抓出來
靜態分析是把品質「左移」最划算的一步。歐特莫夫（Vector Informatik 合作夥伴）以 PC-lint Plus 為核心，協助你把 C／C++ 的錯誤、漏洞與不合規寫法在編譯前揪出，對 MISRA、ISO 26262／IEC 61508／62304 產出可稽核的合規報告，並和動態測試串成完整的驗證流程。