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!
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
Podden och tillhörande omslagsbild på den här sidan tillhör Meta. Innehållet i podden är skapat av Meta och inte av, eller tillsammans med, Poddtoppen.