My static analysis project for TAU course
See Documentation for explanation about the project and proofs.
To use the program:
Usage: java -jar analysis.jar MODE PATH_TO_PROGRAM [GRAPHVIZ_MODE]
Mode:
0 - Parity analysis
1 - Sum analysis
2 - Cartesian analysis
3 - Sum analysis with parity support
4 - Homogenous sum analysis with parity support
Graphviz mode:
0 - Disabled
1 - Print state on each step
2 - Print only the final step