Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improving Robustness of Infer Command #1813

Open
DHolden24 opened this issue Feb 5, 2024 · 0 comments
Open

Improving Robustness of Infer Command #1813

DHolden24 opened this issue Feb 5, 2024 · 0 comments

Comments

@DHolden24
Copy link

I'm doing some research the presence of bugs in Java projects (only projects which use Maven). I'm trying to use Infer to determine the issues present in ~3100 projects, but I'm finding that Infer is failing on 40-50% of the projects.

In most of the failing cases that I've manually investigated, the Infer command fails to run the specified Maven command while the Maven command runs without issue when not using Infer. So I'm wondering if there's a way I can improve the robustness of the Infer command I'm using.
I'm not expecting to get Infer running for every project, but I'd like the failure rate to be quite a bit lower if possible.

Infer Version: 1.1.0

OS: Ubuntu 20.04.6 LTS (Running on WSL2)

Command: infer --java-version # --starvation --pulse --biabduction --quandary --annotation-reachability --immutable-cast --loop-hoisting --keep-going -- mvn clean compile -DskipTests -Dmaven.tests.skip=true -Djacoco.skip -Dcheckstyle.skip -Dspotless.apply.skip -Drat.skip -Denforcer.skip -Danimal.sniffer.skip -Dmaven.javadoc.skip -Dmaven.gitcommitid.skip -Dfindbugs.skip -Dwarbucks.skip -Dmodernizer.skip -Dimpsort.skip -Dpmd.skip -Dxjc.skip -Dair.check.skip-all -Dlicense.skip -Dfindbugs.skip -Denforcer.skip -Dremoteresources.skip
The value for --java-version gets set based on the Java version specified in each project's pom file to one of 8, 11, or 17. The JAVA_HOME environment variable also gets set to point at the correct Java version.

Infer Output: I can provide an example output if requested, but I'm not noticing a common error between most of the runs (besides that it's a compile error).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant