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

Java String Analyzer

The Java String Analyzer is a tool for analyzing the flow of strings and string operations in Java programs. For each string expression, it computes a finite-state automaton that provides an upper approximation of the values that may appear at runtime.

Latest release: version 2.1-1, November 30, 2009

Java String Analyzer

The string analyzer implementation is based on the dk.brics.automaton automaton package. New versions are announced via freshmeat.

The tool is being developed by the programming language research group at Aarhus University.