dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
TAJS  |  Java String Analyzer  |  XSLT Validator  |  ServletValidator  |  XSugar  |  Xact  |  JWIG
MONA  |  PALE

• Home

TAJS is a program analysis tool that can infer detailed and sound type information for JavaScript programs using abstract interpretation.

• 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)
• See a presentation of the approach.

The tool is being developed by the programming language research groups at Aarhus University and Universität Freiburg.

If you are interested in research collaborations related to the tool, please contact Anders Møller <amoeller@cs.au.dk>.

Copyright © 2008-2011 Department of Computer Science, Aarhus University. Please send comments to amoeller@cs.au.dk.