Latest release: version 2.1-1
- 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
The string analyzer implementation is based on the dk.brics.automaton automaton package.
The tool is being developed by the programming language research group at Aarhus University.