15: Infer Static Analysis for Mobile Apps with Ezgi
Meta Tech Podcast17 Juli 2019

15: Infer Static Analysis for Mobile Apps with Ezgi

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

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(91)

85: Reel Friends: Building Social Discovery that Scales to Billions

85: Reel Friends: Building Social Discovery that Scales to Billions

You've probably spotted those little circles of your friends' faces popping up on Facebook Reels. They look simple enough, but building them was a proper engineering challenge. In this episode, Pascal...

8 Maj 38min

84: Trust But Canary: Configuration Safety at Scale

84: Trust But Canary: Configuration Safety at Scale

Have you ever wondered how Meta makes config rollouts safe at scale? In this episode, Pascal sits down with Ishwari and Joe to discuss Meta's approach for propagating changes across services in second...

2 Apr 37min

83: Patch Me If You Can: AI Codemods for Secure-by-Default Android Apps

83: Patch Me If You Can: AI Codemods for Secure-by-Default Android Apps

At Meta, even seemingly simple engineering tasks—like updating an API—become monumental undertakings when you're dealing with millions of lines of code and thousands of engineers, especially if the ch...

27 Feb 47min

82: CSS at Scale with StyleX

82: CSS at Scale with StyleX

It's not just Not Invented Here Syndrome. Some technologies like CSS simply don't scale if you're building some of the largest websites on the planet with thousands of engineers committing to the same...

8 Jan 44min

81: From Zero to Polish: Building Meta Ray-Ban Display

81: From Zero to Polish: Building Meta Ray-Ban Display

You've likely heard of Meta Ray-Ban Display by now — but what's it actually like to work on it? In this episode, Pascal talks to Kenan and Emanuel about the exciting features of Meta's First-Gen Displ...

12 Dec 202547min

80: Lowering emissions with the Open Compute Project

80: Lowering emissions with the Open Compute Project

In this episode, Pascal talks to Dharmesh J. (DJ) and Lisa about the vision for the open, scalable future of networking hardware for AI and to break down Meta's big announcements from the 2025 Open Co...

14 Nov 202538min

79: Building Android apps in Meta's monorepository with Buck2

79: Building Android apps in Meta's monorepository with Buck2

How do you keep Android build times under control when your codebase spans tens of thousands of modules and millions of lines of Kotlin? In this episode, Pascal talks with Iveta, Navid, and Joshua fro...

10 Okt 202537min

78: Generating 3D Worlds with AI

78: Generating 3D Worlds with AI

Creating 3D assets can be daunting, but does it have to be? Mahima and Rakesh are on a quest to democratize 3D content creation with AssetGen, a foundation model for 3D. They discuss the challenges of...

19 Sep 202536min

Populärt inom Teknik

uppgang-och-fall
market-makers
bilar-med-sladd
elbilsveckan
skogsforum-podcast
rss-laddstationen-med-elbilen-i-sverige
rss-technokratin
natets-morka-sida
rss-elektrikerpodden
developers-mer-an-bara-kod
bli-saker-podden
gubbar-som-tjotar-om-bilar
rss-it-sakerhetspodden
rss-uppgang-och-fall
rss-veckans-ai
hej-bruksbil
har-vi-akt-till-mars-an
vi-bilagares-podcast
rss-powerboat-sverige-podcast
rss-snacka-om-ai