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.

      RSS Recent comments

      18 Nov 2012 12:10 sgrigorev Thumbs up

      Is url www.brics.dk/JSA/ still alive? I cannot reach this.

      Screenshot

      Project Spotlight

      Chucho

      A C++11 logging framework.

      Screenshot

      Project Spotlight

      Redmine

      A project management and issue tracking system.