InfERL: Scalable and Extensible Erlang Static Analysis
summary
InfERL is an open‑source Erlang front end built on Infer that compiles BEAM with preserved AST and runs pulse (reliability) and topple (temporal/taint) analyses; it adds Erlang models for tuples, lists, maps, scope analysis for local closures, recency abstraction and loop bounds for scalability, and 700+ test snippets to validate semantics. Running on WhatsApp’s millions‑line server code finds about 200 issues, matches flows to production, surfaces 21 actionable taints and leads to fixes (3 confirmed, two high‑priority).
AI-written summary · about
chapters (19)
- 0:00Start
- 2:43User Specified Properties
- 4:38Taint Analysis
- 6:33Reliability Issues
- 7:53Challenges
- 10:27Dynamic Types
- 11:01Concurrency
- 11:25Scalability
- 12:10Compilation Analysis
- 13:40Topple Analysis
- 14:06Reporting Phase
- 14:27Compilation
- 16:14Properties of the Analysis
- 19:53Recency Abstraction
- 22:00Specialization
- 23:46Custom Models
- 25:05High Level Abstractions
- 25:39Library Functions
- 26:02User-Defined Models
