C與C 語言靜態分析工具
PC-lint是一款用於分析C語言及C 語言的靜態分析工具。PC-lint分析C及C 並回報程式語言中的錯誤。它幫助開發者開發更安全、可信賴、可維持且便攜的程式。PC-lint在程式開發前期，透過警示使用者可疑的代碼，幫助加速程式開發進程並幫助減低成本。
補足一般編譯器不足的工具
PC-lint可以檢查到一般編譯器無法檢查到的錯誤。PC-lint具有如精確追蹤、初始化檢查、程式中值的追蹤、強型別的追蹤及宏觀分析等一般編譯器無法達到的功能。此外，PC-lint也可以檢查一整套模組，找到模組間的不一致以及冗餘。
系統需求
作業系統：Windows 10 / Windows 8 / Windows 7 / Vista / XP / NT / 2000 / ME / 98
適用對象
1. 嵌入式系統開發團隊：面對資源受限的硬體環境，程式碼品質直接影響系統穩定性，PC-lint 可在不執行程式的情況下靜態掃描潛在風險，有效防止韌體層級的致命錯誤。
2. 車載與工業控制軟體廠商：需符合 MISRA C/C++ 等安全編碼規範，PC-lint 內建豐富的規則集可自動驗證合規性，協助通過功能安全認證審查。
3. 大型 C/C++ 專案維護團隊：面對龐大且長期演進的程式碼庫，PC-lint 可整合至 CI/CD 流程，持續監控新提交代碼的品質，防止技術債累積。
核心使用情境
- 【場景：韌體安全驗證】某醫療設備廠商的韌體開發團隊在準備 IEC 62304 認證時，需要系統性地證明程式碼符合安全編碼標準。透過 PC-lint 對整個 C 程式碼庫進行靜態分析，自動標記出未初始化變數、指標運算越界及不安全的型別轉換等問題，並對應至 MISRA C 規則條目，讓審查文件的準備工作從數週縮短至數日。
- 【場景：記憶體洩漏排查】某工業控制系統因長時間運行後出現不定期當機，開發人員難以透過動態測試重現問題。導入 PC-lint 後，靜態分析迅速定位出多處動態記憶體配置後未釋放的路徑，以及條件分支中遺漏 free() 呼叫的邏輯缺陷，在不需要實機環境的情況下完成問題根因分析，顯著提升除錯效率。
- 【場景：CI/CD 代碼品質把關】某汽車電子軟體供應商將 PC-lint 整合至 Jenkins 持續整合流程，每次開發人員提交 C++ 代碼時自動觸發靜態掃描，並依嚴重程度分級回報警告。團隊設定高風險違規項目可直接阻斷合併請求，確保主幹分支的程式碼品質始終符合車規級標準，有效降低後期系統整合測試的缺陷密度。
常見問題 FAQ
Q：PC-lint for C/C++ 在台灣可以怎麼購買？
A：PC-lint for C/C++ 為國際專業靜態分析工具，授權方式依專案規模與使用人數有所不同。iQrator 提供軟體資訊諮詢與協助詢購服務，歡迎聯絡我們，協助說明適合的授權版本與詢購流程。
