ソースコード解析（SAST）において、データフロー解析を用いて、信頼できない入力が危険なシンク（実行関数）に到達する経路を特定する技術を何と呼ぶか。

サプライチェーンセキュリティにおいて、ハードウェア製品に不正なチップやバックドアが仕込まれていないことを保証するために、信頼できる供給元からの調達や封印等を管理するプロセスはどれか。