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.

Tags
Licenses
Implementation

RSS Recent releases

  •  30 Nov 2009 15:26

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

    •  04 Sep 2009 19:58

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

      •  19 Mar 2007 14:57

      Release Notes: Updated for Java 5.

      •  14 Mar 2005 16:00

      Release Notes: This release works with Soot 2.2.1.

      No changes have been submitted for this release.

      Screenshot

      Project Spotlight

      fping

      A utility to ping multiple hosts at once.

      Screenshot

      Project Spotlight

      Hades

      A high availability data source.