Infer reports errors in wrong location (a CoreFoundation header that is not analysed) about infer

[jvillard]

Hi,

What command did you use to run Infer? It looks like you passed --headers to the infer command, which makes Infer analyse headers, hence why it would report on these .h files.

[arvryna]

Hey jvillard,
this is what i've used,
infer -- xcodebuild -target -configuration Release clean build -sdk iphonesimulator

[jvillard]

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!

So these reports are actually for somewhere else in the code, not in this header.

This 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.

[cakey]

Getting a similar issue.

[arvryna]

@cakey Do you use AFNetworking in your project, i did a project wide search on
SCNetworkReachabilityCreateWithAddress(), policies, pinnedCertificates found them inside AFNetworking directory .

[cakey]

No - just plain c.

[dulmarod]

This issue has been addressed, please consider using the latest release available in:
https://github.com/facebook/infer/releases/latest.