Infer 2024
who it's for
static analysis engineers, compiler engineers, platform engineers, developer tools engineers, security researchers, iOS engineers
topics
type-safe nanopasses; OCaml polymorphic variants; PPX generator for passes; trace-to-model pipeline; Erlang input/output summaries; SQLite capture databases; distributed capture scheduling; pulse infinite termination checker; pulse abstract heap checking; retain-cycle detection for Objective-C; on-demand function summaries; embedded SMT for linear arithmetic
| title | author | length |
|---|---|---|
| Type-safe Nanopasses: How to write a safe and modern compiler front-end | Daniel Mercier | 40m |
Ada front end for Infer compiles Liong parse trees to CIL by composing many tiny, type-safe nanopasses implemented in OCaml, using recursion schemes for… | ||
| Supercharging Infer: Enhancing Static Analysis with Dynamic Data at WhatsApp | Matteo Marescotti | 27m |
WhatsApp integrates Infer with FAUSTA-generated runs inside PrivacyCAT, extracts dbg call traces and converts them via a trace-to-model pipeline into Erlang… | ||
| Infer Internals for Integrations and Infrastructure | Nikos Gorogiannis | 45m |
Describes how Infer separates capture (compiler-plugin style capture into SQLite DBs) from analysis and reporting, and how existing Gradle/Buck integrations… | ||
| Bridging the Gap For Security Analysis In Infer | Julien Vanegue | 40m |
Infer gets extended with pulse infinite, an under-approximate termination checker built on Pulse and Infer’s separation-logic core that analyzes millions of… | ||
| Finding Retain Cycles for Objective-C with Pulse | Dulma Churchill | 28m |
Built a Pulse-based checker that finds Objective‑C retain cycles by walking the Pulse abstract heap and requiring all references in a cycle to be strong… | ||
| State of the Infer Platform | Jules Villard | 50m |
A production-grade static analysis platform that uses on-demand summaries to analyze only reachable code and reanalyzes functions when callers supply concrete… | ||
| nothing matches | ||