靜態分析技術是壹種軟件代碼分析方法，通過在不運行程序的情況下對源代碼進行分析來發現潛在問題和風險。以下是常見的靜態分析技術：
1、代碼檢查：使用專門工具或人工方法檢查代碼是否符合編碼規範、安全性要求等；
2、語法分析：分析源代碼語言結構、語言關系等情況；
3、控制流分析：分析代碼執行路徑，查找是否存在無限循環、死代碼等；
4、數據流分析：分析變量在程序內部的數據流動以及相互作用，識別潛在的編程錯誤、故障和漏洞；
5、指針分析：對於使用指針的代碼進行分析，確定指針可能引起的問題，如野指針、內存泄漏等；
6、反匯編/反編譯：將機器碼轉換為可讀源代碼進行分析，以便查找安全問題、優化代碼等。這些靜態分析技術可以在開發和測試早期幫助開發人員快速發現問題並改進代碼質量，從而減少代碼缺陷和出錯機會，提高軟件效率和穩定性。
拓展
靜態代碼檢查又稱為靜態程序分析，是指在不運行計算機程序的條件下，進行程序分析的方法。靜態代碼檢查工具會從詞法、語法、語義等多維度去對工程代碼掃描分析，發現可能存在的問題，比如變量未定義、類型不匹配、變量作用域問題、數組下標越界、內存泄露等問題。工具會按照自己的規則進行問題的嚴重等級劃分，給出不同的標識和提示。