- Read the papers:
-
Type Analysis for JavaScript
(presented at SAS'09)
[abstract | PDF | BibTeX] -
Interprocedural Analysis with Lazy Propagation
(presented at SAS'10)
[abstract | PDF | BibTeX] -
Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications
(presented at ESEC/FSE'11)
[abstract | PDF | BibTeX] -
Improving Tools for JavaScript Programmers (Position Paper)
(presented at STOP'12)
[abstract | PDF | BibTeX] -
Remedying the Eval that Men Do
(presented at ISSTA'12)
[abstract | PDF | BibTeX] -
Determinacy in Static Analysis of jQuery
(presented at OOPSLA'14)
[abstract | PDF | BibTeX] -
Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
(presented at SOAP'17)
[abstract | PDF | BibTeX] -
Reasonably-Most-General Clients for JavaScript Library Analysis
(presented at ICSE 2019)
[abstract | PDF | BibTeX] -
Static Analysis with Demand-Driven Value Refinement
(presented at OOPSLA 2019)
[abstract | PDF | BibTeX] -
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
(presented at ECOOP 2020)
[abstract | PDF | BibTeX]
-
Type Analysis for JavaScript
- See also this presentation (slides) or this one (video, from WSCR 2014).
- View the javadoc API
- Try the TAJS Eclipse plug-in (for experimental use only)
- The source code for TAJS is 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.