Infer

Created June 11, 2015Updated February 17843 Forks6372 Stars2621 Commits94 Open IssuesMobile · Android · iOS · Language Tools · Development Tools

A static analyzer in deployment at Facebook, where it is used as part of the development process for mobile apps. Infer targets critical bugs such as null pointer exceptions, resource leaks and memory leaks — problems which lead to crashes or performance degradation in apps.

Created June 11, 2015Updated February 17843 Forks6372 Stars2621 Commits94 Open IssuesMobile · Android · iOS · Language Tools · Development Tools

@fbinfer

fbinfer

The recording of our #fosdem2017 talk is available from their website. Learn more about how to use and deploy infer: https://t.co/IUIKiPHCsh...

fbinfer

An analyzer as realistic and modular as Inferbo in about 5 weeks? I would not have believed it". Prof Kwangkeun Yi… https://t.co/gAq9U5Wmgf...

fbinfer

"An analyzer as realistic and modular as Inferbo in about 5 weeks? I would not have believed it". Prof Kwangyeun Yi… https://t.co/g16qoTYcOz...

On Facebook

Infer Static Analyzer

The recording of our #fosdem2017 talk is available from their website. Check it out to learn more about how to use and deploy infer!...

Infer Static Analyzer

https://research.fb.com/inferbo-infer-based-buffer-overrun-analyzer/...

Infer Static Analyzer

Using a static analyzer like Infer in a university course seems like a good thing to try. Students can get experience of seeing an analyzer at work on real-world code, to ground what they learn about ...

Keep Updated

Stay up-to-date via RSS with the latest open source project releases from Facebook, news from our Engineering teams, and upcoming events.

Subscribe
Facebook © 2017