「ソースコードを元にソフトウェアの異常な動作を検知する侵入検知システム」記事へのコメント

仕様バグは検知できませんな

[Anonymous Coward]

プログラムミスによるバグや、仕様そのものが脆弱な場合は検知できませんよね。
ソースコードに書いてあることだし。

Re:仕様バグは検知できませんな

[Anonymous Coward]

"バグ"の検知はそもそも目的ではないんじゃないでしょうか？

例えば、コーディングのミスが原因でバッファオーバフローを引き起こす可能性ががある場合、
実際にそこを突かれて任意のコードを実行されて"有り得ない"システムコールのシーケンスが
発生した時点で初めて検出されるわけで。

ソースコードや仕様レベルで問題部分を指摘するなんてのは、最初から狙ってないかと。