Pointers -- Specification Mining with Few False Positives -- Program Analysis -- Path