AL: A new declarative language for detecting bugs with Infer

This post introduces AL, a new declarative language designed to simplify the creation of custom bug detection checkers for Meta's static analysis tool, Infer. AL allows developers to define new checks with minimal static analysis expertise by reasoning about abstract syntax trees, making it easier to identify specific types of bugs, such as incorrect property declarations, without needing to modify Infer's core OCaml source code. This enhances the extensibility and practical application of Infer for mobile code analysis.