差分
なんとも夢のような技術であるが、[[契約による設計]]に対応している[[プログラミング言語]]で[[ソースコード]]がきちんと記述されていれば凄い高い精度を叩き出すが、その他大勢の一般的な[[プログラミング言語]]では期待はずれな残念な結果しか得られないことが多い。
==主な製品==
[[契約による設計]]に対応している[[プログラミング言語]]の多くは[[コンパイラ]]の機能のひとつとして実装していることが多い。
コンパイラに機能として付いているものとしては[[D言語]]が有名である。
[[契約による設計C Sharp|C#]]に対応しているなどの[[プログラミング言語.NET]]の多くは、系では[[コンパイラ共通中間言語]]（[[中間コード]]の機能のひとつとして実装していることが多い。）を食わせるツールで対応している。たとえば[[Visual Studio]]のお高いエディションがこれに対応しているが、のお高いエディションがこれに対応しており、静的解析はビルドの過程で勝手に実行されるので[[コンパイラ]]の機能として提供されるものとの違いは特に感じないと思われる。静的解析を有効にすると、[[ビルド]]が激遅になるうえに、[[C Sharp|C#]]でちょろっと書いた[[hello world]]すら[[エラー]]でまくりで焦ること請け合いである。
==例==