Projects / Java String Analyzer

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.


Recent releases

  •  30 Nov 2009 12:53

    Release Notes: Support for simple path sensitivity was added. Various minor improvements and bugfixes were made. The user manual was updated.

    •  04 Sep 2009 18:30

      Release Notes: Major refactoring, improved performance and precision, and a new user manual.

      •  19 Mar 2007 22:57

        Release Notes: Updated for Java 5.

        •  15 Mar 2005 00:00

          Release Notes: This release works with Soot 2.2.1.

          •  19 Feb 2003 22:36

            No changes have been submitted for this release.

            Recent comments

            18 Nov 2012 12:10 sgrigorev

            Is url still alive? I cannot reach this.


            Project Spotlight


            A Fluent OpenStack client API for Java.


            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.