TAJS-VR: Static Analysis with Demand-Driven Value Refinement
In case of questions or problems, please send us an email!
- Benchmarks.zip (benchmark programs)
- TAJS-VR-experiments.zip (includes prebuilt jar, benchmark programs and usage instructions)
- Source code is available in the following three repositories:
- TAJS-VR-experiments written in Java, which is the main repo that uses the two below as submodules and contains the experiments from the paper
- TAJS-VR written in Java, which is an extension of TAJS with added value refiner support
- Value Refiner written in Scala, which is the value refiner