-
Alex Cook authored99bc5187
README.md 880 B
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.