程序分析

在計算機科學中 ， 程序分析是指自動分析一個程序的包括正確性 、 健壯性 、 安全性和活躍性等特徵的過程 。 程序分析主要研究兩大領域 ： 和程序的正確性 。 前者研究如何提升程序性能並且降低程序的資源佔用 ， 後者研究如何確保程序完成預期的任務 。 程序分析可以在不執行程序的情況下進行 （ 靜態程序分析 ） ， 也可在執行時進行  ， 或結合二者 。