静的解析ツール - 版の履歴

2024年9月26日 (木) 05:48にAdministratorによる

2024-09-26T05:48:39Z

← 古い版		2024年9月26日 (木) 05:48時点における版
40行目:		40行目:
	*[[コンパイラ]]		*[[コンパイラ]]

	~~==参考文献==~~		[[category: プログラミング]]
	~~{{reflist}}~~

	~~{{stub}}~~

Administrator: /* 概要 */

2024-09-26T05:48:08Z

概要

← 古い版		2024年9月26日 (木) 05:48時点における版
2行目:		2行目:

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

	~~なんとも夢のような技術であるが、~~[[契約による設計]]~~に対応している~~[[プログラミング言語]]で[[ソースコード]]がきちんと記述されていれば凄い高い精度を叩き出すが、その他大勢の一般的な[[プログラミング言語]]では期待はずれな残念な結果しか得られないことが多い。		たとえば「ある[[関数]]の[[引数]]は0から100の値をとる[[仕様]]」だとすると、それを呼び出す側でそれ以外になる例外パターンは無いか、などを[[芋づる式]]に調べてくれ、例外パターンがあると[[バグ]]として報告してくれる。

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

	2024年頃から[[人工知能]]を使うことでクソみたいなソースコードでも解析できるものが登場してきた。		2024年頃から[[人工知能]]を使うことでクソみたいなソースコードでも解析できるものが登場してきた。

Administrator: /* 概要 */

2024-09-26T05:47:35Z

概要

← 古い版		2024年9月26日 (木) 05:47時点における版
5行目:		5行目:

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

			2024年頃から[[人工知能]]を使うことでクソみたいなソースコードでも解析できるものが登場してきた。

	==主な製品==		==主な製品==

imported>Mono Book: /* 概要 */

2014-08-07T08:51:24Z

概要

