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.
| Tags | Software Development |
|---|---|
| Licenses | GPL |
| Implementation | Java |
Recent releases


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.
Recent comments
18 Nov 2012 12:10
Is url www.brics.dk/JSA/ still alive? I cannot reach this.