2006-10-17 既視感 iser 今日は PHP で書かれたコードの安全性を静的に解析するという話を聞いた。それでふと思い出したのだが、前にどっかで SQL を検証するとか何とかいう話を聞いたような覚えがある。確か boolean automaton を……あれ、どうするんだっけ? 発表資料がないから良く分かんないや。