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

TAJS: Type Analyzer for JavaScript

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

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 <>.