TAJS-VR: Static Analysis with Demand-Driven Value Refinement

• 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