We present an Erlang frontend for Infer in order to leverage Infer’s capabilities for the static analysis of WhatsApp server’s codebase.