- Read the papers:
- Type Analysis for JavaScript [ abstract | PDF | BibTeX ] (presented at SAS'09)
- Interprocedural Analysis with Lazy Propagation [ abstract | PDF | BibTeX ] (presented at SAS'10)
- Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications [ abstract | PDF | BibTeX ] (presented at ESEC/FSE'11)
- Improving Tools for JavaScript Programmers (Position Paper) [ abstract | PDF | BibTeX ] (presented at STOP'12)
-
Remedying the Eval that Men Do
[ abstract | BibTeX ]
(presented at ISSTA'12)
- See a presentation of the approach.
- View the javadoc API
- Try the TAJS Eclipse plug-in (for experimental use only)
- The source code for TAJS is now available!
Disclaimer: this is a research prototype, not a finished product. If you have questions about how the tool may be used and whether it may fit certain purposes - or if you are interested in research collaborations related to the tool, please send us an email.
The TAJS tool is being developed by the programming language research groups at Aarhus University and Universität Freiburg.