This page is obsolete - the code has been integrated into the main branch of TAJS. You will now be redirected...
TAJS-experimental for jQuery
- benchmarks.zip (benchmark programs)
- tajs-experimental.jar (executable jar)
- TAJS-experimental.zip (full source code)
- Usage:
java -cp tajs-experimental.jar dk.brics.tajs.MainJQueryDeterminacy GROUP MODE SOURCE
where
- GROUP is one A, B, C, or D (corresponding to the four groups of jQuery benchmarks: C uses the sliced benchmarks, and D excludes the DOM model for non-web-apps)
- MODE is one of ALL, NO_BRANCH_PRUNING, NO_PARAMETER_SENSITIVITY, NO_LOOP_SPECIALIZATION, NO_FOR_IN_SPECIALIZATION, NO_CONTEXT_SENSITIVE_HEAP, or NO_IMPROVED_STANDARD_LIBRARY (selects which analysis features to enable/disable)
- SOURCE is the JavaScript or HTML file to analyze
- Examples:
java -cp tajs-experimental.jar dk.brics.tajs.MainJQueryDeterminacy A ALL benchmarks/jquery-1.10.js
java -cp tajs-experimental.jar dk.brics.tajs.MainJQueryDeterminacy A NO_BRANCH_PRUNING benchmarks/jquery-1.10.js
java -cp tajs-experimental.jar dk.brics.tajs.MainJQueryDeterminacy B ALL benchmarks/22.html
In case of questions or problems, please send us an
email!