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

Read the paper: Precise Analysis of String Expressions [ abstract | PDF | BibTeX ] (in Proc. SAS'03)
Download the source code or jar files
If you want to use or extend the tool, read The Big Manual for the Java String Analyzer [ PDF | BibTeX ]
View the javadoc API
Some applications and related work:
- JWIG - Web application programming
- Xact - XML transformations
- See also citations according to Google Scholar

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.