A paper describing the technique is currently under submission.
Installation and Usage
Follow these steps for installing the CADA tool:
Clone this repository and run
Enter the jalangiRuntime directory and clone the jalangi2 repository (https://github.com/drill89/jalangi2)
Enter the jalangi2 directory and execute
Go back to the root directory and clone the jalangi2analyses repository (https://github.com/drill89/jalangi2analyses.git)
To apply CADA to a the "backbone" library, run: