差分

静的解析を用いるとわざわざ静的解析を用いると、わざわざ[[デバッガー]]を雇い人力でを雇い、人力で[[プログラム]]を実行して[[デバッグ]]をせずとも人為的なをせずとも、人為的な[[コーディング]]時の[[バグ]]により[[エラー]]になるであろう箇所を見つけ出してくれる。たとえば「ある[[関数]]の[[引数]]は0から100の値をとる[[仕様]]」だとすると、それを呼び出す側でそれ以外になる例外パターンは無いか、などを[[芋づる式]]に調べてくれ、例外パターンがあると[[バグ]]として報告してくれる。