Møller, Schwartzbach, 2001. The pointer assertion logic engine 36.. https://doi.org/10.1145/381694.378851