Finding inter-procedural bugs at scale with Infer static analyzer
- Track: Source Code Analysis devroom
- Room: UD2.119
- Day: Sunday
- Start: 14:40
- End: 15:00
Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance. Infer has been successfully deployed at Facebook, where it identifies hundreds of potential bugs per month in mobile apps and backend code.
This talk will present Infer, and how it can be used to help developers move fast and with more confidence.
Speakers
Jules Villard |