CodeQLのデータフロー解析において、ポインタやエイリアスを経由した値の移動を正確に追跡するために使用される仕組みはどれか。

Points-to analysis（ポインタ解析）により、異なる変数が同じメモリ領域を指している場合でもデータの流れを追跡可能です。

関連記事

関連記事はありません。