「静的解析ツール」の版間の差分

6行目:

なんとも夢のような技術であるが、[[契約による設計]]に対応している[[プログラミング言語]]で[[ソースコード]]がきちんと記述されていれば凄い高い精度を叩き出すが、その他大勢の一般的な[[プログラミング言語]]では期待はずれな残念な結果しか得られないことが多い。

==主な製品==

[[契約による設計]]に対応している[[プログラミング言語]]の多くは[[コンパイラ]]の機能のひとつとして実装していることが多い。

コンパイラに機能として付いているものとしては[[D言語]]が有名である。

[[~~契約による設計~~]]~~に対応している~~[[~~プログラミング言語~~]]~~の多くは、~~[[~~コンパイラ~~]]~~の機能のひとつとして実装していることが多い。~~

[[C Sharp|C#]]などの[[.NET]]系では[[共通中間言語]]（[[中間コード]]）を食わせるツールで対応している。

~~たとえば~~[[Visual Studio]]~~のお高いエディションがこれに対応しているが、~~[[ビルド]]が激遅になるうえに、[[C Sharp|C#]]でちょろっと書いた[[hello world]]すら[[エラー]]でまくりで焦ること請け合いである。

[[Visual Studio]]のお高いエディションがこれに対応しており、静的解析はビルドの過程で勝手に実行されるので[[コンパイラ]]の機能として提供されるものとの違いは特に感じないと思われる。静的解析を有効にすると、[[ビルド]]が激遅になるうえに、[[C Sharp|C#]]でちょろっと書いた[[hello world]]すら[[エラー]]でまくりで焦ること請け合いである。

==例==