Taint Analysis（汚染解析）

汚染解析は、信頼できない（汚染された）入力がプログラムを介してどのように流れるかを追跡し、汚染されたデータが危険な操作（シンク）に到達する脆弱性を特定するデータフロー解析技術です。2005年にNewsomeとSongによって形式化された汚染解析は、入力データを汚染されたものとしてマークし、プログラム全体に汚染ラベルを伝播させ、汚染されたデータがSQLクエリやシステムコールのような機密性の高い操作に到達したときに警告を発します。汚染解析はインジェクション脆弱性の検出に不可欠であり、動的解析ツールやセキュリティ監視システムで広く使用されています。