Skip to content
Snippets Groups Projects

Parity Analysis Tool

Overview

This project uses the Checker Framework data analysis API to conduct a parity dataflow analysis on target methods within Java source files.

Usage

This project uses the gradle build system. To build use the command: (Note this command both boths and runs test cases)

./gradlew build

To run test cases independently:

./gradlew test

To run the analysis on a specific file and method: (Note output is a .dot file)

./gradlew run --args="-i src/main/java/SimpleTest.java -c SimpleTest -m simpleMethod -o ./output"
  • -i, --inputFile : The Java source file to analyze.
  • -c, --className : The class containing the method.
  • -m, --methodName : The method to analyze within the specified class.
  • -o, --outputDir : The output directory for analysis results.