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

静的解析には期待するけど

[Anonymous Coward]

JITと親和性悪そうだなあ。システムコールを直接JITコードから発行せずに、ラッパーを噛ませて「既知の遷移リンクが無いノード」として扱えるのかもしれないけれど、この方法の有効性を否定しそうだし (論文ざっと読んでみたけどJITに関する記述が見つからなかった。この方法で問題なくカバーできるのかな?)。
動的生成されるコードまで面倒を見るには、静的解析によって「あるコード生成コードが生成可能な全てのコード」に対する性質が証明できれば良いわけだけれど、そのためにはコード生成をするコードを高レベルで記述できる言語が必要になりそうだ。