← 古い版		2014年8月7日 (木) 08:51時点における版
6行目:		6行目:
	なんとも夢のような技術であるが、[[契約による設計]]に対応している[[プログラミング言語]]で[[ソースコード]]がきちんと記述されていれば凄い高い精度を叩き出すが、その他大勢の一般的な[[プログラミング言語]]では期待はずれな残念な結果しか得られないことが多い。		なんとも夢のような技術であるが、[[契約による設計]]に対応している[[プログラミング言語]]で[[ソースコード]]がきちんと記述されていれば凄い高い精度を叩き出すが、その他大勢の一般的な[[プログラミング言語]]では期待はずれな残念な結果しか得られないことが多い。

			==主な製品==
			[[契約による設計]]に対応している[[プログラミング言語]]の多くは[[コンパイラ]]の機能のひとつとして実装していることが多い。
			コンパイラに機能として付いているものとしては[[D言語]]が有名である。

	[[~~契約による設計~~]]~~に対応している~~[[~~プログラミング言語~~]]~~の多くは、~~[[~~コンパイラ~~]]~~の機能のひとつとして実装していることが多い。~~		[[C Sharp\|C#]]などの[[.NET]]系では[[共通中間言語]]（[[中間コード]]）を食わせるツールで対応している。
	~~たとえば~~[[Visual Studio]]~~のお高いエディションがこれに対応しているが、~~[[ビルド]]が激遅になるうえに、[[C Sharp\|C#]]でちょろっと書いた[[hello world]]すら[[エラー]]でまくりで焦ること請け合いである。		[[Visual Studio]]のお高いエディションがこれに対応しており、静的解析はビルドの過程で勝手に実行されるので[[コンパイラ]]の機能として提供されるものとの違いは特に感じないと思われる。静的解析を有効にすると、[[ビルド]]が激遅になるうえに、[[C Sharp\|C#]]でちょろっと書いた[[hello world]]すら[[エラー]]でまくりで焦ること請け合いである。

	==例==		==例==

2014年8月7日 (木) 08:45にimported>Mono Bookによる

2014-08-07T08:45:43Z

← 古い版		2014年8月7日 (木) 08:45時点における版
1行目:		1行目:
	'''静的解析ツール'''（[[英語]]：static ~~analysis）とは、解析ソフトに~~[[ソースコード]]を食わせると、[[バグ]]~~の原因になりそうな箇所を指摘してくれるという物である。~~		'''静的解析ツール'''（[[英語]]：static analysis）とは、[[ソースコード]]を食わせると、[[バグ]]の原因になりそうな箇所を指摘してくれる[[ソフトウェア]]の総称である。

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

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


	[[契約による設計]]に対応している[[プログラミング言語]]の多くは、[[コンパイラ]]の機能のひとつとして実装していることが多い。		[[契約による設計]]に対応している[[プログラミング言語]]の多くは、[[コンパイラ]]の機能のひとつとして実装していることが多い。
	たとえば[[Visual Studio]]のお高いエディションがこれに対応しているが、[[ビルド]]が激遅になるうえに、[[C Sharp\|C#]]でちょろっと書いた[[hello world]]すら[[エラー]]でまくりで焦ること請け合いである。		たとえば[[Visual Studio]]のお高いエディションがこれに対応しているが、[[ビルド]]が激遅になるうえに、[[C Sharp\|C#]]でちょろっと書いた[[hello world]]すら[[エラー]]でまくりで焦ること請け合いである。

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

	==例==		==例==

2014年8月7日 (木) 08:43にimported>Mono Bookによる

2014-08-07T08:43:45Z

← 古い版		2014年8月7日 (木) 08:43時点における版
1行目:		1行目:
	'''静的解析ツール'''~~とは、解析ソフトに~~[[ソースコード]]を食わせると、[[バグ]]の原因になりそうな箇所を指摘してくれるという物である。		'''静的解析ツール'''（[[英語]]：static analysis）とは、解析ソフトに[[ソースコード]]を食わせると、[[バグ]]の原因になりそうな箇所を指摘してくれるという物である。

	==概要==		==概要==

imported>Mono Book: /* 概要 */

2014-08-07T08:28:06Z

概要

← 古い版		2014年8月7日 (木) 08:28時点における版
8行目:		8行目:

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

			==例==
			静的解析が[[コンパイラ]]に標準搭載されている[[D言語]]の記述例。
			関数square_rootを呼び出してる箇所で引数xが0未満になる可能性のあるところはすべて[[コンパイルエラー]]となる。
			<source lang="d">
			long square_root(long x)
			in
			{//事前条件
			assert(0 <= x);
			}
			out (result)
			{//事後条件
			assert((result * result) <= x && x < (result+1) * (result+1));
			}
			body
			{//関数本体
			return cast(long)std.math.sqrt(cast(real)x);
			}
			</source>

	==関連項目==		==関連項目==

imported>Mono Book: /* 関連項目 */

2014-08-07T08:11:38Z

imported>Mono Book: /* 概要 */

2014-08-07T08:07:18Z

概要

← 古い版		2014年8月7日 (木) 08:07時点における版
2行目:		2行目:

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

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

2014年8月7日 (木) 08:06にimported>Mono Bookによる

2014-08-07T08:06:38Z

← 古い版		2014年8月7日 (木) 08:06時点における版
1行目:		1行目:
	'''~~静的コード解析~~'''とは、解析ソフトに[[ソースコード]]を食わせると、[[バグ]]の原因になりそうな箇所を指摘してくれるという物である。		'''静的解析ツール'''とは、解析ソフトに[[ソースコード]]を食わせると、[[バグ]]の原因になりそうな箇所を指摘してくれるという物である。

	==概要==		==概要==

← 古い版		2014年8月7日 (木) 08:11時点における版
11行目:		11行目:
	==関連項目==		==関連項目==
	*[[契約による設計]]		*[[契約による設計]]
			*[[コンパイラ]]

	==参考文献==		==参考文献==