Static concurrency design pattern detection and annotation in Java using TXL.
- Python 3.6.5
- TXL
Scan all examples under the ./examples/ directory against all rules under the txl/rules/ directory:
$ python runall.py
If programs examples other than those present in the ./examples/ directory want to be ran instead, then the -i flag can be used to specify the path to the alternate directory of choice.
$ python runall.py -i INPUT_PATH
Test a specific example against a specific TXL rule:
$ txl ./examples/PROGAM_TO_RUN.java -o ./examples/out/PROGAM_TO_RUN.java txl/rules/RULE_TO_TEST.txl