This analysis uses Abstract Interpretation to detect Unused Input Variables in Java programs. The analysis is built using Infer.AI framework.
To install Infer please head to Getting Started for information about the installation of Infer.
After Infer is installed, inside the folder where the Java program to be analyzed is located, execute: "infer -g --data-usage-check-only -- javac JavaFileToBeTested.java"
For example, inside the Benchmark folder: "infer -g --data-usage-check-only -- javac BRCA_example.java".