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.