New tool to check points-to results of a heap analysis against runtime pointers....