A static analysis platform for Java, Kotlin, C, C++, Objective-C, Erlang, C# (via Infer#), and Hack.