Newer
Older
# Parity Analysis Tool
## Overview
This project uses the [Checker Framework](https://checkerframework.org/) 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)
```bash
./gradlew build
```
To run test cases independently:
```bash
./gradlew test
```
To run the analysis on a specific file and method:
(Note output is a .dot file)
```bash
./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.