How To Find Dot Violations