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
The tool is being developed by the programming language research group at Aarhus University.