惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

D
Docker
Apple Machine Learning Research
Apple Machine Learning Research
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
博客园 - 三生石上(FineUI控件)
月光博客
月光博客
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
WordPress大学
WordPress大学
Hugging Face - Blog
Hugging Face - Blog
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
M
MIT News - Artificial intelligence
腾讯CDC
B
Blog RSS Feed
H
Help Net Security
J
Java Code Geeks
有赞技术团队
有赞技术团队
Y
Y Combinator Blog
博客园_首页
Last Week in AI
Last Week in AI
博客园 - 【当耐特】
博客园 - Franky
B
Blog
MongoDB | Blog
MongoDB | Blog
博客园 - 叶小钗
Martin Fowler
Martin Fowler

Meta Tech Podcast

Meta Tech Podcast: BONUS: Send Us Your Questions About Engineering at Meta Meta Tech Podcast: 87: Everything is Power: Battery Life Engineering for AI Glasses Meta Tech Podcast: 86: A Hard Cell: Engineering Ultra-Narrow Batteries for AI Glasses Meta Tech Podcast: 85: Reel Friends: Building Social Discovery that Scales to Billions Meta Tech Podcast: 84: Trust But Canary: Configuration Safety at Scale Meta Tech Podcast: 83: Patch Me If You Can: AI Codemods for Secure-by-Default Android Apps Meta Tech Podcast: 82: CSS at Scale with StyleX Meta Tech Podcast: 81: From Zero to Polish: Building Meta Ray-Ban Display Meta Tech Podcast: 80: Lowering emissions with the Open Compute Project Meta Tech Podcast: 79: Building Android apps in Meta’s monorepository with Buck2 Meta Tech Podcast: 78: Generating 3D Worlds with AI Meta Tech Podcast: ARCHIVE: What it's like to write code at Meta Meta Tech Podcast: 77: How to build a generic neuromotor interface Meta Tech Podcast: 76: From C to Rust on Mobile Meta Tech Podcast: 75: Open-sourcing Pyrefly - A faster Python type checker written in Rust Meta Tech Podcast: 74: Taking the plunge - The engineering journey of building a Subsea Cable Meta Tech Podcast: 73: Mobile GraphQL at Meta in 2025 Meta Tech Podcast: 72: Multimodal AI for Ray-Ban Meta glasses Meta Tech Podcast: 71: Translating Java to Kotlin at Scale Meta Tech Podcast: 70: Jetpack Compose at Meta Meta Tech Podcast: 69: To type or not to type — measuring productivity impact with DAT Meta Tech Podcast: 68: How to Build a Mixed Reality Headset Meta Tech Podcast: 67: Measuring Developer Productivity with Diff Authoring Time Meta Tech Podcast: 66: Inside Bento - Serverless Jupyter Notebooks at Meta Meta Tech Podcast: 65: Getting Ready for Post-Quantum Cryptography Meta Tech Podcast: 64: Caddy - Building the next generation of CAD software for Mixed Reality Meta Tech Podcast: 63: The key to a happy Rust/C++ relationship Meta Tech Podcast: 62: Building Threads for Web Meta Tech Podcast: 61: Image Quality Improvements at Scale Meta Tech Podcast: 60: Simplified Executable Deployment with DotSlash
Meta Tech Podcast: 15: Infer Static Analysis for Mobile A...
2019-07-17 · via Meta Tech Podcast

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