Episode 15 features a topic that might sound familiar to you if you've listened to previous editions of Inside Facebook Mobile. It's a project that provides such value to developers that it keeps coming up in discussions with engineers working in many different areas at Facebook. Ezgi has a long-awaited converstion with Mihaela and Pascal about Infer, an open-source static analysis tool with support for Java and C-based languages. Ezgi joined Infer as a natural extension of her PhD in programming languages and type systems. You'll not only hear from her about writing and testing a new analyses for Infer, but also what it's like to balance academic research with having applied industry impact. We're sure you'll stay tuned until the end!

Please do send us feedback! You can reach us via email [email protected], Twitter (@insidefbmobile) or Instagram (insidefbmobile).

Topics

• Infer: https://fbinfer.com/
• Getafix: https://code.fb.com/developer-tools/getafix-how-facebook-tools-learn-to-fix-bugs-automatically/
• Litho: http://fblitho.com
• Fresco: https://frescolib.org/
• Flipper: https://fbflipper.com/
• Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators: https://www.cs.cmu.edu/~rvantond/pdfs/ppc-pldi-2019.pdf

Timestamps

 

Intro 00:05 Mailbag: Editors 00:32 Mailbag: Worst part of working here 02:21 News: React Native 0.60 04:32 News: Flipper 0.23 05:18 News: Litho 06:11 News: Fresco 2.0 07:23 Interview: Ezgi 07:47 What is Infer? 09:42 Supporting different languages 11:34 Who can contribute to Infer? 12:57 Build system integration 14:12 Review tool integration 15:32 Infer's compositional analysis 16:51 Measuring success 23:03 What other checks does Infer support? 24:09 Creating new checks 29:56 Performance checks 31:56 Coming up next for Infer 33:22 Ezgi's paper recommendations 36:21 Ocaml 37:46 Outro 41:02 Bloopers 43:25