静的解析(SAST)において、シンクからソースまでデータの流れを追跡する手法を何と呼ぶか。

汚染された(未検証の)データがプログラム内をどのように伝播するかを追跡する手法である。