seer-lab / ConDesignPatterns

Static concurrency design pattern detection and annotation in Java.

ConDesignPatterns

Static concurrency design pattern detection and annotation in Java using TXL.

Requirements

• Python 3.6.5
• TXL

Usage

1.

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

2.

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