{"action":"created","issue":{"url":"https://api.github.com/repos/facebook/infer/issues/31","labels_url":"https://api.github.com/repos/facebook/infer/issues/31/labels{/name}","comments_url":"https://api.github.com/repos/facebook/infer/issues/31/comments","events_url":"https://api.github.com/repos/facebook/infer/issues/31/events","html_url":"https://github.com/facebook/infer/issues/31","id":87715983,"number":31,"title":"Infer analysing CoreFoundation.framework headers for no reason","user":{"login":"AravinthChandran","id":4346153,"avatar_url":"https://avatars.githubusercontent.com/u/4346153?v=3","gravatar_id":"","url":"https://api.github.com/users/AravinthChandran","html_url":"https://github.com/AravinthChandran","followers_url":"https://api.github.com/users/AravinthChandran/followers","following_url":"https://api.github.com/users/AravinthChandran/following{/other_user}","gists_url":"https://api.github.com/users/AravinthChandran/gists{/gist_id}","starred_url":"https://api.github.com/users/AravinthChandran/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AravinthChandran/subscriptions","organizations_url":"https://api.github.com/users/AravinthChandran/orgs","repos_url":"https://api.github.com/users/AravinthChandran/repos","events_url":"https://api.github.com/users/AravinthChandran/events{/privacy}","received_events_url":"https://api.github.com/users/AravinthChandran/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-06-12T12:35:39Z","updated_at":"2015-06-12T14:26:43Z","closed_at":null,"body":"/Applications/Xcode 6.app/Contents/Developer/Platforms/iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulator8.3.sdk/System/Library/Frameworks/CoreFoundation.framework/Headers/CFAvailability.h:131: error: MEMORY_LEAK\r\n   memory dynamically allocated to ref by call to SCNetworkReachabilityCreateWithAddress() at line 128, column 36 is not reachable after line 131, column 9\r\n\r\n/Applications/Xcode 6.app/Contents/Developer/Platforms/iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulator8.3.sdk/System/Library/Frameworks/CoreFoundation.framework/Headers/CFAvailability.h:258: error: MEMORY_LEAK\r\n   memory dynamically allocated to policies by call to array at line 251, column 32 is not reachable after line 258, column 5\r\n\r\n/Applications/Xcode 6.app/Contents/Developer/Platforms/iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulator8.3.sdk/System/Library/Frameworks/CoreFoundation.framework/Headers/CFAvailability.h:273: error: MEMORY_LEAK\r\n   memory dynamically allocated to pinnedCertificates by call to array at line 269, column 50 is not reachable after line 273, column 13\r\n"},"comment":{"url":"https://api.github.com/repos/facebook/infer/issues/comments/111512348","html_url":"https://github.com/facebook/infer/issues/31#issuecomment-111512348","issue_url":"https://api.github.com/repos/facebook/infer/issues/31","id":111512348,"user":{"login":"jvillard","id":1083541,"avatar_url":"https://avatars.githubusercontent.com/u/1083541?v=3","gravatar_id":"","url":"https://api.github.com/users/jvillard","html_url":"https://github.com/jvillard","followers_url":"https://api.github.com/users/jvillard/followers","following_url":"https://api.github.com/users/jvillard/following{/other_user}","gists_url":"https://api.github.com/users/jvillard/gists{/gist_id}","starred_url":"https://api.github.com/users/jvillard/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jvillard/subscriptions","organizations_url":"https://api.github.com/users/jvillard/orgs","repos_url":"https://api.github.com/users/jvillard/repos","events_url":"https://api.github.com/users/jvillard/events{/privacy}","received_events_url":"https://api.github.com/users/jvillard/received_events","type":"User","site_admin":false},"created_at":"2015-06-12T14:26:43Z","updated_at":"2015-06-12T14:26:43Z","body":"It looks like Infer is wrongly reporting the locations of these errors. There is no `SCNetworkReachabilityCreateWithAddress()`, `policies` or `pinnedCertificates` in `/Applications/Xcode 6.app/Contents/Developer/Platforms/iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulator8.3.sdk/System/Library/Frameworks/CoreFoundation.framework/Headers/CFAvailability.h`!\r\n\r\nSo these reports are actually for somewhere else in the code, not in this header.\r\n\r\nThis is a known issue in our clang frontend that sometimes line numbers/files are off. We are actively working on fixing this. Leaving this open until we do."}}