InfERL: scalable and extensible Erlang static analysis
연구 분야: Strategies
학회: Erlang 2022: Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang
초록
In this paper we introduce InfERL, an open source, scalable, and extensible static analyzer for Erlang, based on Meta’s Infer tool. InfERL has been developed at WhatsApp and it is deployed to regularly scan WhatsApp server’s Erlang code- base, detecting reliability issues and checking user-defined properties. The paper describes the Erlang specific technical challenges we had to address and our design choices. We also report on our experience in running InfERL on Erlang code at scale, supporting the messaging app used everyday by over 2 billion people.
📄 논문 정보
| 발행 연도 | 2022년 |
|---|---|
| 인용수 | 5 |
| 출판 국가 | |
| 사이트 | ACM |
| 좋아요 수 | 0 |