A lint for TCP connections