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.
Release Notes: Support for simple path sensitivity was added. Various minor improvements and bugfixes were made. The user manual was updated.
Release Notes: Major refactoring, improved performance and precision, and a new user manual.
Release Notes: Updated for Java 5.
Release Notes: This release works with Soot 2.2.1.
No changes have been submitted for this release.