Need help with infer-plugin?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

uber-archive
128 Stars 14 Forks Other 46 Commits 6 Opened issues

Description

Gradle plugin that allows easy integration with the infer static analyzer.

Services available

!
?

Need anything else?

Contributors list

Infer Gradle Plugin

Build Status

This Gradle plug-in creates tasks to run Infer on Android and Java projects.

Deprecated

This plug-in isn't used or maintained by the original authors anymore. For null checking, we recommend migrating to NullAway. If you're still using Infer for additional checks, we recomend investigating other approaches as this plug-in isn't actively being worked on.

Integration

To use this plug-in, you must have Infer installed.

Add the plug-in dependency and apply it in your project's

build.gradle
:
groovy
buildscript {
    repositories {
        mavenCentral()
    }
    dependencies {
        ...
        classpath "com.uber:infer-plugin:0.7.4"
    }
}

Applying the Plugin

Android

apply plugin: 'com.android.application'
apply plugin: 'com.uber.infer.android'

Java

apply plugin: 'java'
apply plugin: 'com.uber.infer.java'

Including and Excluding

In the build.gradle of the project that applies the plugin:

groovy
inferPlugin {
    infer {
        include = project.files("")
        exclude = project.files("")
    }
    eradicate {
        include = project.files("")
        exclude = project.files("")
    }
}

Tasks

  • infer
    - runs Infer's standard analyzer.
  • eradicate
    - runs Infer's Eradicate analyzer.

For Android projects, the plug-in will create a task for each build variant in your application or library (for example, debug and release).

  • inferVaraint
    - runs Infer's standard analyzer.
  • eradicateVariant
    - runs Infer's Eradicate analyzer.

For a specific list of tasks available on your project, run Gradle's

tasks
command.

Contributors

We'd love for you to contribute to our open source projects. Before we can accept your contributions, we kindly ask you to sign our Uber Contributor License Agreement.

  • If you find a bug, open an issue or submit a fix via a pull request.
  • If you have a feature request, open an issue or submit an implementation via a pull request
  • If you want to contribute, submit a pull request.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.