

























Jul 17, 2019
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 mobilepodcasts@fb.com, Twitter (@insidefbmobile) or Instagram (insidefbmobile).
Topics
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 |
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。