例えば、flow-insensitiveなポインタ・エイリアス解析は「変数xとyは同じ位置を参照するかもしれない」と判断するとしたら、flow-sensitiveなポインタ・エイリアス解析は「行番号20の後で、変数xとyは同じ位置を参照するかもしれない」と判断する。
举例来说，一个流不敏感的指针分析可能认为"变量x和y可能指向了同一位置"，而一个流敏感分析会认为"在语句20后，变量x和y可能指向了同一位置"。