テイントフロー追跡を用いたコンコリックテストによるインジェクション脆弱性検出

抄録

インジェクション脆弱性の検出手法にKleinらの動的テイントフロー追跡を用いた手法（Euro S\&P~2022）があるが，テイントが伝播しない分岐条件が解析されないことによる誤検知や未通過のパスによる検出漏れの問題がある．本稿では，Webアプリケーションのプログラムを題材にこれらの問題を説明し，コンコリックテストの導入による脆弱性検出手法を提案する．