アカウント名:
パスワード:
静的コード解析 - Wikipedia [wikipedia.org]>実行時エラーを全て検出することは不可能であることが証明されており、任意のプログラムが正しく動作するかエラーになるかを判定する機械的手法はない。特にセキュリティソフトウェアはカーネルパッチングを行うので一層自動解析による脆弱性の発見は難しいでしょう。けども、これからも形式検証は進化するはずなので、そのうち解決される気がします。
うんにゃ、どんなに形式検証の技術が進化しても絶対に不可能であることが、まだコンピュータが発明すらされてすらいない時代にすでに証明済みなの。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
あと、僕は馬鹿なことをするのは嫌いですよ (わざとやるとき以外は)。-- Larry Wall
静的コード解析には限界がある (スコア:1, すばらしい洞察)
静的コード解析 - Wikipedia [wikipedia.org]
>実行時エラーを全て検出することは不可能であることが証明されており、任意のプログラムが正しく動作するかエラーになるかを判定する機械的手法はない。
特にセキュリティソフトウェアはカーネルパッチングを行うので一層自動解析による脆弱性の発見は難しいでしょう。
けども、これからも形式検証は進化するはずなので、そのうち解決される気がします。
Re:静的コード解析には限界がある (スコア:0)
うんにゃ、どんなに形式検証の技術が進化しても絶対に不可能であることが、まだコンピュータが発明すらされてすらいない時代にすでに証明済みなの。
Re:静的コード解析には限界がある (スコア:2)