Infer v0.8.0 Release Notes

    • ๐Ÿ†• New --reactive mode to rapidly analyze the effects of a code change. Be sure to check out the documentation of the new workflow. As a result, the incremental mode (--incremental) is now deprecated.
    • ๐Ÿ†• New XML output, compatible with output from other static analyzers, eg PMD. To use it, pass the --pmd-xml flag to Infer (see infer --help).
    • โš  Use @SuppressWarnings("infer") in your Java projects to annotate methods or classes where Infer shouldn't report.
    • ๐Ÿš€ This release incorporates a number of contributions (#284 #289 #300 #301) and addresses a number of issues (#279 #281 #283 #288 #291 #294).