静态应用程式安全检测（Static Application Security Testing，简称SAST）。
形式化方法.形式化方法是一种利用纯粹数学的方式分析软体的方法，应用到的数学技巧包括指称语义、公理语义、操作语义学及抽象释义等计算机科学中的方法。针对任何图灵完全的程式语言，不可能存在一演算法可以找出任意程式在执行期间的所有错误，也没有数学方法可以得到一程式是否会有执行期间的错误的结果。上述的结论是由库尔特·哥德尔、阿隆佐·邱奇及阿兰·图灵在1930年代研究停机问题所得