条件式の解析によるSQLインジェクション脆弱性検査法の改良

摘要

文字列解析とこれを用いたSQLインジェクション脆弱性検査法が提案されている．この方法はSQL実行文の引数であるSQLクエリを正規言語として解析し，SQLクエリの文法を解析する．SQLインジェクション脆弱性のプログラム上での対策方法には，入力値検査と出力のエスケープ処理がある．しかし，上記の検査法では入力値検査により脆弱性対策をするプログラムを正しく検査できない．本発表では，プログラムの条件式を解析することにより従来の検査法を拡張し，入力値検査を含むプログラムについてもより正確に解析するための方法について述べ，評価実験の結果をあわせて報告する．