かんたんに言うと
プログラムを実際に動かす前や動かしながら、その中身の性質を機械的に調べる技術です。どの値がどこまで影響するかを追いかけます。
もう一歩くわしく
コンパイラやバグ検出ツールの土台になっている、数十年の蓄積がある分野です。「この変数はここから先では使われない」といった判断を自動で下せるため、不要な情報を安全に捨てる作業と相性があります。AIに持たせる記憶の取捨選択にも同じ考え方が使えるという指摘があり、勘に頼っていた設計を理論の側から支える可能性があります。
この用語が出てきたニュース