Skip to content
Snippets Groups Projects
README.md 880 B
Newer Older
Alex Cook's avatar
Alex Cook committed
# 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.