Package dk.brics.string

Interface to the string analysis.

See:
          Description

Class Summary
AnalyzeRuntime An executable front-end for analyzing programs using the string analysis runtime library.
BindingAutomatonProvider  
Debug Debug mode enabled/disabled.
MethodNameTaintAnalysisStrategy A taint analysis strategy that decides whether a result is taint based on the method called.
Misc Convenience methods.
RuntimeHotspot A representation of a hotspot in the analysis of a program using the string analysis runtime library.
RuntimeResolver Encapsulation of the analysis of a program using the string analysis runtime library.
StringAnalysis A StringAnalysis object encapsulates a string analysis performed on a collection of classes.
 

Enum Summary
HotspotKind There are two kinds of hotspots, originating from two different runtime methods.
 

Exception Summary
InvalidRuntimeUseException Thrown to indicate that some invalid use of the runtime library has been encountered.
 

Package dk.brics.string Description

Interface to the string analysis.

This code may be used under the terms of the GNU General Public License.



Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.