A B C D E F G H I J K L M N O P R S T U V W

A

a - Variable in class dk.brics.string.intermediate.AssertAliases
 
AbstractDispatchClassHierarchy - Class in dk.brics.string.java
Finds the possible targets of an invocation using the class hierarchy of the application.
AbstractDispatchClassHierarchy(Hierarchy) - Constructor for class dk.brics.string.java.AbstractDispatchClassHierarchy
 
AbstractDispatchStrategy - Interface in dk.brics.string.java
Strategy for finding the set of possible targets of an instance invocation.
add(char) - Method in class dk.brics.string.charset.CharSet
Constructs character set as this one but adds the given character.
add(N) - Method in interface dk.brics.string.directedgraph.GraphComponent
Adds a node to this component.
add(N, C) - Method in class dk.brics.string.directedgraph.StronglyConnectedComponents
Adds a new node to a component.
add(Nonterminal) - Method in class dk.brics.string.grammar.operations.Component
 
add(Statement) - Method in class dk.brics.string.intermediate.operations.WorkList
Adds the given statement to the worklist.
add(K, V) - Method in class dk.brics.string.util.MultiMap
Adds a key-value pair to the multimap.
addAll(Method) - Method in class dk.brics.string.intermediate.operations.WorkList
Adds all statements from the body of the given method to the worklist.
addAll(List<? extends Statement>) - Method in class dk.brics.string.intermediate.operations.WorkList
Adds all specified statements to the worklist.
addAll(K, Collection<? extends V>) - Method in class dk.brics.string.util.MultiMap
Adds a key-value pair for each value in the specified set.
addAssignmentNode() - Method in class dk.brics.string.flow.FlowGraph
Adds new assignment node to this flow graph.
addAutomatonProduction(Nonterminal, Automaton) - Method in class dk.brics.string.grammar.Grammar
Adds new automaton production [a -> reg].
addAutomatonTransition(MLFAState, MLFAState, Automaton) - Method in class dk.brics.string.mlfa.MLFA
Adds new automaton transition to this MLFA.
addBinaryNode(BinaryOperation) - Method in class dk.brics.string.flow.FlowGraph
Adds new binary operation node to this flow graph.
addBinaryProduction(Nonterminal, BinaryOperation, Nonterminal, Nonterminal) - Method in class dk.brics.string.grammar.Grammar
Adds new binary operation production [a -> op2(b,c)].
addBinaryTransition(MLFAState, MLFAState, BinaryOperation, MLFAStatePair, MLFAStatePair) - Method in class dk.brics.string.mlfa.MLFA
Adds new binary operation transition to this MLFA.
addConcatenationNode() - Method in class dk.brics.string.flow.FlowGraph
Adds new concatenation node to this flow graph.
addDef(Node) - Method in class dk.brics.string.flow.Use
Adds definition node to this use.
addDefUse(Node) - Method in class dk.brics.string.flow.Use
Adds definition node to this use and vice versa.
addDirectoryToClassPath(String) - Static method in class dk.brics.string.StringAnalysis
Adds the specified directory or jar file to the internal classpath, so library classes can be loaded from there.
addEdge(MLFATransition, MLFAState) - Method in class dk.brics.string.mlfa.MLFAState
Adds outgoing edge.
addEpsilonProduction(Nonterminal) - Method in class dk.brics.string.grammar.Grammar
Adds new epsilon production [a -> ""].
addEpsilonTransition(MLFAState, MLFAState) - Method in class dk.brics.string.mlfa.MLFA
Adds new epsilon transition to this MLFA.
addHotspot(Variable, ValueBox) - Method in interface dk.brics.string.java.IntermediateFactory
Registers the specified value box as a hotspot.
addHotspot(Variable, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
addIdentityTransition(MLFAState, MLFAState, MLFAStatePair) - Method in class dk.brics.string.mlfa.MLFA
Adds new identity transition to this MLFA.
addInitializationNode(Automaton) - Method in class dk.brics.string.flow.FlowGraph
Adds new initialization node to this flow graph.
addJarsToClassPath(String) - Static method in class dk.brics.string.StringAnalysis
Adds all jar files found in the specified directory to the internal classpath, so library classes can be loaded from those.
addLiveAfter(Statement, Set<Variable>) - Method in class dk.brics.string.intermediate.operations.LivenessAnalysis
Adds live variables to he program point after the given statement.
addNonterminal() - Method in class dk.brics.string.grammar.Grammar
Adds new nonterminal.
addPairProduction(Nonterminal, Nonterminal, Nonterminal) - Method in class dk.brics.string.grammar.Grammar
Adds new pair production [a -> b c].
addResolver(Resolver) - Static method in class dk.brics.string.StringAnalysis
Adds the given resolver to the list of active resolvers used during the string analysis.
addState() - Method in class dk.brics.string.mlfa.MLFA
Adds a new state to this MLFA.
addStatement(Statement) - Method in class dk.brics.string.intermediate.Method
Adds the given statement to the list of statements for this method.
addStatement(Statement) - Method in class dk.brics.string.java.ControlFlowBuilder
Adds a statement at the current position in the control flow graph being built.
addStatement(Statement) - Method in interface dk.brics.string.java.IntermediateFactory
Adds a statement to the intermediate program.
addStatement(Statement) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
addSucc(Statement) - Method in class dk.brics.string.intermediate.Statement
Adds a control flow edge from this statement to the given.
addSuccIfAbsent(Statement) - Method in class dk.brics.string.intermediate.Statement
Adds a control flow edge from this statement to the given, if it was not already there.
addUnaryNode(UnaryOperation) - Method in class dk.brics.string.flow.FlowGraph
Adds new unary operation node to this flow graph.
addUnaryProduction(Nonterminal, UnaryOperation, Nonterminal) - Method in class dk.brics.string.grammar.Grammar
Adds new unary operation production [a -> op1(b)].
addUnaryTransition(MLFAState, MLFAState, UnaryOperation, MLFAStatePair) - Method in class dk.brics.string.mlfa.MLFA
Adds new unary operation transition to this MLFA.
addUnitProduction(Nonterminal, Nonterminal) - Method in class dk.brics.string.grammar.Grammar
Adds new unit production [a -> b].
alias - Variable in class dk.brics.string.intermediate.AssertAliases
 
AliasAnalysis - Class in dk.brics.string.intermediate.operations
Alias analysis performed on a set of methods.
AliasAnalysis(Application, LivenessAnalysis, FieldUsageAnalysis, AliasAssertionAnalysis) - Constructor for class dk.brics.string.intermediate.operations.AliasAnalysis
Performs alias analysis.
AliasAssertionAnalysis - Class in dk.brics.string.intermediate.operations
Analyses AssertAliases statements to determine which are valid assertions.
AliasAssertionAnalysis(Application) - Constructor for class dk.brics.string.intermediate.operations.AliasAssertionAnalysis
 
AliasInfo - Class in dk.brics.string.intermediate.operations
Alias and corruption information for a specific program point.
AliasStatus - Enum in dk.brics.string.intermediate.operations
Describes the known aliasing status between two variables.
AliasTable - Class in dk.brics.string.intermediate.operations
Represents the aliasing status between a set of variables.
AliasTable(Set<Variable>, AliasStatus) - Constructor for class dk.brics.string.intermediate.operations.AliasTable
Creates variable aliasings between the specified variables.
analysisStarted() - Method in interface dk.brics.string.diagnostics.DiagnosticsStrategy
Called when the analysis is about to start.
analysisStarted() - Method in class dk.brics.string.diagnostics.NullDiagnosticsStrategy
 
analyze(String, String) - Static method in class dk.brics.string.runtime.Strings
Instructs the string analyzer to verify that the string is in the regular language specified by the regular expression.
analyze(String, URL) - Static method in class dk.brics.string.runtime.Strings
Instructs the string analyzer to verify that the string is in the regular language specified by a serialized Automaton located by a URL.
AnalyzeRuntime - Class in dk.brics.string
An executable front-end for analyzing programs using the string analysis runtime library.
Application - Class in dk.brics.string.intermediate
The root of an intermediate program.
Application() - Constructor for class dk.brics.string.intermediate.Application
Constructs a new application from an array of methods.
ApplicationFieldReferenceTranslator - Class in dk.brics.string.java
 
ApplicationFieldReferenceTranslator() - Constructor for class dk.brics.string.java.ApplicationFieldReferenceTranslator
 
ApplicationMethodCallTranslator - Class in dk.brics.string.java
Calls to non-external methods and constructors are translated to Call statements.
ApplicationMethodCallTranslator() - Constructor for class dk.brics.string.java.ApplicationMethodCallTranslator
 
applyTo(Switchable, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
Applies the visitor to the specified Jimple object.
approximate() - Method in class dk.brics.string.grammar.operations.AssertionCycleApproximation
 
approximate() - Method in class dk.brics.string.grammar.operations.OperationCycleApproximation
Approximates operation cycles in the grammar.
approximate(Collection<Nonterminal>) - Method in class dk.brics.string.grammar.operations.RegularApproximation
Performs Mohri-Nederhof regular approximation on the grammar.
approximateNonLinear(Collection<Nonterminal>) - Method in class dk.brics.string.grammar.Grammar
See RegularApproximation.
approximateOperationCycles() - Method in class dk.brics.string.grammar.Grammar
Breaks operation cycles using AssertionCycleApproximation and then approximates the remaining operation cycles with OperationCycleApproximation.
args - Variable in class dk.brics.string.intermediate.Call
The arguments given.
ArrayAddAll - Class in dk.brics.string.intermediate
Adds every string in one collection to another.
ArrayAddAll(Variable, Variable) - Constructor for class dk.brics.string.intermediate.ArrayAddAll
 
ArrayAssignment - Class in dk.brics.string.intermediate
Assignment between array variables.
ArrayAssignment(Variable, Variable) - Constructor for class dk.brics.string.intermediate.ArrayAssignment
 
ArrayCorrupt - Class in dk.brics.string.intermediate
Corruption of an array variable.
ArrayCorrupt(Variable) - Constructor for class dk.brics.string.intermediate.ArrayCorrupt
 
ArrayFromArray - Class in dk.brics.string.intermediate
Reading an array from an array of higher dimension.
ArrayFromArray(Variable, Variable) - Constructor for class dk.brics.string.intermediate.ArrayFromArray
 
ArrayNew - Class in dk.brics.string.intermediate
Creation of a new array.
ArrayNew(Variable) - Constructor for class dk.brics.string.intermediate.ArrayNew
 
ArrayStatement - Class in dk.brics.string.intermediate
Superclass of all statements that manipulate arrays or array variables.
ArrayStatement(Variable) - Constructor for class dk.brics.string.intermediate.ArrayStatement
 
ArrayWriteArray - Class in dk.brics.string.intermediate
Writing an array into an array of higher dimension.
ArrayWriteArray(Variable, Variable) - Constructor for class dk.brics.string.intermediate.ArrayWriteArray
 
ArrayWriteElement - Class in dk.brics.string.intermediate
Writing a string or primitive into an array.
ArrayWriteElement(Variable, Variable) - Constructor for class dk.brics.string.intermediate.ArrayWriteElement
 
AssertAliases - Class in dk.brics.string.intermediate
Asserts whether two variables are aliases.
AssertAliases(Statement, Variable, Variable, boolean) - Constructor for class dk.brics.string.intermediate.AssertAliases
 
AssertBinaryOp - Class in dk.brics.string.intermediate
Performs a binary operation op(a,b) and puts the result into a.
AssertBinaryOp(Statement, Variable, Variable, BinaryOperation) - Constructor for class dk.brics.string.intermediate.AssertBinaryOp
 
AssertContainedInOther - Class in dk.brics.string.stringoperations
 
AssertContainedInOther() - Constructor for class dk.brics.string.stringoperations.AssertContainedInOther
 
AssertContainsOther - Class in dk.brics.string.stringoperations
 
AssertContainsOther() - Constructor for class dk.brics.string.stringoperations.AssertContainsOther
 
AssertEmpty - Class in dk.brics.string.stringoperations
Asserts that the string is empty.
AssertEmpty() - Constructor for class dk.brics.string.stringoperations.AssertEmpty
 
AssertEndsWith - Class in dk.brics.string.stringoperations
Asserts that the second string is a suffix of the first string.
AssertEndsWith() - Constructor for class dk.brics.string.stringoperations.AssertEndsWith
 
AssertEquals - Class in dk.brics.string.stringoperations
String operation asserting that one string is equal to another.
AssertEquals() - Constructor for class dk.brics.string.stringoperations.AssertEquals
 
AssertHasLength - Class in dk.brics.string.stringoperations
Asserts that the string has a length between min and max (inclusive)
AssertHasLength(int, int) - Constructor for class dk.brics.string.stringoperations.AssertHasLength
 
AssertHasNotLength - Class in dk.brics.string.stringoperations
Asserts that the string does not have a length between min and max (inclusive)
AssertHasNotLength(int, int) - Constructor for class dk.brics.string.stringoperations.AssertHasNotLength
 
AssertInLanguage - Class in dk.brics.string.stringoperations
 
AssertInLanguage(Automaton) - Constructor for class dk.brics.string.stringoperations.AssertInLanguage
 
AssertionBranch - Class in dk.brics.string.java
A subgraph containing assertions.
AssertionBranch(Statement, Statement) - Constructor for class dk.brics.string.java.AssertionBranch
Creates a non-empty branch of assertions.
AssertionBranch(Method) - Constructor for class dk.brics.string.java.AssertionBranch
Creates an empty branch.
AssertionBranches - Class in dk.brics.string.java
A pair of assertion branches (AssertionBranch); corresponding to the true and false outcomes of a branching condition, respectively.
AssertionBranches(AssertionBranch, AssertionBranch) - Constructor for class dk.brics.string.java.AssertionBranches
Creates a pair of assertion branches.
AssertionBranches(Method) - Constructor for class dk.brics.string.java.AssertionBranches
Creates two empty assertion branches.
AssertionContext - Class in dk.brics.string.java
 
AssertionContext(TranslationContext, LocalDefs, Map<Stmt, TranslatedStatement>, SootMethod) - Constructor for class dk.brics.string.java.AssertionContext
 
AssertionCreator - Interface in dk.brics.string.java
Analyzes the conditions of if and switch statements and produces corresponding assertion statement for the intermediate program.
AssertionCreatorImpl - Class in dk.brics.string.java
 
AssertionCreatorImpl() - Constructor for class dk.brics.string.java.AssertionCreatorImpl
 
AssertionCycleApproximation - Class in dk.brics.string.grammar.operations
Assertions involved in operation cycles are replaced by unit productions to prevent them from provoking a character set approximation that would not otherwise occur.
AssertionCycleApproximation(Grammar) - Constructor for class dk.brics.string.grammar.operations.AssertionCycleApproximation
 
AssertNotContainsOther - Class in dk.brics.string.stringoperations
 
AssertNotContainsOther() - Constructor for class dk.brics.string.stringoperations.AssertNotContainsOther
 
AssertNotEmpty - Class in dk.brics.string.stringoperations
Asserts that the string is not empty.
AssertNotEmpty() - Constructor for class dk.brics.string.stringoperations.AssertNotEmpty
 
AssertNotEquals - Class in dk.brics.string.stringoperations
String operation asserting that one string is equal to another.
AssertNotEquals() - Constructor for class dk.brics.string.stringoperations.AssertNotEquals
 
AssertPrefixOf - Class in dk.brics.string.stringoperations
Asserts that the first string is a prefix of the second.
AssertPrefixOf() - Constructor for class dk.brics.string.stringoperations.AssertPrefixOf
 
AssertStartsWith - Class in dk.brics.string.stringoperations
Asserts that the second string is a prefix of the first string.
AssertStartsWith() - Constructor for class dk.brics.string.stringoperations.AssertStartsWith
 
AssertStatement - Class in dk.brics.string.intermediate
An assertion asserts that something was true last time another specified statement completed.
AssertStatement(Statement) - Constructor for class dk.brics.string.intermediate.AssertStatement
 
AssertSuffixOf - Class in dk.brics.string.stringoperations
Asserts that the first string is a suffix of the second.
AssertSuffixOf() - Constructor for class dk.brics.string.stringoperations.AssertSuffixOf
 
AssertUnaryOp - Class in dk.brics.string.intermediate
Performs two binary operation opA(a,b),opB(b,a).
AssertUnaryOp(Statement, Variable, UnaryOperation) - Constructor for class dk.brics.string.intermediate.AssertUnaryOp
 
assignment(DefinitionStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
AssignmentNode - Class in dk.brics.string.flow
Assignment node.
AutomatonProduction - Class in dk.brics.string.grammar
Automaton production [a -> reg].
Automatons - Class in dk.brics.string.java
Provides automatons for common Java types.
Automatons() - Constructor for class dk.brics.string.java.Automatons
 
AutomatonTransition - Class in dk.brics.string.mlfa
Automaton transition.
AutomatonTransition(Automaton) - Constructor for class dk.brics.string.mlfa.AutomatonTransition
Construcs a new automaton transition.

B

b - Variable in class dk.brics.string.intermediate.AssertAliases
 
Basic - Class in dk.brics.string.stringoperations
Basic automata.
BasicBinaryOp - Class in dk.brics.string.intermediate
Applies a binary operation to the first and second variables (without modifying them) and puts the result into the to variable.
BasicBinaryOp(Variable, Variable, Variable, BinaryOperation) - Constructor for class dk.brics.string.intermediate.BasicBinaryOp
 
BasicUnaryOp - Class in dk.brics.string.intermediate
Applies a unary operation to the from variable (without modifying it) and puts the result into the to variable.
BasicUnaryOp(Variable, Variable, UnaryOperation) - Constructor for class dk.brics.string.intermediate.BasicUnaryOp
 
BINARY_FALSE - Static variable in class dk.brics.string.stringoperations.Basic
 
BINARY_TRUE - Static variable in class dk.brics.string.stringoperations.Basic
 
BinaryNode - Class in dk.brics.string.flow
Binary operation node.
BinaryOperation - Class in dk.brics.string.stringoperations
Abstract superclass for binary operations.
BinaryOperation() - Constructor for class dk.brics.string.stringoperations.BinaryOperation
 
BinaryProduction - Class in dk.brics.string.grammar
Binary production [a -> op2(b,c)].
BinaryTransition - Class in dk.brics.string.mlfa
Binary operation transition.
BinaryTransition(BinaryOperation, MLFAState, MLFAState, MLFAState, MLFAState) - Constructor for class dk.brics.string.mlfa.BinaryTransition
Constructs a new binary operation transition.
bind(String, String) - Static method in class dk.brics.string.runtime.Strings
Binds a regular language to an identifier.
bind(String, URL) - Static method in class dk.brics.string.runtime.Strings
Binds a regular language to an identifier.
BindingAutomatonProvider - Class in dk.brics.string
 
BindingAutomatonProvider() - Constructor for class dk.brics.string.BindingAutomatonProvider
 
BooleanToString - Class in dk.brics.string.stringoperations
Converts a primitive boolean to a string.
BooleanToString() - Constructor for class dk.brics.string.stringoperations.BooleanToString
 
BuiltinMethodCallTranslator - Class in dk.brics.string.java
Translates calls to methods declared in String, StringBuffer, StringBuilder, and Object into statements, modelling them as precisely as possible.
BuiltinMethodCallTranslator() - Constructor for class dk.brics.string.java.BuiltinMethodCallTranslator
 

C

Call - Class in dk.brics.string.intermediate
Calling another method.
Call(Variable, Method, Variable[]) - Constructor for class dk.brics.string.intermediate.Call
 
canBeNull(Local) - Method in interface dk.brics.string.java.IntermediateFactory
Returns whether the specified local might be null at the current program point.
canBeNull(Local) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
cannotBeAliasOf(VariableType) - Method in enum dk.brics.string.intermediate.VariableType
Returns whether a variable of this type can never be an alias of a variable of the other type.
cannotBeUsefulAliasOf(VariableType) - Method in enum dk.brics.string.intermediate.VariableType
Returns whether a variable of this type can never be a useful alias of a variable of the other type.
caseAddExpr(AddExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseAndExpr(AndExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseArrayRef(ArrayRef, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseArrayRef(ArrayRef, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseAssignStmt(AssignStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseBreakpointStmt(BreakpointStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseCastExpr(CastExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseCastExpr(CastExpr, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseCaughtExceptionRef(CaughtExceptionRef, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseClassConstant(ClassConstant, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseCmpExpr(CmpExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseCmpgExpr(CmpgExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseCmplExpr(CmplExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseDivExpr(DivExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseDoubleConstant(DoubleConstant, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseEnterMonitorStmt(EnterMonitorStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseEqExpr(EqExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseEqExpr(EqExpr, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseExitMonitorStmt(ExitMonitorStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseFloatConstant(FloatConstant, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseGeExpr(GeExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseGotoStmt(GotoStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseGtExpr(GtExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseIdentityStmt(IdentityStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseIfStmt(IfStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseInstanceFieldRef(InstanceFieldRef, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseInstanceFieldRef(InstanceFieldRef, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseInstanceOfExpr(InstanceOfExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseIntConstant(IntConstant, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseIntConstant(IntConstant, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseInterfaceInvokeExpr(InterfaceInvokeExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseInterfaceInvokeExpr(InterfaceInvokeExpr, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseInvokeStmt(InvokeStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseLeExpr(LeExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseLengthExpr(LengthExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseLocal(Local, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseLocal(Local, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseLongConstant(LongConstant, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseLookupSwitchStmt(LookupSwitchStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseLtExpr(LtExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseMulExpr(MulExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseNeExpr(NeExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseNeExpr(NeExpr, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseNegExpr(NegExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseNewArrayExpr(NewArrayExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseNewArrayExpr(NewArrayExpr, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseNewExpr(NewExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseNewExpr(NewExpr, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseNewMultiArrayExpr(NewMultiArrayExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseNewMultiArrayExpr(NewMultiArrayExpr, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseNopStmt(NopStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseNullConstant(NullConstant, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseNullConstant(NullConstant, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseOrExpr(OrExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseParameterRef(ParameterRef, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseParameterRef(ParameterRef, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseRemExpr(RemExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseRetStmt(RetStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseReturnStmt(ReturnStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseReturnVoidStmt(ReturnVoidStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseShlExpr(ShlExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseShrExpr(ShrExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseSpecialInvokeExpr(SpecialInvokeExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseSpecialInvokeExpr(SpecialInvokeExpr, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseStaticFieldRef(StaticFieldRef, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseStaticFieldRef(StaticFieldRef, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseStaticInvokeExpr(StaticInvokeExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseStaticInvokeExpr(StaticInvokeExpr, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseStringConstant(StringConstant, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseStringConstant(StringConstant, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseSubExpr(SubExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseTableSwitchStmt(TableSwitchStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseThisRef(ThisRef, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseThrowStmt(ThrowStmt) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseUshrExpr(UshrExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseVirtualInvokeExpr(VirtualInvokeExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
caseVirtualInvokeExpr(VirtualInvokeExpr, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
caseXorExpr(XorExpr, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
cast(String, String) - Static method in class dk.brics.string.runtime.Strings
Casts string to regular language specified by regular expression.
cast(String, URL) - Static method in class dk.brics.string.runtime.Strings
Casts string to regular language specified by serialized Automaton located by URL.
Catch - Class in dk.brics.string.intermediate
Catches an exception.
Catch() - Constructor for class dk.brics.string.intermediate.Catch
 
CharAt1 - Class in dk.brics.string.stringoperations
Automaton operation for String.charAt(int) with a constant index.
CharAt1(int) - Constructor for class dk.brics.string.stringoperations.CharAt1
 
CharAt2 - Class in dk.brics.string.stringoperations
Automaton operation for String.charAt(int) with a non-constant index.
CharAt2() - Constructor for class dk.brics.string.stringoperations.CharAt2
 
CharSet - Class in dk.brics.string.charset
Character set.
CharSet() - Constructor for class dk.brics.string.charset.CharSet
Constructs new empty character set.
CharSet(Automaton) - Constructor for class dk.brics.string.charset.CharSet
Returns new character set with all characters in strings in the given language.
CharSet(String) - Constructor for class dk.brics.string.charset.CharSet
Returns new character set with all characters in the specified string.
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.AssertContainedInOther
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.AssertContainsOther
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.AssertEmpty
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.AssertEndsWith
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.AssertEquals
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.AssertHasLength
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.AssertHasNotLength
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.AssertInLanguage
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.AssertNotContainsOther
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.AssertNotEmpty
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.AssertNotEquals
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.AssertPrefixOf
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.AssertStartsWith
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.AssertSuffixOf
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.BinaryOperation
Transfer function for character set analysis.
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.BooleanToString
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.CharAt1
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.CharAt2
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.Contains
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Delete
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.DeleteCharAt
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.Insert
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Postfix
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Prefix
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Replace1
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Replace2
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Replace3
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Replace4
 
charsetTransfer(CharSet, CharSet) - Method in class dk.brics.string.stringoperations.Replace5
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Replace6
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Reverse
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.SetCharAt1
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.SetCharAt2
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.SetLength
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Split
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Substring
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.ToLowerCase
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.ToUpperCase
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.Trim
 
charsetTransfer(CharSet) - Method in class dk.brics.string.stringoperations.UnaryOperation
Transfer function for character set analysis.
check(String, String) - Static method in class dk.brics.string.runtime.Strings
Checks that the given string is in the regular language specified by the given regular expression.
check(String, URL) - Static method in class dk.brics.string.runtime.Strings
Checks that the given string is in regular language specified by the given serialized Automaton located by URL.
clear() - Method in class dk.brics.string.util.MultiMap
Removes all key-value pairs.
clearDefs() - Method in class dk.brics.string.flow.Use
Clears the set of definitions.
clearResolvers() - Static method in class dk.brics.string.StringAnalysis
Removes all active resolvers.
clone() - Method in class dk.brics.string.charset.CharSet
 
compareTo(Interval) - Method in class dk.brics.string.charset.Interval
Compares two intervals with start character as primary key and end character as secondary key.
compareTo(Node) - Method in class dk.brics.string.flow.Node
 
compareTo(Nonterminal) - Method in class dk.brics.string.grammar.Nonterminal
 
compareTo(Statement) - Method in class dk.brics.string.intermediate.Statement
 
compareTo(Variable) - Method in class dk.brics.string.intermediate.Variable
 
compareTo(UnorderedPair<E>) - Method in class dk.brics.string.util.UnorderedPair
 
Component - Class in dk.brics.string.grammar.operations
Strongly connected component.
Component() - Constructor for class dk.brics.string.grammar.operations.Component
Constructs a new empty component.
Component.Recursion - Enum in dk.brics.string.grammar.operations
 
CompositeFieldReferenceTranslator - Class in dk.brics.string.java
 
CompositeFieldReferenceTranslator(FieldReferenceTranslator...) - Constructor for class dk.brics.string.java.CompositeFieldReferenceTranslator
 
CompositeMethodCallTranslator - Class in dk.brics.string.java
Groups multiple translators together.
CompositeMethodCallTranslator() - Constructor for class dk.brics.string.java.CompositeMethodCallTranslator
Creates a composite translator without any children.
CompositeMethodCallTranslator(MethodCallTranslator...) - Constructor for class dk.brics.string.java.CompositeMethodCallTranslator
Creates a translator that groups multiple other translators together.
ConcatenationNode - Class in dk.brics.string.flow
Concatenation node.
contains(char) - Method in class dk.brics.string.charset.CharSet
Checks whether a particular characters is in the set.
Contains - Class in dk.brics.string.stringoperations
Automaton operation for String.contains(String).
Contains() - Constructor for class dk.brics.string.stringoperations.Contains
 
contains(K, V) - Method in class dk.brics.string.util.MultiMap
Determines if the multimap contains the specified key-value pair.
ControlFlowBuilder - Class in dk.brics.string.java
Utility class assisting in the construction of method bodies.
ControlFlowBuilder(Method) - Constructor for class dk.brics.string.java.ControlFlowBuilder
Creates a builder for inserting statements in the specified method's body.
convert() - Method in class dk.brics.string.flow.operations.FlowGraph2Grammar
Constructs grammar for the flow graph.
convert() - Method in class dk.brics.string.grammar.operations.Grammar2MLFA
Constructs MLFA from the grammar.
convert(Collection<? extends Method>, ReachingDefinitions, AliasAnalysis, OperationAssertionAnalysis, Set<Statement>) - Static method in class dk.brics.string.intermediate.operations.Intermediate2Dot
 
convert(Application, ReachingDefinitions, AliasAnalysis, OperationAssertionAnalysis, Set<Statement>) - Static method in class dk.brics.string.intermediate.operations.Intermediate2Dot
Converts the given application.
convert(Application, ReachingDefinitions, AliasAnalysis, Set<Statement>) - Static method in class dk.brics.string.intermediate.operations.Intermediate2Dot
Converts the given application.
convert(AliasAnalysis, ReachingDefinitions, OperationAssertionAnalysis) - Method in class dk.brics.string.intermediate.operations.Intermediate2FlowGraph
Converts the application.
copy(Set<Local>, Set<Local>) - Method in class dk.brics.string.java.ThisPointerAnalysis
 
count(K) - Method in class dk.brics.string.util.MultiMap
 
countCycles() - Method in class dk.brics.string.grammar.operations.OperationCycleApproximation
Returns number of operation cycles.
createAssertions(IfStmt, AssertionContext) - Method in interface dk.brics.string.java.AssertionCreator
Creates assertions that must hold when the if statement's condition is true and false, respectively.
createAssertions(IfStmt, AssertionContext) - Method in class dk.brics.string.java.AssertionCreatorImpl
 
createField(VariableType, boolean) - Method in class dk.brics.string.intermediate.Application
Creates a new field.
createSwitchAssertions(ValueBox, int, Unit, AssertionContext) - Method in interface dk.brics.string.java.AssertionCreator
Creates assertions that must hold when a switch statement branches to the specified case block.
createSwitchAssertions(ValueBox, int, Unit, AssertionContext) - Method in class dk.brics.string.java.AssertionCreatorImpl
 
createSwitchDefaultAssertions(ValueBox, List<Integer>, Unit, AssertionContext) - Method in interface dk.brics.string.java.AssertionCreator
Creates assertions that must hold when a switch statement branches to the default block.
createSwitchDefaultAssertions(ValueBox, List<Integer>, Unit, AssertionContext) - Method in class dk.brics.string.java.AssertionCreatorImpl
 
createVariable(VariableType) - Method in class dk.brics.string.intermediate.Application
Creates a new local variable.
createVariable(VariableType) - Method in interface dk.brics.string.java.IntermediateFactory
Creates a new variable with the specified type.
createVariable(VariableType) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
createVariable(VariableType) - Method in class dk.brics.string.java.VariableManager
 

D

Debug - Class in dk.brics.string
Debug mode enabled/disabled.
defaultCase(Object) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
defaultExpr(Object, Q) - Method in class dk.brics.string.java.ExprAnswerVisitor
 
defaultExpr(Object, ValueBox) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
definedVars(Statement) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
Returns the (unmodifiable) set of variables defined by the statement.
defines(Statement, Variable) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
Checks whether the given variable is defined by the statement.
DefinesVisitor - Class in dk.brics.string.intermediate.operations
A statement visitor for querying the set of local variables and fields written to by a statement, including aliases if provided.
DefinesVisitor() - Constructor for class dk.brics.string.intermediate.operations.DefinesVisitor
Creates a new visitor that does not consider aliasing.
DefinesVisitor(AliasAnalysis) - Constructor for class dk.brics.string.intermediate.operations.DefinesVisitor
Creates a new visitor that considers the given aliasing information.
DefinesVisitor(AliasAnalysis, boolean) - Constructor for class dk.brics.string.intermediate.operations.DefinesVisitor
Creates a new visitor that considers the given aliasing information, optionally only considering variables that are definitely written to.
definitelyAliases(Variable, Variable) - Method in class dk.brics.string.intermediate.operations.AliasInfo
Returns whether the two variables are the same, or are definitely aliases.
Delete - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.delete(int,int).
Delete() - Constructor for class dk.brics.string.stringoperations.Delete
Constructs new operation object.
DeleteCharAt - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.deleteCharAt(int).
DeleteCharAt() - Constructor for class dk.brics.string.stringoperations.DeleteCharAt
Constructs new operation object.
DiagnosticsStrategy - Interface in dk.brics.string.diagnostics
Receives notifications of the progress in StringAnalysis.
DirectedGraph<N extends GraphNode,C extends GraphComponent<N>> - Interface in dk.brics.string.directedgraph
Interface for directed graphs.
dk.brics.string - package dk.brics.string
Interface to the string analysis.
dk.brics.string.charset - package dk.brics.string.charset
Character sets.
dk.brics.string.diagnostics - package dk.brics.string.diagnostics
Tools for debugging, benchmarking and other kinds of diagnostics.
dk.brics.string.directedgraph - package dk.brics.string.directedgraph
Directed graphs, with strongly connected components.
dk.brics.string.external - package dk.brics.string.external
The API for describing the interaction between application and non-application classes.
dk.brics.string.flow - package dk.brics.string.flow
Flow graphs.
dk.brics.string.flow.operations - package dk.brics.string.flow.operations
Operations on flow graphs.
dk.brics.string.grammar - package dk.brics.string.grammar
Context-free grammars with regular operations.
dk.brics.string.grammar.operations - package dk.brics.string.grammar.operations
Operations on grammars.
dk.brics.string.intermediate - package dk.brics.string.intermediate
Intermediate representation between jimple and flow graphs.
dk.brics.string.intermediate.operations - package dk.brics.string.intermediate.operations
Operations on intermediate representation, in particular conversion to flow graphs.
dk.brics.string.java - package dk.brics.string.java
Translating Jimple code into intermediate representation.
dk.brics.string.mlfa - package dk.brics.string.mlfa
Multi-level finite automata.
dk.brics.string.mlfa.operations - package dk.brics.string.mlfa.operations
Operations on multi-level finite automata, in particula conversion to ordinary automata.
dk.brics.string.runtime - package dk.brics.string.runtime
Runtime system.
dk.brics.string.stringoperations - package dk.brics.string.stringoperations
Operations on strings, modeled as automata and charset operations.
dk.brics.string.util - package dk.brics.string.util
 

E

endBranch() - Method in class dk.brics.string.java.ControlFlowBuilder
Ends the current branching.
endBranch() - Method in interface dk.brics.string.java.IntermediateFactory
Ends the current branch, by removing the position stored by the previous call to IntermediateFactory.startBranch(), and restores the position marked by the startBranch before that.
endBranch() - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
entryInitialFlow() - Method in class dk.brics.string.java.ThisPointerAnalysis
 
EpsilonProduction - Class in dk.brics.string.grammar
Epsilon production [a -> ""].
EpsilonProduction() - Constructor for class dk.brics.string.grammar.EpsilonProduction
 
EpsilonTransition - Class in dk.brics.string.mlfa
Epsilon transition.
EpsilonTransition() - Constructor for class dk.brics.string.mlfa.EpsilonTransition
Constructs a new epsilon transition.
equalDefs(Use) - Method in class dk.brics.string.flow.Use
Checks whether this and the given use have the same definition nodes.
equals(Object) - Method in class dk.brics.string.charset.CharSet
 
equals(Object) - Method in class dk.brics.string.charset.Interval
 
equals(Object) - Method in class dk.brics.string.grammar.Nonterminal
 
equals(Object) - Method in class dk.brics.string.intermediate.Variable
 
equals(Object) - Method in class dk.brics.string.mlfa.MLFAStatePair
 
equals(Object) - Method in class dk.brics.string.stringoperations.Delete
 
equals(Object) - Method in class dk.brics.string.stringoperations.DeleteCharAt
 
equals(Object) - Method in class dk.brics.string.stringoperations.Insert
 
equals(Object) - Method in class dk.brics.string.stringoperations.Postfix
 
equals(Object) - Method in class dk.brics.string.stringoperations.Prefix
 
equals(Object) - Method in class dk.brics.string.stringoperations.Replace1
 
equals(Object) - Method in class dk.brics.string.stringoperations.Replace2
 
equals(Object) - Method in class dk.brics.string.stringoperations.Replace3
 
equals(Object) - Method in class dk.brics.string.stringoperations.Replace4
 
equals(Object) - Method in class dk.brics.string.stringoperations.Replace5
 
equals(Object) - Method in class dk.brics.string.stringoperations.Reverse
 
equals(Object) - Method in class dk.brics.string.stringoperations.SetCharAt1
 
equals(Object) - Method in class dk.brics.string.stringoperations.SetCharAt2
 
equals(Object) - Method in class dk.brics.string.stringoperations.SetLength
 
equals(Object) - Method in class dk.brics.string.stringoperations.Substring
 
equals(Object) - Method in class dk.brics.string.stringoperations.ToLowerCase
 
equals(Object) - Method in class dk.brics.string.stringoperations.ToUpperCase
 
equals(Object) - Method in class dk.brics.string.stringoperations.Trim
 
equals(Object) - Method in class dk.brics.string.util.Pair
 
equals(Object) - Method in class dk.brics.string.util.UnorderedPair
 
escape(String) - Static method in class dk.brics.string.Misc
Escapes special characters in a string.
ExceptionalReturn - Class in dk.brics.string.intermediate
Method returns by throwing an exception.
ExceptionalReturn() - Constructor for class dk.brics.string.intermediate.ExceptionalReturn
 
expected - Variable in class dk.brics.string.RuntimeHotspot
The expected analysis result for the expression.
ExprAnswerVisitor<Q,A> - Class in dk.brics.string.java
Jimple visitor pattern that takes an auxillary parameter and has a return value.
ExprAnswerVisitor() - Constructor for class dk.brics.string.java.ExprAnswerVisitor
 
ExternalSubtyping - Interface in dk.brics.string.external
Determines which types might be extended/implemented by a non-application class.
ExternalVisibility - Interface in dk.brics.string.external
Defines which methods are seen by the string analysis as being accessible from unknown code.
extract(MLFAStatePair) - Method in class dk.brics.string.mlfa.operations.MLFA2Automaton
Extracts ordinary minimal deterministic finite automaton from the MLFA.

F

Field - Class in dk.brics.string.intermediate
A field in the intermediate representation.
FieldAssignment - Class in dk.brics.string.intermediate
Assignment from a local varable to a field.
FieldAssignment(Field, Variable) - Constructor for class dk.brics.string.intermediate.FieldAssignment
 
FieldReference - Class in dk.brics.string.intermediate
Assignment from a field to a local variable.
FieldReference(Field, Variable) - Constructor for class dk.brics.string.intermediate.FieldReference
 
FieldReferenceTranslator - Interface in dk.brics.string.java
 
FieldResolution - Class in dk.brics.string.external
Description of a non-application String field.
FieldResolution(Automaton) - Constructor for class dk.brics.string.external.FieldResolution
Creates a field resolution specifying the possible values of the field, at the place it was read.
FieldStatement - Interface in dk.brics.string.intermediate
Interface implemented by statements that operate with fields, which is currently FieldReference and FieldAssignment.
FieldUsageAnalysis - Class in dk.brics.string.intermediate.operations
Finds the set of fields that each method reads and/or modifies.
FieldUsageAnalysis(Collection<? extends Method>) - Constructor for class dk.brics.string.intermediate.operations.FieldUsageAnalysis
 
findRecursion() - Method in class dk.brics.string.grammar.operations.Component
Finds recursion kind for this components.
finish() - Method in class dk.brics.string.java.ControlFlowBuilder
Finishes the subgraph created by the builder, and returns the first and last statement in the subgraph.
first - Variable in class dk.brics.string.intermediate.BasicBinaryOp
 
FlowAnalysis - Interface in dk.brics.string.intermediate.operations
A simple flow analysis framework.
FlowGraph - Class in dk.brics.string.flow
Flow graph.
FlowGraph() - Constructor for class dk.brics.string.flow.FlowGraph
Constructs new empty flow graph.
FlowGraph2Dot - Class in dk.brics.string.flow.operations
Converter from flow graphs to Graphviz Dot representation.
FlowGraph2Grammar - Class in dk.brics.string.flow.operations
Converter from flow graphs to grammars.
FlowGraph2Grammar(FlowGraph) - Constructor for class dk.brics.string.flow.operations.FlowGraph2Grammar
Constructs a new converter for the given flow graph.
flowGraphCompleted(FlowGraph) - Method in interface dk.brics.string.diagnostics.DiagnosticsStrategy
Called when the flow graph has been completed.
flowGraphCompleted(FlowGraph) - Method in class dk.brics.string.diagnostics.NullDiagnosticsStrategy
 
FlowGraphEdgeCreator - Class in dk.brics.string.intermediate.operations
Creates all flow graph edges for a flow graph created by a FlowGraphNodeCreator.
FlowGraphEdgeCreator(Application, AliasAnalysis, ReachingDefinitions, Map<Statement, Map<Variable, Node>>, Map<Field, AssignmentNode>, OperationAssertionAnalysis) - Constructor for class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
Constructs a new flow graph connector.
FlowGraphNodeCreator - Class in dk.brics.string.intermediate.operations
Translates a set of methods into a flow graph with no edges.
FlowGraphNodeCreator(Application, AliasAnalysis, OperationAssertionAnalysis) - Constructor for class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
Creates nodes in the flow graph, using the set of all strings as the value for all corrupt values.
FlowGraphNodeCreator(Application, AliasAnalysis, Automaton, OperationAssertionAnalysis) - Constructor for class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
Creates nodes in the flow graph, using a specified language as the value for all corrupt values.
flowThrough(Set<Local>, Unit, Set<Local>) - Method in class dk.brics.string.java.ThisPointerAnalysis
 
formatExample(String) - Static method in class dk.brics.string.Misc
Formats a string so it can be printed out friendly.
from - Variable in class dk.brics.string.intermediate.ArrayAddAll
The array being read from.
from - Variable in class dk.brics.string.intermediate.ArrayAssignment
The array variable being assigned from
from - Variable in class dk.brics.string.intermediate.ArrayFromArray
The array being read from.
from - Variable in class dk.brics.string.intermediate.ArrayWriteArray
The array that is written into the other.
from - Variable in class dk.brics.string.intermediate.ArrayWriteElement
The string being written.
from - Variable in class dk.brics.string.intermediate.AssertBinaryOp
 
from - Variable in class dk.brics.string.intermediate.BasicUnaryOp
 
from - Variable in class dk.brics.string.intermediate.Hotspot
A variable containing the value of a hotspot expression.
from - Variable in class dk.brics.string.intermediate.ObjectAssignment
 
from - Variable in class dk.brics.string.intermediate.PrimitiveAssignment
 
from - Variable in class dk.brics.string.intermediate.PrimitiveFromArray
The array to read from.
from - Variable in class dk.brics.string.intermediate.StringAssignment
The string variable being assigned from.
from - Variable in class dk.brics.string.intermediate.StringBufferAppend
The string to append.
from - Variable in class dk.brics.string.intermediate.StringBufferAppendChar
 
from - Variable in class dk.brics.string.intermediate.StringBufferAssignment
The string buffer variable being assigned from.
from - Variable in class dk.brics.string.intermediate.StringBufferBinaryOp
The string argument to the operation.
from - Variable in class dk.brics.string.intermediate.StringBufferInit
The string forming the initial content.
from - Variable in class dk.brics.string.intermediate.StringBufferPrepend
The string to prepend.
from - Variable in class dk.brics.string.intermediate.StringFromArray
The array to read from.
from - Variable in class dk.brics.string.intermediate.StringFromStringBuffer
The string buffer to extract from.
fromSootType(Type) - Method in interface dk.brics.string.java.IntermediateFactory
 
fromSootType(Type) - Method in class dk.brics.string.java.Jimple2Intermediate
Given the static type of a variable, returns the most specific variable type we can assign to it.
fromSootType(Type) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
fromSootType(Type) - Method in interface dk.brics.string.java.TranslationContext
Returns the most specific intermediate variable type that may be assigned to from the specified Java type.
fromType(String) - Static method in class dk.brics.string.java.Automatons
Gets an automaton accepting values of the specified type converted to a string.

G

getAlias() - Method in class dk.brics.string.diagnostics.IntermediateCompletedEvent
 
getAliasesForExclusive(Variable, boolean) - Method in class dk.brics.string.intermediate.operations.AliasInfo
Returns a set variables containing all possible aliases of the specified variable, optionally including only definite aliases.
getAliasesForInclusive(Variable, boolean) - Method in class dk.brics.string.intermediate.operations.AliasInfo
Returns a set variables containing all possible aliases of the specified variable, optionally including only definite aliases.
getAliasStatus(UnorderedPair<Variable>) - Method in class dk.brics.string.intermediate.operations.AliasInfo
Returns the aliasing relation between two variables at this program point.
getAliasStatus(Variable, Variable) - Method in class dk.brics.string.intermediate.operations.AliasInfo
Returns the aliasing relation between two variables at this program point.
getAliasStatus(Variable, Variable) - Method in class dk.brics.string.intermediate.operations.AliasTable
Returns the current aliasing status between two variables.
getAliasStatus(UnorderedPair<Variable>) - Method in class dk.brics.string.intermediate.operations.AliasTable
Returns the current aliasing status between two variables.
getAnyKey() - Method in class dk.brics.string.util.MultiMap
Returns any of the keys in the map, that has at least one associated value.
getAnyValue(K) - Method in class dk.brics.string.util.MultiMap
Returns any of the values associated with the specified key, or null if no values are associated with the key.
getApplication() - Method in class dk.brics.string.diagnostics.IntermediateCompletedEvent
 
getApplication() - Method in class dk.brics.string.intermediate.Method
Returns the application containing this method.
getApplication() - Method in class dk.brics.string.java.Jimple2Intermediate
 
getApplication() - Method in interface dk.brics.string.java.TranslationContext
 
getArg() - Method in class dk.brics.string.flow.AssignmentNode
Returns Use for right-hand side of assignment.
getArg() - Method in class dk.brics.string.flow.UnaryNode
Returns Use for argument.
getArg1() - Method in class dk.brics.string.flow.BinaryNode
Returns Use for first argument.
getArg1() - Method in class dk.brics.string.flow.ConcatenationNode
Returns Use for first argument.
getArg2() - Method in class dk.brics.string.flow.BinaryNode
Returns Use for second argument.
getArg2() - Method in class dk.brics.string.flow.ConcatenationNode
Returns Use for second argument.
getArgumentExpressions(String, int) - Static method in class dk.brics.string.StringAnalysis
Returns a list containing all expressions occurring as argument to the specified method.
getAssertions() - Method in class dk.brics.string.diagnostics.IntermediateCompletedEvent
 
getAutomaton(String) - Method in class dk.brics.string.BindingAutomatonProvider
 
getAutomaton() - Method in class dk.brics.string.external.FieldResolution
Returns an automaton accepting all the possible values of the field, at the place it was read.
getAutomaton() - Method in class dk.brics.string.grammar.AutomatonProduction
Returns the automaton.
getAutomaton(String) - Method in class dk.brics.string.java.Automatons
 
getAutomaton() - Method in class dk.brics.string.mlfa.AutomatonTransition
Returns the automaton of this transition.
getAutomaton(ValueBox) - Method in class dk.brics.string.StringAnalysis
Computes the automaton describing the possible string values at the given expression.
getBinaryBooleanCharSet() - Static method in class dk.brics.string.stringoperations.Basic
 
getBinaryBooleans() - Static method in class dk.brics.string.stringoperations.Basic
 
getBitmask() - Method in enum dk.brics.string.intermediate.StringType
Returns a bitmask unique for this string-type, with exactly one 1-bit.
getBoolean() - Static method in class dk.brics.string.java.Automatons
Gets an automaton accepting the possible return values of Boolean.toString(), which are the strings "true" and "false".
getBox() - Method in class dk.brics.string.java.HotspotInfo
 
getBox() - Method in class dk.brics.string.java.HotspotValueBoxPair
 
getCallSites() - Method in class dk.brics.string.intermediate.Method
Returns an (unmodifiable) list of all call sites calling this method.
getCharsets() - Method in class dk.brics.string.grammar.Grammar
See OperationCycleApproximation.getCharsets().
getCharsets() - Method in class dk.brics.string.grammar.operations.OperationCycleApproximation
Returns string representation of character sets for all nonterminals.
getChildren() - Method in class dk.brics.string.java.CompositeMethodCallTranslator
Gets a reference to the list of children.
getClassName() - Method in class dk.brics.string.java.HotspotInfo
 
getClassName(ValueBox) - Method in class dk.brics.string.StringAnalysis
Returns the name of the class containing the given expression.
getClassNameMap() - Method in class dk.brics.string.java.Jimple2Intermediate
Returns class name for each expression.
getComponent(N) - Method in class dk.brics.string.directedgraph.StronglyConnectedComponents
Returns the component of the given node.
getComponents() - Method in class dk.brics.string.directedgraph.StronglyConnectedComponents
Returns the (unmodifiable) collection of components.
getComponents(boolean) - Method in class dk.brics.string.grammar.Grammar
Finds the strongly connected components and their recursion kinds.
getConstantURL(Value) - Method in class dk.brics.string.BindingAutomatonProvider
 
getCorruptedArguments() - Method in class dk.brics.string.external.MethodResolution
Returns a list of booleans, where index i indicates whether argument i might be changed as a result of calling the method.
getDefs() - Method in class dk.brics.string.flow.Use
Returns (unmodifiable) collection of definition nodes for this use.
getDefsHashCode() - Method in class dk.brics.string.flow.Use
Returns hashcode for the definition nodes for this use.
getDestination() - Method in class dk.brics.string.mlfa.MLFAEdge
Retuerns the destination of this edge.
getEdges() - Method in class dk.brics.string.mlfa.MLFAState
Returns the list of outgoing edges of this state.
getEmptyCharSet() - Static method in class dk.brics.string.stringoperations.Basic
 
getEntry() - Method in class dk.brics.string.intermediate.Method
Returns the entry point of this method.
getExceptionalReturn() - Method in class dk.brics.string.intermediate.Method
Gets the exceptional exit from this method.
getExpressionVariable(Value) - Method in class dk.brics.string.java.Jimple2Intermediate
 
getExpressionVariable(Value) - Method in interface dk.brics.string.java.TranslationContext
Returns the variable holding the result of the specified expression.
getExternallyVisible() - Method in interface dk.brics.string.java.Jimple2IntermediateFactory
 
getExternallyVisible() - Method in class dk.brics.string.java.Jimple2IntermediateFactoryImpl
 
getField() - Method in class dk.brics.string.intermediate.FieldAssignment
Returns the field being assigned to.
getField() - Method in class dk.brics.string.intermediate.FieldReference
Returns the field being assigned from.
getField() - Method in interface dk.brics.string.intermediate.FieldStatement
Returns the field being read and/or modified by this statement.
getField() - Method in class dk.brics.string.intermediate.Variable
Returns the field represented by this variable, or null if this is not a field variable.
getField(SootField) - Method in interface dk.brics.string.java.IntermediateFactory
Returns the intermediate field corresponding to the specified field;
getField(SootField) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
getField(SootField) - Method in class dk.brics.string.java.VariableManager
 
getFieldAssignments() - Method in class dk.brics.string.intermediate.Field
Returns the (unmodifiable) set of assignments to this field.
getFieldNodes() - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
getFieldReferences() - Method in class dk.brics.string.intermediate.Field
Returns the (unmodifiable) set of references to this field.
getFields() - Method in class dk.brics.string.intermediate.Application
Returns a read-only view of the fields in the entire application.
getFieldType(SootField) - Method in interface dk.brics.string.java.IntermediateFactory
Returns the static string type of the specified field, or null if the field has no static string type.
getFieldType(SootField) - Method in class dk.brics.string.java.Jimple2Intermediate
 
getFieldType(SootField) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
getFieldType(SootField) - Method in interface dk.brics.string.java.StaticStringTypes
Returns the static string type of the specified field, or null if the field has no static string type.
getFieldType(SootField) - Method in class dk.brics.string.java.StaticStringTypesNull
 
getFinalState() - Method in class dk.brics.string.mlfa.IdentityTransition
Returns the final state.
getFinalState() - Method in class dk.brics.string.mlfa.UnaryTransition
Returns the final state.
getFinalState1() - Method in class dk.brics.string.mlfa.BinaryTransition
Returns the first final state.
getFinalState2() - Method in class dk.brics.string.mlfa.BinaryTransition
Returns the second final state.
getFirst() - Method in class dk.brics.string.java.AssertionBranch
The first statement.
getFirst() - Method in class dk.brics.string.java.TranslatedStatement
Gets the entry point from the statement's control-flow graph.
getFirst() - Method in class dk.brics.string.util.Pair
 
getFirst() - Method in class dk.brics.string.util.UnorderedPair
Gets the smallest element of the pair (according to its Comparable implementation).
getFirstState() - Method in class dk.brics.string.mlfa.MLFAStatePair
Returns first component of this pair.
getFloat() - Static method in class dk.brics.string.java.Automatons
Gets an automaton accepting the possible return values of Float.toString() and Double.toString().
getFrom() - Method in class dk.brics.string.intermediate.FieldAssignment
Returns the variable being assigned from.
getFrom() - Method in class dk.brics.string.intermediate.FieldReference
Returns the weak variable of the field being assigned from.
getFromURL(URL) - Method in class dk.brics.string.BindingAutomatonProvider
 
getGraph() - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
Returns the graph being constructed.
getHighestIndex() - Method in interface dk.brics.string.util.Indexer
 
getHighestIndex() - Method in class dk.brics.string.util.SubsetIndexer
 
getHotspot() - Method in class dk.brics.string.java.HotspotValueBoxPair
 
getHotspotExps() - Method in class dk.brics.string.RuntimeResolver
Returns the string expressions corresponding to the runtime method hotspots for the program.
getHotspots() - Method in class dk.brics.string.diagnostics.IntermediateCompletedEvent
 
getHotspots() - Method in class dk.brics.string.java.TranslatedStatement
Returns the list of hotspots in the statement's control-flow graph, along with the jimple expressions they originated from.
getHotspots() - Method in class dk.brics.string.RuntimeResolver
Returns the runtime method hotspots for the program.
getIndex() - Method in class dk.brics.string.flow.Node
Returns the index of this node.
getIndex() - Method in class dk.brics.string.intermediate.Statement
Returns the index of this statement, indicating the sequence number in which the statement was added to its method.
getIndex(E) - Method in interface dk.brics.string.util.Indexer
 
getIndex(E) - Method in class dk.brics.string.util.SubsetIndexer
 
getInfoBefore(Statement) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
Returns the alias information as inferred just before the given statement.
getInteger() - Static method in class dk.brics.string.java.Automatons
Gets an automaton accepting the possible return values of Integer.toString(), Long.toString(), Byte.toString() and Short.toString().
getKey() - Method in interface dk.brics.string.directedgraph.GraphNode
Returns the key of this node.
getKey() - Method in class dk.brics.string.grammar.Nonterminal
Returns the key of this nonterminal.
getKey() - Method in class dk.brics.string.intermediate.Method
 
getKey() - Method in class dk.brics.string.intermediate.Variable
 
getKey() - Method in class dk.brics.string.mlfa.MLFAState
Returns the key of this nonterminal.
getLast() - Method in class dk.brics.string.java.AssertionBranch
The last statement.
getLast() - Method in class dk.brics.string.java.TranslatedStatement
Gets the exit point from the statement's control-flow graph.
getLineNumber() - Method in class dk.brics.string.java.HotspotInfo
 
getLineNumber(ValueBox) - Method in class dk.brics.string.StringAnalysis
Returns the source line number of the given expression.
getLineNumberMap() - Method in class dk.brics.string.java.Jimple2Intermediate
Returns line number for each expression.
getLiveAfter(Statement) - Method in class dk.brics.string.intermediate.operations.LivenessAnalysis
Returns the (unmodifiable) set of live variables as inferred just after the given statement.
getLiveBefore(Statement) - Method in class dk.brics.string.intermediate.operations.LivenessAnalysis
Returns the (unmodifiable) set of live variables as inferred just before the given statement.
getLiveness() - Method in class dk.brics.string.diagnostics.IntermediateCompletedEvent
 
getLocal(Local) - Method in interface dk.brics.string.java.IntermediateFactory
Returns the intermediate variable corresponding to the specified local.
getLocal(Local) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
getLocal(Local) - Method in class dk.brics.string.java.VariableManager
 
getLocalDefinitions() - Method in class dk.brics.string.java.AssertionContext
 
getMap() - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
Returns map containing all nodes for each statement.
getMax() - Method in class dk.brics.string.charset.Interval
Returns the end character of this interval.
getMethod() - Method in class dk.brics.string.intermediate.Statement
Returns the method whose body contains this statement.
getMethod() - Method in class dk.brics.string.java.AssertionContext
 
getMethod(SootMethod) - Method in interface dk.brics.string.java.IntermediateFactory
Returns the intermediate method definition corresponding to the specified Soot method, or null if the method is external.
getMethod(String) - Method in class dk.brics.string.java.Jimple2Intermediate
Returns the method object for the given signature.
getMethod(SootMethod) - Method in class dk.brics.string.java.Jimple2Intermediate
 
getMethod(SootMethod) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
getMethod(SootMethod) - Method in interface dk.brics.string.java.TranslationContext
Returns the intermediate method definition corresponding to the specified Soot method, or null if the method is external.
getMethodName() - Method in class dk.brics.string.java.HotspotInfo
 
getMethodName(ValueBox) - Method in class dk.brics.string.StringAnalysis
Returns the name of the method containing the given expression.
getMethodNameMap() - Method in class dk.brics.string.java.Jimple2Intermediate
Returns method name for each expression.
getMethodReturnType(SootMethod) - Method in interface dk.brics.string.java.IntermediateFactory
Returns the static string type of the specified method's return value, or null if the return value has no static string type.
getMethodReturnType(SootMethod) - Method in class dk.brics.string.java.Jimple2Intermediate
 
getMethodReturnType(SootMethod) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
getMethodReturnType(SootMethod) - Method in interface dk.brics.string.java.StaticStringTypes
Returns the static string type of the specified method's return value, or null if the return value has no static string type.
getMethodReturnType(SootMethod) - Method in class dk.brics.string.java.StaticStringTypesNull
 
getMethods() - Method in class dk.brics.string.intermediate.Application
Returns a read-only view of the methods in this application.
getMethodTranslator() - Method in interface dk.brics.string.java.Jimple2IntermediateFactory
 
getMethodTranslator() - Method in class dk.brics.string.java.Jimple2IntermediateFactoryImpl
 
getMin() - Method in class dk.brics.string.charset.Interval
Returns the start character of this interval.
getMLFAStatePair(Nonterminal) - Method in class dk.brics.string.grammar.operations.Grammar2MLFA
Returns MLFA state pair representing initial and final state for the given nonterminal.
getName() - Method in class dk.brics.string.intermediate.Method
Returns the name of this method.
getName(Automaton) - Static method in class dk.brics.string.stringoperations.Basic
Constructs name for the given automaton.
getNodes() - Method in interface dk.brics.string.directedgraph.DirectedGraph
Returns the (unmodifiable) list of nodes of this graph.
getNodes() - Method in interface dk.brics.string.directedgraph.GraphComponent
Returns the (unmodifiable) collection of nodes in this component.
getNodes() - Method in class dk.brics.string.flow.FlowGraph
Returns the (unmodifiable) collection of nodes in this graph.
getNodes() - Method in class dk.brics.string.grammar.operations.Component
Returns the (unmodifiable) collection of nonterminals for this component.
getNodes() - Method in class dk.brics.string.grammar.operations.GrammarAsDirectedGraph
 
getNonterminal(Node) - Method in class dk.brics.string.flow.operations.FlowGraph2Grammar
Returns grammar nonterminal for the given node.
getNonterminal() - Method in class dk.brics.string.grammar.UnaryProduction
Returns the nonterminal.
getNonterminal() - Method in class dk.brics.string.grammar.UnitProduction
Returns the nonterminal.
getNonterminal1() - Method in class dk.brics.string.grammar.BinaryProduction
Returns the first nonterminal.
getNonterminal1() - Method in class dk.brics.string.grammar.PairProduction
Returns the first nonterminal.
getNonterminal2() - Method in class dk.brics.string.grammar.BinaryProduction
Returns the second nonterminal.
getNonterminal2() - Method in class dk.brics.string.grammar.PairProduction
Returns the second nonterminal.
getNonterminals() - Method in class dk.brics.string.grammar.Grammar
Returns the (unmodifiable) list of nonterminals in this grammar.
getNothing() - Method in interface dk.brics.string.java.IntermediateFactory
Returns a variable representing everything we don't care about in the analysis.
getNothing() - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
getNothing() - Method in class dk.brics.string.java.VariableManager
 
getNull() - Static method in class dk.brics.string.java.Automatons
Gets an automaton accepting only the string "null".
getNumberOfComponents() - Method in class dk.brics.string.grammar.Grammar
Returns number of components.
getNumberOfEdges() - Method in class dk.brics.string.flow.FlowGraph
Returns number of edges in this graph.
getNumberOfExpsSkipped() - Method in class dk.brics.string.java.Jimple2Intermediate
Returns the number of string constants that have been skipped because they are non-hotspot arguments to non-application class methods.
getNumberOfNodes() - Method in class dk.brics.string.flow.FlowGraph
Returns number of nodes in this graph.
getNumberOfNonLinearComponents() - Method in class dk.brics.string.grammar.Grammar
Returns number of non-linear components.
getNumberOfNonterminals() - Method in class dk.brics.string.grammar.Grammar
Returns number of nonterminals in this grammar.
getNumberOfOperationCycles() - Method in class dk.brics.string.grammar.Grammar
See OperationCycleApproximation.countCycles().
getNumberOfProductions() - Method in class dk.brics.string.grammar.Grammar
Returns number of productions in this grammar.
getNumberOfStates() - Method in class dk.brics.string.mlfa.MLFA
Returns number of states in this MLFA.
getNumExps() - Method in class dk.brics.string.StringAnalysis
Returns the total number of analyzable expressions in the program.
getOp() - Method in class dk.brics.string.flow.BinaryNode
Returns the operation.
getOp() - Method in class dk.brics.string.flow.UnaryNode
Returns the operation.
getOperation() - Method in class dk.brics.string.grammar.BinaryProduction
Returns the operation.
getOperation() - Method in class dk.brics.string.grammar.UnaryProduction
Returns the operation.
getOperation() - Method in class dk.brics.string.mlfa.BinaryTransition
Returns the binary operation.
getOperation() - Method in class dk.brics.string.mlfa.UnaryTransition
Returns the unary operation.
getParamAlias() - Method in class dk.brics.string.intermediate.Method
Returns the list of alias variables for the method parameters, with non-null entries for mutables.
getParameter(ParameterRef) - Method in interface dk.brics.string.java.IntermediateFactory
Returns the variable corresponding to a soot parameter reference
getParameter(SootMethod, int) - Method in class dk.brics.string.java.Jimple2Intermediate
Returns the parameter variable for the given relevant-arg number in the current method.
getParameter(SootMethod, ParameterRef) - Method in class dk.brics.string.java.Jimple2Intermediate
 
getParameter(ParameterRef) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
getParameter(SootMethod, ParameterRef) - Method in interface dk.brics.string.java.TranslationContext
Returns the variable corresponding to a soot parameter reference
getParameterType(ParameterRef) - Method in interface dk.brics.string.java.IntermediateFactory
Returns the static string type of the nth parameter to the specified method, or null if the parameter has no static string type.
getParameterType(SootMethod, int) - Method in class dk.brics.string.java.Jimple2Intermediate
 
getParameterType(ParameterRef) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
getParameterType(SootMethod, int) - Method in interface dk.brics.string.java.StaticStringTypes
Returns the static string type of the nth parameter to the specified method, or null if the parameter has no static string type.
getParameterType(SootMethod, int) - Method in class dk.brics.string.java.StaticStringTypesNull
 
getPreds() - Method in class dk.brics.string.intermediate.Statement
Returns (unmodifiable) collection of all origins of control flow edges going to this node.
getPrefixesOf(Automaton) - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting every prefix of every string accepted by the specified automaton.
getPriority() - Method in class dk.brics.string.stringoperations.AssertContainedInOther
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertContainsOther
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertEmpty
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertEndsWith
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertEquals
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertHasLength
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertHasNotLength
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertInLanguage
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertNotContainsOther
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertNotEmpty
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertNotEquals
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertPrefixOf
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertStartsWith
 
getPriority() - Method in class dk.brics.string.stringoperations.AssertSuffixOf
 
getPriority() - Method in class dk.brics.string.stringoperations.BooleanToString
 
getPriority() - Method in class dk.brics.string.stringoperations.CharAt1
 
getPriority() - Method in class dk.brics.string.stringoperations.CharAt2
 
getPriority() - Method in class dk.brics.string.stringoperations.Contains
 
getPriority() - Method in class dk.brics.string.stringoperations.Delete
 
getPriority() - Method in class dk.brics.string.stringoperations.DeleteCharAt
 
getPriority() - Method in class dk.brics.string.stringoperations.Insert
 
getPriority() - Method in class dk.brics.string.stringoperations.Operation
Returns priority of this operation.
getPriority() - Method in class dk.brics.string.stringoperations.Postfix
 
getPriority() - Method in class dk.brics.string.stringoperations.Prefix
 
getPriority() - Method in class dk.brics.string.stringoperations.Replace1
 
getPriority() - Method in class dk.brics.string.stringoperations.Replace2
 
getPriority() - Method in class dk.brics.string.stringoperations.Replace3
 
getPriority() - Method in class dk.brics.string.stringoperations.Replace4
 
getPriority() - Method in class dk.brics.string.stringoperations.Replace5
 
getPriority() - Method in class dk.brics.string.stringoperations.Replace6
 
getPriority() - Method in class dk.brics.string.stringoperations.Reverse
 
getPriority() - Method in class dk.brics.string.stringoperations.SetCharAt1
 
getPriority() - Method in class dk.brics.string.stringoperations.SetCharAt2
 
getPriority() - Method in class dk.brics.string.stringoperations.SetLength
 
getPriority() - Method in class dk.brics.string.stringoperations.Split
 
getPriority() - Method in class dk.brics.string.stringoperations.Substring
 
getPriority() - Method in class dk.brics.string.stringoperations.ToLowerCase
 
getPriority() - Method in class dk.brics.string.stringoperations.ToUpperCase
 
getPriority() - Method in class dk.brics.string.stringoperations.Trim
 
getProductions() - Method in class dk.brics.string.grammar.Nonterminal
Returns the productions of this nonterminal.
getReachingDefinitions() - Method in class dk.brics.string.diagnostics.IntermediateCompletedEvent
 
getReachingDefs(Statement, Variable) - Method in class dk.brics.string.intermediate.operations.ReachingDefinitions
Returns the (unmodifiable) set of definitions of the given variable reaching the given statement.
getRecursion() - Method in class dk.brics.string.grammar.operations.Component
Returns recursion kind for this component.
getReg() - Method in class dk.brics.string.flow.InitializationNode
Returns the automaton.
getRelevantArgNumbers(String) - Method in class dk.brics.string.java.Jimple2Intermediate
Returns the relevant-arg numbers for the given method.
getResolvers() - Method in interface dk.brics.string.java.Jimple2IntermediateFactory
 
getResolvers() - Method in class dk.brics.string.java.Jimple2IntermediateFactoryImpl
 
getReturnedArgument() - Method in class dk.brics.string.external.MethodResolution
Returns the index of an argument being returned, or -1 if the method does not return one of its arguments.
getReturnedAutomaton() - Method in class dk.brics.string.external.MethodResolution
Returns the automaton accepting all possible return values of the method, or null if the method returns something corrupt.
getReturnExpressions(String) - Static method in class dk.brics.string.StringAnalysis
Returns a list of all expressions that occur as the return value from the specified method or any method that overrides/implements it.
getReturns() - Method in class dk.brics.string.intermediate.Method
Returns the (unmodifiable) list of return points for this method.
getSecond() - Method in class dk.brics.string.util.Pair
 
getSecond() - Method in class dk.brics.string.util.UnorderedPair
Gets the largest element of the pair (according to its Comparable implementation).
getSecondState() - Method in class dk.brics.string.mlfa.MLFAStatePair
Returns second component of this pair.
getSourcefile() - Method in class dk.brics.string.java.HotspotInfo
 
getSourceFile(ValueBox) - Method in class dk.brics.string.StringAnalysis
Returns the name of the source file containing the given expression.
getSourceFileMap() - Method in class dk.brics.string.java.Jimple2Intermediate
Returns source file name for each expression.
getStartState() - Method in class dk.brics.string.mlfa.IdentityTransition
Returns the start state.
getStartState() - Method in class dk.brics.string.mlfa.UnaryTransition
Returns the start state.
getStartState1() - Method in class dk.brics.string.mlfa.BinaryTransition
Returns the first start state.
getStartState2() - Method in class dk.brics.string.mlfa.BinaryTransition
Returns the second start state.
getState() - Method in class dk.brics.string.grammar.operations.Component
Returns the MLFA state of this component.
getStatement() - Method in class dk.brics.string.java.HotspotInfo
 
getStatements() - Method in class dk.brics.string.intermediate.Method
Returns the (unmodifiable) list of statements for this method.
getStatements() - Method in class dk.brics.string.java.TranslatedStatement
Returns all the statements in the translation, in an arbitrary order.
getStatementTranslations() - Method in class dk.brics.string.java.AssertionContext
 
getStatementTranslatorFacade() - Method in class dk.brics.string.java.Jimple2IntermediateFactoryImpl
 
getStates() - Method in class dk.brics.string.mlfa.MLFA
Returns the (unmodifiable) list of states in this MLFA.
getStaticStringTypes() - Method in interface dk.brics.string.java.Jimple2IntermediateFactory
 
getStaticStringTypes() - Method in class dk.brics.string.java.Jimple2IntermediateFactoryImpl
 
getSubstringsOf(Automaton) - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting every substring of every string accepted by the specified automaton.
getSuccesors() - Method in interface dk.brics.string.directedgraph.DirectedGraph
Returns a collection of successor nodes for each node.
getSuccesors() - Method in class dk.brics.string.grammar.operations.GrammarAsDirectedGraph
 
getSuccs() - Method in class dk.brics.string.intermediate.Statement
Returns (unmodifiable) collection of all targets of control flow edges originating from this node.
getSuffixesOf(Automaton) - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting every suffix of every string accepted by the specified automaton.
getTaintAnalysisStrategy() - Method in class dk.brics.string.java.Jimple2Intermediate
 
getTaintAnalysisStrategy() - Method in interface dk.brics.string.java.Jimple2IntermediateFactory
 
getTaintAnalysisStrategy() - Method in class dk.brics.string.java.Jimple2IntermediateFactoryImpl
 
getTargetsOf(InstanceInvokeExpr) - Method in class dk.brics.string.java.AbstractDispatchClassHierarchy
 
getTargetsOf(InstanceInvokeExpr) - Method in interface dk.brics.string.java.AbstractDispatchStrategy
Returns the list of methods that might be invoked by the specified invocation statement.
getTargetsOf(InstanceInvokeExpr) - Method in interface dk.brics.string.java.IntermediateFactory
Gets a list of possible targets for the specified invocation.
getTargetsOf(InstanceInvokeExpr) - Method in class dk.brics.string.java.Jimple2Intermediate
 
getTargetsOf(InstanceInvokeExpr) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
getTargetsOf(InstanceInvokeExpr) - Method in interface dk.brics.string.java.TranslationContext
Gets a list of possible targets for the specified invocation.
getThisLocalsAfter(Stmt) - Method in class dk.brics.string.java.ThisPointerAnalysis
 
getThisLocalsBefore(Stmt) - Method in class dk.brics.string.java.ThisPointerAnalysis
 
getTo() - Method in class dk.brics.string.intermediate.FieldAssignment
Returns the weak variable of the field being assigned to.
getTo() - Method in class dk.brics.string.intermediate.FieldReference
Returns the local variable being assigned to.
getToStringHotspotMap() - Method in class dk.brics.string.java.Jimple2Intermediate
Returns hotspots for toString methods.
getToStringMethod(SootClass) - Method in interface dk.brics.string.java.IntermediateFactory
Returns the intermediate method representing the specified non-interface class's toString method.
getToStringMethod(SootClass) - Method in class dk.brics.string.java.Jimple2Intermediate
 
getToStringMethod(SootClass) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
getToStringMethod(SootClass) - Method in interface dk.brics.string.java.TranslationContext
Returns the intermediate method representing the specified non-interface class's toString method.
getTransition() - Method in class dk.brics.string.mlfa.MLFAEdge
Retuerns the transition of this edge.
getTranslationContext() - Method in class dk.brics.string.java.AssertionContext
 
getTranslationMap() - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
Returns map containing main node for each statement.
getTranslationMap() - Method in class dk.brics.string.intermediate.operations.Intermediate2FlowGraph
Returns map containing main node for each statement.
getTranslationMap() - Method in class dk.brics.string.java.Jimple2Intermediate
Returns the translation map.
getType() - Method in class dk.brics.string.intermediate.Variable
 
getTypeAutomaton(Type) - Method in class dk.brics.string.java.Jimple2Intermediate
 
getTypeAutomaton(Type) - Method in class dk.brics.string.StringAnalysis
Computes the automaton describing the possible string values that can occur as a result of converting the given type into a string.
getUnicodeDigits() - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting all characters considered digits by Character.isDigit(char).
getUnicodeLetters() - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting all characters considered letters by Character.isLetter(char).
getUnicodeLettersAndDigits() - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting all characters considered digits or letters by Character.isLetterOrDigit(char).
getUnicodeLowerCase() - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting all characters considered lower case by Character.isLowerCase(char).
getUnicodeSpaceChars() - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting all characters considered space characters by Character.isSpaceChar(char).
getUnicodeTitleCase() - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting all characters considered title case by Character.isTitleCase(char).
getUnicodeUpperCase() - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting all characters considered upper case by Character.isUpperCase(char).
getUnicodeWhitespace() - Static method in class dk.brics.string.stringoperations.Basic
Returns an automaton accepting all characters considered whitespace by Character.isWhitespace(char).
getUnsignedInteger() - Static method in class dk.brics.string.java.Automatons
Gets an automaton accepting the possible return values of Integer.toString() and Long.toString() for non-negative integers.
getUsedFields(Method) - Method in class dk.brics.string.intermediate.operations.FieldUsageAnalysis
Returns the set of fields that may be read and/or modified as a result of invoking the method.
getUser() - Method in class dk.brics.string.flow.Use
Returns user node for this use.
getUses() - Method in class dk.brics.string.flow.Node
Returns set of Use objects representing uses of this definition.
getValues(K) - Method in class dk.brics.string.util.MultiMap
Returns a copy of the set of items associated with the specified key.
getVariable() - Method in class dk.brics.string.intermediate.Field
Returns the field's variable, which holds all the possible values of the field at any time.
getVariableManager() - Method in class dk.brics.string.java.Jimple2Intermediate
 
getVariableManager() - Method in interface dk.brics.string.java.TranslationContext
 
getView(K) - Method in class dk.brics.string.util.MultiMap
Returns a read-only view of the items associated with the specified key.
getWhenFalse() - Method in class dk.brics.string.java.AssertionBranches
Gets the assertions that must hold when the condition is false.
getWhenTrue() - Method in class dk.brics.string.java.AssertionBranches
Gets the assertions that must hold when the condition is true.
Grammar - Class in dk.brics.string.grammar
Context-free grammar with regular operations.
Grammar() - Constructor for class dk.brics.string.grammar.Grammar
Constructs new empty grammar.
Grammar2MLFA - Class in dk.brics.string.grammar.operations
Converter from strongly regular grammars to MLFAs.
Grammar2MLFA(Grammar) - Constructor for class dk.brics.string.grammar.operations.Grammar2MLFA
Constructs a new converter for the given grammar.
GrammarAsDirectedGraph - Class in dk.brics.string.grammar.operations
Directed graph facade for grammars.
GrammarAsDirectedGraph(Grammar) - Constructor for class dk.brics.string.grammar.operations.GrammarAsDirectedGraph
Constructs a new facade.
GraphComponent<N extends GraphNode> - Interface in dk.brics.string.directedgraph
Interface for strongly connected component.
GraphNode - Interface in dk.brics.string.directedgraph
Interface for graph nodes.
greatestLowerBound(AliasStatus) - Method in enum dk.brics.string.intermediate.operations.AliasStatus
 
greatestLowerBound(VariableType) - Method in enum dk.brics.string.intermediate.VariableType
Returns the most specific variable type that might be alias of both this type, and the specified type.

H

HandleFieldAssignment - Class in dk.brics.string.intermediate.operations
To get a sound analysis for fields containing mutable types, we must use a flow insensitive analysis or use the hack implemented by this class.
HandleFieldAssignment(Method[]) - Constructor for class dk.brics.string.intermediate.operations.HandleFieldAssignment
 
hasExternalSubtype(SootClass) - Method in interface dk.brics.string.external.ExternalSubtyping
Returns true if the specified type might be extended/implemented by a non-application class.
hashCode() - Method in class dk.brics.string.charset.CharSet
 
hashCode() - Method in class dk.brics.string.charset.Interval
 
hashCode() - Method in class dk.brics.string.grammar.Nonterminal
 
hashCode() - Method in class dk.brics.string.intermediate.Variable
 
hashCode() - Method in class dk.brics.string.mlfa.MLFAStatePair
 
hashCode() - Method in class dk.brics.string.stringoperations.Delete
 
hashCode() - Method in class dk.brics.string.stringoperations.DeleteCharAt
 
hashCode() - Method in class dk.brics.string.stringoperations.Insert
 
hashCode() - Method in class dk.brics.string.stringoperations.Postfix
 
hashCode() - Method in class dk.brics.string.stringoperations.Prefix
 
hashCode() - Method in class dk.brics.string.stringoperations.Replace1
 
hashCode() - Method in class dk.brics.string.stringoperations.Replace2
 
hashCode() - Method in class dk.brics.string.stringoperations.Replace3
 
hashCode() - Method in class dk.brics.string.stringoperations.Replace4
 
hashCode() - Method in class dk.brics.string.stringoperations.Replace5
 
hashCode() - Method in class dk.brics.string.stringoperations.Reverse
 
hashCode() - Method in class dk.brics.string.stringoperations.SetCharAt1
 
hashCode() - Method in class dk.brics.string.stringoperations.SetCharAt2
 
hashCode() - Method in class dk.brics.string.stringoperations.SetLength
 
hashCode() - Method in class dk.brics.string.stringoperations.Substring
 
hashCode() - Method in class dk.brics.string.stringoperations.ToLowerCase
 
hashCode() - Method in class dk.brics.string.stringoperations.ToUpperCase
 
hashCode() - Method in class dk.brics.string.stringoperations.Trim
 
hashCode() - Method in class dk.brics.string.util.Pair
 
hashCode() - Method in class dk.brics.string.util.UnorderedPair
 
hasValidType(ValueBox) - Static method in class dk.brics.string.StringAnalysis
Returns whether or not the given expression has a type that the string analysis is able to handle.
Hotspot - Class in dk.brics.string.intermediate
The variable should be evaluated as a hotspot here.
Hotspot(Variable, Variable) - Constructor for class dk.brics.string.intermediate.Hotspot
Create a hotspot that evaluates the specified variable here.
HotspotInfo - Class in dk.brics.string.java
Contains a Hotspot statement and information about which jimple-expression, Java source file, class, method, and line number it was originally defined at.
HotspotInfo(Hotspot, ValueBox) - Constructor for class dk.brics.string.java.HotspotInfo
 
HotspotKind - Enum in dk.brics.string
There are two kinds of hotspots, originating from two different runtime methods.
HotspotValueBoxPair - Class in dk.brics.string.java
Contains a Hotspot statement and the ValueBox holding the expression that was originally marked as the hotspot.
HotspotValueBoxPair() - Constructor for class dk.brics.string.java.HotspotValueBoxPair
 
HotspotValueBoxPair(Hotspot, ValueBox) - Constructor for class dk.brics.string.java.HotspotValueBoxPair
 

I

IdentityTransition - Class in dk.brics.string.mlfa
Identity transition.
IdentityTransition(MLFAState, MLFAState) - Constructor for class dk.brics.string.mlfa.IdentityTransition
Constructs a new identity transition.
Indexer<E> - Interface in dk.brics.string.util
 
init() - Static method in class dk.brics.string.Debug
 
InitializationNode - Class in dk.brics.string.flow
Initialization node.
Insert - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.insert(int,Object) and related methods.
Insert() - Constructor for class dk.brics.string.stringoperations.Insert
Constructs new operation object.
Intermediate2Dot - Class in dk.brics.string.intermediate.operations
Constructs Graphviz dot representation of intermediate representation.
Intermediate2FlowGraph - Class in dk.brics.string.intermediate.operations
Converter from intermediate representation to flow graphs.
Intermediate2FlowGraph(Application) - Constructor for class dk.brics.string.intermediate.operations.Intermediate2FlowGraph
Constructs a new converter for the given application.
intermediateCompleted(IntermediateCompletedEvent) - Method in interface dk.brics.string.diagnostics.DiagnosticsStrategy
Called when the intermediate representation and liveness, alias, and reaching definitions analysis of it is complete.
intermediateCompleted(IntermediateCompletedEvent) - Method in class dk.brics.string.diagnostics.NullDiagnosticsStrategy
 
IntermediateCompletedEvent - Class in dk.brics.string.diagnostics
Contains information about the intermediate representation.
IntermediateCompletedEvent(Application, LivenessAnalysis, AliasAnalysis, ReachingDefinitions, OperationAssertionAnalysis, Set<Statement>) - Constructor for class dk.brics.string.diagnostics.IntermediateCompletedEvent
 
IntermediateFactory - Interface in dk.brics.string.java
This is a Facade pattern, used by StatementTranslatorImpl and MethodCallTranslator.
intersection(CharSet) - Method in class dk.brics.string.charset.CharSet
Constructs a new character set as the intersection of this set and the specified set.
intersection(Interval) - Method in class dk.brics.string.charset.Interval
Returns the intersection of two intervals, or null if the two interval do not intersect.
Interval - Class in dk.brics.string.charset
Character interval.
Interval(char) - Constructor for class dk.brics.string.charset.Interval
Constructs a new singleton character interval.
Interval(char, char) - Constructor for class dk.brics.string.charset.Interval
Constructs a new character interval.
InvalidResolutionException - Exception in dk.brics.string.external
Thrown if a resolver returned an invalid resolution object.
InvalidResolutionException() - Constructor for exception dk.brics.string.external.InvalidResolutionException
 
InvalidResolutionException(String, Throwable) - Constructor for exception dk.brics.string.external.InvalidResolutionException
 
InvalidResolutionException(String) - Constructor for exception dk.brics.string.external.InvalidResolutionException
 
InvalidResolutionException(Throwable) - Constructor for exception dk.brics.string.external.InvalidResolutionException
 
InvalidRuntimeUseException - Exception in dk.brics.string
Thrown to indicate that some invalid use of the runtime library has been encountered.
InvalidRuntimeUseException(String) - Constructor for exception dk.brics.string.InvalidRuntimeUseException
Creates an InvalidRuntimeUseException with the given message.
InvalidRuntimeUseException() - Constructor for exception dk.brics.string.InvalidRuntimeUseException
 
InvalidRuntimeUseException(String, Throwable) - Constructor for exception dk.brics.string.InvalidRuntimeUseException
 
InvalidRuntimeUseException(Throwable) - Constructor for exception dk.brics.string.InvalidRuntimeUseException
 
isAnyCorrupt(Collection<? extends Variable>) - Method in class dk.brics.string.intermediate.operations.AliasInfo
Returns whether at least one of the specified variables are corrupt.
isApplicationClass(SootClass) - Method in class dk.brics.string.java.Jimple2Intermediate
Checks whether the given class is an application class.
isArgumentCorrupted(int) - Method in class dk.brics.string.external.MethodResolution
Returns whether argument i might be modified as a result of invoking the method.
isAssertion() - Method in class dk.brics.string.stringoperations.AssertContainedInOther
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertContainsOther
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertEmpty
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertEndsWith
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertEquals
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertHasLength
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertHasNotLength
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertInLanguage
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertNotContainsOther
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertNotEmpty
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertNotEquals
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertPrefixOf
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertStartsWith
 
isAssertion() - Method in class dk.brics.string.stringoperations.AssertSuffixOf
 
isAssertion() - Method in class dk.brics.string.stringoperations.BinaryOperation
Returns whether this operation is an assertion.
isAssertion() - Method in class dk.brics.string.stringoperations.UnaryOperation
Returns whether this is an assertion.
isAssertionValid(AssertStatement) - Method in class dk.brics.string.intermediate.operations.OperationAssertionAnalysis
 
isCorrupt(Variable) - Method in class dk.brics.string.intermediate.operations.AliasInfo
Returns whether or not the given variable is corrupt.
isDefinitelyOrBottom() - Method in enum dk.brics.string.intermediate.operations.AliasStatus
Returns true if this is AliasStatus.DEFINITELY or AliasStatus.BOTTOM.
isEmpty() - Method in class dk.brics.string.java.AssertionBranch
 
isExternallyVisibleField(SootField) - Method in interface dk.brics.string.external.ExternalVisibility
Defines which fields are seen by the string analysis as being acecssible from unknown code.
isExternallyVisibleField(SootField) - Method in class dk.brics.string.external.MainExternalVisibility
 
isExternallyVisibleField(SootField) - Method in class dk.brics.string.external.PublicExternalVisibility
 
isExternallyVisibleMethod(SootMethod) - Method in interface dk.brics.string.external.ExternalVisibility
Defines which methods are seen by the string analysis as being accessible from unknown code.
isExternallyVisibleMethod(SootMethod) - Method in class dk.brics.string.external.MainExternalVisibility
 
isExternallyVisibleMethod(SootMethod) - Method in class dk.brics.string.external.PublicExternalVisibility
 
isField() - Method in class dk.brics.string.intermediate.Variable
Returns false if this is a local variable, and true if it is a field variable.
isHotspot(ValueBox) - Method in interface dk.brics.string.java.IntermediateFactory
Returns true if the specified value is marked as a hotspot.
isHotspot(ValueBox) - Method in class dk.brics.string.java.Jimple2Intermediate
 
isHotspot(ValueBox) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
isHotspot(ValueBox) - Method in interface dk.brics.string.java.TranslationContext
Returns true if the specified value is marked as a hotspot.
isLocal() - Method in class dk.brics.string.intermediate.Variable
Returns true if this is a local variable, and false if it is a field variable.
isModifiable() - Method in enum dk.brics.string.intermediate.StringType
Returns true if this is StringType.MUTABLE or StringType.COLLECTION.
isMutable() - Method in class dk.brics.string.intermediate.Variable
Returns true if the variable might be mutable.
isReturnCorrupt() - Method in class dk.brics.string.external.MethodResolution
Returns whether the return value is considered corrupt.
isStatic() - Method in class dk.brics.string.intermediate.Field
Returns true if this is a static field.
isSubtypeOf(SootClass, SootClass) - Method in interface dk.brics.string.java.IntermediateFactory
Returns true if the first argument is a type that extends, implements, or equals the second argument.
isSubtypeOf(SootClass, SootClass) - Method in class dk.brics.string.java.Jimple2Intermediate
 
isSubtypeOf(SootClass, SootClass) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
isSubtypeOf(SootClass, SootClass) - Method in interface dk.brics.string.java.TranslationContext
Returns true if the first argument is a type that extends, implements, or equals the second argument.
isTaint() - Method in class dk.brics.string.flow.Node
 
isTaint() - Method in class dk.brics.string.grammar.Nonterminal
 
isTaint() - Method in class dk.brics.string.intermediate.Variable
 
isTaint(InvokeExpr) - Method in interface dk.brics.string.java.TaintAnalysisStrategy
Returns true if the given invoke statement is taint
isTaint(InvokeExpr) - Method in class dk.brics.string.MethodNameTaintAnalysisStrategy
 
isTaint() - Method in class dk.brics.string.mlfa.MLFAStatePair
 
isTaint(ValueBox) - Method in class dk.brics.string.StringAnalysis
Returns whether the strings that this valuebox contains can be taint.
isTest() - Static method in class dk.brics.string.Debug
Returns true if in test mode.
isValid(AssertAliases) - Method in class dk.brics.string.intermediate.operations.AliasAssertionAnalysis
Returns whether the specified aliasing assertion is valid.
iterate() - Method in class dk.brics.string.intermediate.operations.WorkList
Iterate through the worklist until no more statements remain.

J

Jimple2Intermediate - Class in dk.brics.string.java
Converter from Jimple code to intermediate representation.
Jimple2Intermediate(ExternalVisibility) - Constructor for class dk.brics.string.java.Jimple2Intermediate
Deprecated. 
Jimple2Intermediate(ExternalVisibility, Collection<? extends Resolver>) - Constructor for class dk.brics.string.java.Jimple2Intermediate
Deprecated. 
Jimple2Intermediate(TaintAnalysisStrategy, Collection<? extends Resolver>, ExternalVisibility) - Constructor for class dk.brics.string.java.Jimple2Intermediate
Deprecated. 
Jimple2Intermediate(Jimple2IntermediateFactory) - Constructor for class dk.brics.string.java.Jimple2Intermediate
 
Jimple2IntermediateFactory - Interface in dk.brics.string.java
A configuration for the jimple-to-intermediate translation.
Jimple2IntermediateFactoryImpl - Class in dk.brics.string.java
 
Jimple2IntermediateFactoryImpl(ExternalVisibility, Collection<? extends Resolver>) - Constructor for class dk.brics.string.java.Jimple2IntermediateFactoryImpl
 
Jimple2IntermediateFactoryImpl(ExternalVisibility, TaintAnalysisStrategy, Collection<? extends Resolver>) - Constructor for class dk.brics.string.java.Jimple2IntermediateFactoryImpl
 
Jimple2IntermediateFactoryImpl(ExternalVisibility, TaintAnalysisStrategy, StaticStringTypes, Collection<? extends Resolver>) - Constructor for class dk.brics.string.java.Jimple2IntermediateFactoryImpl
 

K

keySet() - Method in class dk.brics.string.util.MultiMap
Returns the set of keys with at least one associated value, backed by the multimap.
kind - Variable in class dk.brics.string.RuntimeHotspot
 

L

leastUpperBound(AliasStatus) - Method in enum dk.brics.string.intermediate.operations.AliasStatus
 
leastUpperBound(VariableType) - Method in enum dk.brics.string.intermediate.VariableType
Returns the most specific variable type that might be alias of either this type, or the specified type, but not necessarily both.
left - Variable in class dk.brics.string.intermediate.StringConcat
The left-hand string.
LivenessAnalysis - Class in dk.brics.string.intermediate.operations
Intra-procedural liveness analysis performed on a set of methods.
LivenessAnalysis(Application) - Constructor for class dk.brics.string.intermediate.operations.LivenessAnalysis
Performs liveness analysis.
loadClass(String) - Static method in class dk.brics.string.StringAnalysis
Loads the named class into the Soot scene, marks it as an application class, and generates bodies for all of its concrete methods.
loadDirectory(String) - Static method in class dk.brics.string.StringAnalysis
Loads all classes in the specified directory, where the directory refers to the root of the package tree.

M

main(String[]) - Static method in class dk.brics.string.AnalyzeRuntime
Main method for the runtime system.
main(String[]) - Static method in class dk.brics.string.java.PrintClassHierarchy
 
MainExternalVisibility - Class in dk.brics.string.external
Treats only main methods as externally visible, and no fields as externally visible.
MainExternalVisibility() - Constructor for class dk.brics.string.external.MainExternalVisibility
 
make(A, B) - Static method in class dk.brics.string.util.Pair
Convenience method for creating a new pair, since generic arguments may be inferred by a static method call but not by a constructor call.
makeAnychars() - Static method in class dk.brics.string.charset.CharSet
Returns new character set with every character.
makeAnyString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for any string.
makeBinaryBoolean(boolean) - Static method in class dk.brics.string.stringoperations.Basic
 
makeBinaryBooleanCharSet(boolean) - Static method in class dk.brics.string.stringoperations.Basic
 
makeBooleanString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for string values of Boolean.
makeByteString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for string values of Byte.
makeCharacterString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for string values of Character.
makeComponent() - Method in interface dk.brics.string.directedgraph.DirectedGraph
Makes a new empty component.
makeComponent() - Method in class dk.brics.string.grammar.operations.GrammarAsDirectedGraph
 
makeConstString(String) - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for the given constant string.
makeDoubleString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for string values of Double.
makeEmptyString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for the empty string.
makeFloatString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for string values of Float.
makeIntegerString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for string values of Integer.
makeLongString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for string values of Long.
makeNoString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for no string.
makeObjectString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for values of Object.toString().
makeShortString() - Static method in class dk.brics.string.stringoperations.Basic
Returns automaton for string values of Short.
merge(Set<Local>, Set<Local>, Set<Local>) - Method in class dk.brics.string.java.ThisPointerAnalysis
 
Method - Class in dk.brics.string.intermediate
A Java method.
Method(Application, String, Variable[]) - Constructor for class dk.brics.string.intermediate.Method
Creates a new method with the given name and parameters.
MethodCallTranslator - Interface in dk.brics.string.java
Handles certain method calls specially by creating intermediate statements for them.
MethodHead - Class in dk.brics.string.intermediate
Entry point of a method, modeled as a pseudo-statement.
MethodHead(Variable[]) - Constructor for class dk.brics.string.intermediate.MethodHead
 
MethodNameTaintAnalysisStrategy - Class in dk.brics.string
A taint analysis strategy that decides whether a result is taint based on the method called.
MethodNameTaintAnalysisStrategy(List<String>) - Constructor for class dk.brics.string.MethodNameTaintAnalysisStrategy
 
MethodResolution - Class in dk.brics.string.external
A description of a non-application method.
MethodResolution(int) - Constructor for class dk.brics.string.external.MethodResolution
Creates a method resolution for a completely corrupting method call with the specified number of arguments.
MethodResolution(int, Automaton) - Constructor for class dk.brics.string.external.MethodResolution
Creates a method resolution for a completely corrupting method call with the specified number of arguments.
MethodTranslator - Interface in dk.brics.string.java
Translates the bodies of jimple-methods into intermediate form.
MethodTranslatorImpl - Class in dk.brics.string.java
 
MethodTranslatorImpl(StatementTranslatorFacade) - Constructor for class dk.brics.string.java.MethodTranslatorImpl
 
mightBeAlias() - Method in enum dk.brics.string.intermediate.operations.AliasStatus
Returns true if this is AliasStatus.DEFINITELY or AliasStatus.MAYBE.
mightBeAliases(Variable, Variable) - Method in class dk.brics.string.intermediate.operations.AliasInfo
Returns whether the two variables are the same, or might be aliases.
mightBeAliasOf(VariableType) - Method in enum dk.brics.string.intermediate.VariableType
Returns whether a variable of this type might be an alias of a variable of the other type.
mightBeUsefulAliasOf(VariableType) - Method in enum dk.brics.string.intermediate.VariableType
Returns whether a variable of this type might be a useful alias of a variable of the other type.
mightBeUsefulMutable() - Method in enum dk.brics.string.intermediate.VariableType
Returns true if this is VariableType.STRINGBUFFER, VariableType.ARRAY, or VariableType.OBJECT.
Misc - Class in dk.brics.string
Convenience methods.
MLFA - Class in dk.brics.string.mlfa
MLFA.
MLFA() - Constructor for class dk.brics.string.mlfa.MLFA
Constructs new empty MLFA.
MLFA2Automaton - Class in dk.brics.string.mlfa.operations
Converter from MLFAs to automata.
MLFA2Automaton(MLFA) - Constructor for class dk.brics.string.mlfa.operations.MLFA2Automaton
Construcs a new converter for the given MLFA.
MLFAEdge - Class in dk.brics.string.mlfa
Automaton edge (pair of transition and destination state).
MLFAEdge(MLFATransition, MLFAState) - Constructor for class dk.brics.string.mlfa.MLFAEdge
Constructs a new edge.
MLFAState - Class in dk.brics.string.mlfa
MLFA state.
MLFAStatePair - Class in dk.brics.string.mlfa
Pair of MLFA states.
MLFAStatePair(MLFAState, MLFAState) - Constructor for class dk.brics.string.mlfa.MLFAStatePair
Constructs new pair.
MLFATransition - Class in dk.brics.string.mlfa
Abstract superclass for transitions.
MLFATransition() - Constructor for class dk.brics.string.mlfa.MLFATransition
 
moveToIsolation() - Method in class dk.brics.string.java.ControlFlowBuilder
Removes the cursor from the control-flow graph, so statements will be placed in an isolated subgraph of their own.
moveToStatement(Statement) - Method in class dk.brics.string.java.ControlFlowBuilder
Moves the cursor to the specified statement, so new statements will be successors of the specified statement.
MultiMap<K,V> - Class in dk.brics.string.util
Maps keys to sets of values.
MultiMap() - Constructor for class dk.brics.string.util.MultiMap
 

N

NaiveMethodCallTranslator - Class in dk.brics.string.java
Method-call translator that can't handle any methods.
NaiveMethodCallTranslator() - Constructor for class dk.brics.string.java.NaiveMethodCallTranslator
 
newInitialFlow() - Method in class dk.brics.string.java.ThisPointerAnalysis
 
Node - Class in dk.brics.string.flow
Superclass for flow graph nodes.
NodeVisitor - Interface in dk.brics.string.flow
Node visitor interface.
Nonterminal - Class in dk.brics.string.grammar
Grammar nonterminal.
Nop - Class in dk.brics.string.intermediate
No operation.
Nop() - Constructor for class dk.brics.string.intermediate.Nop
 
normalize() - Method in class dk.brics.string.flow.FlowGraph
See Simplifier.normalize(FlowGraph).
normalize(FlowGraph) - Static method in class dk.brics.string.flow.operations.Simplifier
Normalizes the given graph.
NullDiagnosticsStrategy - Class in dk.brics.string.diagnostics
Diagnostics strategy that does nothing.
NullDiagnosticsStrategy() - Constructor for class dk.brics.string.diagnostics.NullDiagnosticsStrategy
 
numberOfKeys() - Method in class dk.brics.string.util.MultiMap
 

O

ObjectAssignment - Class in dk.brics.string.intermediate
Assignment between variables whose types are uncertain.
ObjectAssignment(Variable, Variable) - Constructor for class dk.brics.string.intermediate.ObjectAssignment
Assignment between locals variables whose types are uncertain.
ObjectCorrupt - Class in dk.brics.string.intermediate
Corruption of a variable whose type is uncertain.
ObjectCorrupt(Variable) - Constructor for class dk.brics.string.intermediate.ObjectCorrupt
Corruption of a variable whose type is uncertain.
op - Variable in class dk.brics.string.intermediate.AssertBinaryOp
 
op - Variable in class dk.brics.string.intermediate.AssertUnaryOp
 
op - Variable in class dk.brics.string.intermediate.BasicBinaryOp
 
op - Variable in class dk.brics.string.intermediate.BasicUnaryOp
 
op - Variable in class dk.brics.string.intermediate.StringBufferBinaryOp
The operation to perform.
op - Variable in class dk.brics.string.intermediate.StringBufferUnaryOp
The operation to perform.
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.AssertContainedInOther
 
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.AssertContainsOther
 
op(Automaton) - Method in class dk.brics.string.stringoperations.AssertEmpty
 
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.AssertEndsWith
 
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.AssertEquals
 
op(Automaton) - Method in class dk.brics.string.stringoperations.AssertHasLength
 
op(Automaton) - Method in class dk.brics.string.stringoperations.AssertHasNotLength
 
op(Automaton) - Method in class dk.brics.string.stringoperations.AssertInLanguage
 
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.AssertNotContainsOther
 
op(Automaton) - Method in class dk.brics.string.stringoperations.AssertNotEmpty
 
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.AssertNotEquals
 
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.AssertPrefixOf
 
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.AssertStartsWith
 
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.AssertSuffixOf
 
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.BinaryOperation
Binary operation on automata.
op(Automaton) - Method in class dk.brics.string.stringoperations.BooleanToString
 
op(Automaton) - Method in class dk.brics.string.stringoperations.CharAt1
 
op(Automaton) - Method in class dk.brics.string.stringoperations.CharAt2
 
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.Contains
 
op(Automaton) - Method in class dk.brics.string.stringoperations.Delete
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.DeleteCharAt
Automaton operation.
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.Insert
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.Postfix
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.Prefix
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.Replace1
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.Replace2
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.Replace3
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.Replace4
Automaton operation.
op(Automaton, Automaton) - Method in class dk.brics.string.stringoperations.Replace5
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.Replace6
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.Reverse
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.SetCharAt1
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.SetCharAt2
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.SetLength
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.Split
 
op(Automaton) - Method in class dk.brics.string.stringoperations.Substring
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.ToLowerCase
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.ToUpperCase
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.Trim
Automaton operation.
op(Automaton) - Method in class dk.brics.string.stringoperations.UnaryOperation
Unary operation on automata.
Operation - Class in dk.brics.string.stringoperations
Abstract superclass for operations on standard automata.
Operation() - Constructor for class dk.brics.string.stringoperations.Operation
 
OperationAssertionAnalysis - Class in dk.brics.string.intermediate.operations
Determines which assertions are "safe".
OperationAssertionAnalysis(Application, ReachingDefinitions) - Constructor for class dk.brics.string.intermediate.operations.OperationAssertionAnalysis
 
OperationCycleApproximation - Class in dk.brics.string.grammar.operations
Operation cycle approximation.
OperationCycleApproximation(Grammar) - Constructor for class dk.brics.string.grammar.operations.OperationCycleApproximation
Constructs a new approximator for the given grammar.

P

Pair<A,B> - Class in dk.brics.string.util
A generic, immutable pair of two objects.
Pair(A, B) - Constructor for class dk.brics.string.util.Pair
 
PairProduction - Class in dk.brics.string.grammar
Pair production [a -> b c].
params - Variable in class dk.brics.string.intermediate.MethodHead
The parameter variables for the method.
Postfix - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.substring(int).
Postfix() - Constructor for class dk.brics.string.stringoperations.Postfix
Constructs new operation object.
Prefix - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.substring(0,int).
Prefix() - Constructor for class dk.brics.string.stringoperations.Prefix
Constructs new operation object.
PrimitiveAssignment - Class in dk.brics.string.intermediate
Assignment from one primitive to another.
PrimitiveAssignment(Variable, Variable) - Constructor for class dk.brics.string.intermediate.PrimitiveAssignment
 
PrimitiveFromArray - Class in dk.brics.string.intermediate
Reading a primitive from an array.
PrimitiveFromArray(Variable, Variable) - Constructor for class dk.brics.string.intermediate.PrimitiveFromArray
 
PrimitiveInit - Class in dk.brics.string.intermediate
 
PrimitiveInit(Variable, Automaton) - Constructor for class dk.brics.string.intermediate.PrimitiveInit
 
PrimitiveStatement - Class in dk.brics.string.intermediate
Superclass of all statements that manipulate primitive variables.
PrimitiveStatement(Variable) - Constructor for class dk.brics.string.intermediate.PrimitiveStatement
 
printAncestors(Class<?>, String) - Static method in class dk.brics.string.java.PrintClassHierarchy
 
PrintClassHierarchy - Class in dk.brics.string.java
Prints all ancestor types of a given class or interface.
PrintClassHierarchy() - Constructor for class dk.brics.string.java.PrintClassHierarchy
 
Production - Class in dk.brics.string.grammar
Superclass for productions.
Production() - Constructor for class dk.brics.string.grammar.Production
 
ProductionVisitor - Interface in dk.brics.string.grammar
Visitor for grammar productions.
PublicExternalVisibility - Class in dk.brics.string.external
Treats public fields and methods as externally visible, and non-public fields and methods as not externally visible.
PublicExternalVisibility() - Constructor for class dk.brics.string.external.PublicExternalVisibility
 
putAll(MultiMap<K2, V2>) - Method in class dk.brics.string.util.MultiMap
Adds all key-value pairs from the other map to this map.

R

ReachingDefinitions - Class in dk.brics.string.intermediate.operations
Intra-procedural reaching definitions analysis performed on a set of methods.
ReachingDefinitions(Application, LivenessAnalysis, AliasAnalysis) - Constructor for class dk.brics.string.intermediate.operations.ReachingDefinitions
 
regexp - Variable in class dk.brics.string.intermediate.PrimitiveInit
 
regexp - Variable in class dk.brics.string.intermediate.StringInit
The set of possible values assigned.
RegularApproximation - Class in dk.brics.string.grammar.operations
Mohri-Nederhof approximation of grammars.
RegularApproximation(Grammar) - Constructor for class dk.brics.string.grammar.operations.RegularApproximation
Constructs a new approximator.
remove(char) - Method in class dk.brics.string.charset.CharSet
Constructs character set as this one but removes the given character.
remove(K, V) - Method in class dk.brics.string.util.MultiMap
Removes a key-value pair from the multimap.
removeAll(K) - Method in class dk.brics.string.util.MultiMap
Removes all key-value pairs with the specified key.
removeDef(Node) - Method in class dk.brics.string.flow.Use
Removes definition node from this use.
removeNodes(Set<Node>) - Method in class dk.brics.string.flow.FlowGraph
Removes the given nodes from this graph.
removeNop(Nop) - Method in class dk.brics.string.intermediate.Method
Removes the given Nop statement from the body of this method.
removeResolver(Resolver) - Static method in class dk.brics.string.StringAnalysis
Removes the given resolver from the list of active resolvers used during the string analysis.
Replace1 - Class in dk.brics.string.stringoperations
Automaton operation for String.replace(char,char) where both characters are known.
Replace1(char, char) - Constructor for class dk.brics.string.stringoperations.Replace1
Automaton operation for String.replace(char,char) where both characters are known.
Replace2 - Class in dk.brics.string.stringoperations
Automaton operation for String.replace(char,char) where only the first character is known.
Replace2(char) - Constructor for class dk.brics.string.stringoperations.Replace2
Automaton operation for String.replace(char,char) where only the first character is known.
Replace3 - Class in dk.brics.string.stringoperations
Automaton operation for String.replace(char,char) where only the second character is known.
Replace3(char) - Constructor for class dk.brics.string.stringoperations.Replace3
Automaton operation for String.replace(char,char) where only the second character is known.
Replace4 - Class in dk.brics.string.stringoperations
Automaton operation for String.replace(char,char) where neither character is known.
Replace4() - Constructor for class dk.brics.string.stringoperations.Replace4
Automaton operation for String.replace(char,char) where neither character is known.
Replace5 - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.replace(int,int,String).
Replace5() - Constructor for class dk.brics.string.stringoperations.Replace5
Constructs new operation object.
Replace6 - Class in dk.brics.string.stringoperations
Automaton operation for String.replace(CharSequence,CharSequence) where both arguments are known.
Replace6(String, String) - Constructor for class dk.brics.string.stringoperations.Replace6
Automaton operation for String.replace(CharSequence,CharSequence) where both arguments are known.
reset() - Static method in class dk.brics.string.StringAnalysis
Resets Soot's globals and the list of resolvers.
resolveField(FieldRef) - Method in interface dk.brics.string.external.Resolver
Called by the string analysis when it encounters a reference of an unknown String field in a non-application class.
resolveField(FieldRef) - Method in class dk.brics.string.RuntimeResolver
No special fields are resolved.
resolveMethod(InvokeExpr, SootMethod) - Method in interface dk.brics.string.external.Resolver
Called by the string analysis when it encounters a call of an unknown method in a non-application class.
resolveMethod(InvokeExpr, SootMethod) - Method in class dk.brics.string.RuntimeResolver
If the given target method is Strings.cast, returns the automaton given as a regular expression or automaton URL in the cast.
Resolver - Interface in dk.brics.string.external
Callback interface to allow the string analysis to model some external methods and fields more precisely.
ResolverFieldReferenceTranslator - Class in dk.brics.string.java
 
ResolverFieldReferenceTranslator(Collection<? extends Resolver>) - Constructor for class dk.brics.string.java.ResolverFieldReferenceTranslator
 
ResolverMethodCallTranslator - Class in dk.brics.string.java
Uses a list of Resolver strategies to translate method calls.
ResolverMethodCallTranslator(Collection<? extends Resolver>) - Constructor for class dk.brics.string.java.ResolverMethodCallTranslator
Creates a strategy that translates methods using information provided by the specified Resolver strategies.
result - Variable in class dk.brics.string.intermediate.operations.ToStringVisitor
The string representaion, set by the visit methods.
Return - Class in dk.brics.string.intermediate
Return from a method.
Return(Variable) - Constructor for class dk.brics.string.intermediate.Return
 
retvar - Variable in class dk.brics.string.intermediate.Call
The variable into which the returned value is written.
retvar - Variable in class dk.brics.string.intermediate.Return
The value to return.
Reverse - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.reverse().
Reverse() - Constructor for class dk.brics.string.stringoperations.Reverse
Constructs new operation object.
right - Variable in class dk.brics.string.intermediate.StringConcat
The right-hand string.
RuntimeHotspot - Class in dk.brics.string
A representation of a hotspot in the analysis of a program using the string analysis runtime library.
RuntimeResolver - Class in dk.brics.string
Encapsulation of the analysis of a program using the string analysis runtime library.
RuntimeResolver(BindingAutomatonProvider) - Constructor for class dk.brics.string.RuntimeResolver
Initializes a RuntimeResolver for the current application classes.
RuntimeResolver() - Constructor for class dk.brics.string.RuntimeResolver
 

S

second - Variable in class dk.brics.string.intermediate.BasicBinaryOp
 
setAliasStatus(Variable, Variable, AliasStatus) - Method in class dk.brics.string.intermediate.operations.AliasTable
Sets the current aliasing status between two variables.
setAliasStatus(UnorderedPair<Variable>, AliasStatus) - Method in class dk.brics.string.intermediate.operations.AliasTable
Sets the current aliasing status between two variables.
setArgumentCorrupted(int, boolean) - Method in class dk.brics.string.external.MethodResolution
Sets whether argument i might be modified as a result of invoking the method.
setAutomaton(Automaton) - Method in class dk.brics.string.external.FieldResolution
Sets the automaton accepting all the possible values of the field, at the place it was read.
setBox(ValueBox) - Method in class dk.brics.string.java.HotspotInfo
 
setBox(ValueBox) - Method in class dk.brics.string.java.HotspotValueBoxPair
 
SetCharAt1 - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.setCharAt(int,char) where the character is known.
SetCharAt1(char) - Constructor for class dk.brics.string.stringoperations.SetCharAt1
Automaton operation for StringBuffer.setCharAt(int,char) where the character is known.
SetCharAt2 - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.setCharAt(int,char) where the character is unknown.
SetCharAt2() - Constructor for class dk.brics.string.stringoperations.SetCharAt2
Automaton operation for StringBuffer.setCharAt(int,char) where the character is unknown.
setClassName(String) - Method in class dk.brics.string.java.HotspotInfo
 
setContext(TranslationContext) - Method in class dk.brics.string.java.AssertionContext
 
setDefinitions(LocalDefs) - Method in class dk.brics.string.java.AssertionContext
 
setExpressionVariable(ValueBox, Variable) - Method in interface dk.brics.string.java.IntermediateFactory
Reports that the specified expression was evaluated and stored in the specified intermediate variable.
setExpressionVariable(Value, Variable) - Method in class dk.brics.string.java.Jimple2Intermediate
 
setExpressionVariable(ValueBox, Variable) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
setExpressionVariable(Value, Variable) - Method in interface dk.brics.string.java.TranslationContext
Reports that the specified expression was evaluated and stored in the specified intermediate variable.
setHotspot(Hotspot) - Method in class dk.brics.string.java.HotspotValueBoxPair
 
SetLength - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.setLength(int).
SetLength() - Constructor for class dk.brics.string.stringoperations.SetLength
Constructs new operation object.
setLineNumber(int) - Method in class dk.brics.string.java.HotspotInfo
 
setMethod(SootMethod) - Method in class dk.brics.string.java.AssertionContext
 
setMethodName(String) - Method in class dk.brics.string.java.HotspotInfo
 
setProductions(List<Production>) - Method in class dk.brics.string.grammar.Nonterminal
Sets the productions of this nonterminal.
setRecursion(Component.Recursion) - Method in class dk.brics.string.grammar.operations.Component
Sets recursion kind for this component.
setReturnCorrupt() - Method in class dk.brics.string.external.MethodResolution
Sets the method to return something corrupt.
setReturnedArgument(int) - Method in class dk.brics.string.external.MethodResolution
Sets the index of an argument being returned, or -1 if the method does not return one of its arguments.
setReturnedAutomaton(Automaton) - Method in class dk.brics.string.external.MethodResolution
Sets the automaton accepting all possible return values of the method, or null if the method returns something corrupt.
setSourcefile(String) - Method in class dk.brics.string.java.HotspotInfo
 
setState(MLFAState) - Method in class dk.brics.string.grammar.operations.Component
Sets the MLFA state of this component.
setStatement(Hotspot) - Method in class dk.brics.string.java.HotspotInfo
 
setTaint(boolean) - Method in class dk.brics.string.flow.Node
 
setTaint(boolean) - Method in class dk.brics.string.grammar.Nonterminal
 
setTaint(boolean) - Method in class dk.brics.string.intermediate.Variable
 
setTaint(boolean) - Method in class dk.brics.string.mlfa.MLFAStatePair
 
setTest(boolean) - Static method in class dk.brics.string.Debug
Sets test mode.
setTranslations(Map<Stmt, TranslatedStatement>) - Method in class dk.brics.string.java.AssertionContext
 
setupLogger() - Static method in class dk.brics.string.AnalyzeRuntime
Initializes the log4j system to print all messages from AnalyzeRuntime in System.out, and suppress all other non-error messages.
Simplifier - Class in dk.brics.string.flow.operations
Flow graph simplifier.
simplify() - Method in class dk.brics.string.flow.FlowGraph
See Simplifier.simplify(FlowGraph).
simplify(FlowGraph) - Static method in class dk.brics.string.flow.operations.Simplifier
Simplifies the given graph.
size() - Method in class dk.brics.string.util.MultiMap
 
Split - Class in dk.brics.string.stringoperations
Automaton operation used for String.split(String).
Split() - Constructor for class dk.brics.string.stringoperations.Split
 
spot - Variable in class dk.brics.string.RuntimeHotspot
The actual string expression to analyze.
startBranch() - Method in class dk.brics.string.java.ControlFlowBuilder
Starts a new branching and opens one branch in it.
startBranch() - Method in interface dk.brics.string.java.IntermediateFactory
Remembers the current position in the program, so successive calls to IntermediateFactory.useBranch() jumps back here.
startBranch() - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
Statement - Class in dk.brics.string.intermediate
Superclass of all statements.
Statement() - Constructor for class dk.brics.string.intermediate.Statement
 
StatementTranslator - Interface in dk.brics.string.java
Translates individual jimple-statements into intermediate code, which is put into an IntermediateFactory.
StatementTranslatorFacade - Interface in dk.brics.string.java
Handles translation of statements when requested by MethodTranslator.
StatementTranslatorFacadeImpl - Class in dk.brics.string.java
Acts as the middle-man between MethodTranslator and StatementTranslatorImpl.
StatementTranslatorFacadeImpl(StatementTranslator) - Constructor for class dk.brics.string.java.StatementTranslatorFacadeImpl
 
StatementTranslatorImpl - Class in dk.brics.string.java
Translates Jimple-expressions and -statements into Statements in intermediate form.
StatementTranslatorImpl(MethodCallTranslator, FieldReferenceTranslator) - Constructor for class dk.brics.string.java.StatementTranslatorImpl
 
StatementVisitor - Interface in dk.brics.string.intermediate
A visitor pattern for statements.
StaticStringTypes - Interface in dk.brics.string.java
Provides the static string types of return values, parameters, and fields.
StaticStringTypesNull - Class in dk.brics.string.java
Defines no static string types.
StaticStringTypesNull() - Constructor for class dk.brics.string.java.StaticStringTypesNull
 
StringAnalysis - Class in dk.brics.string
A StringAnalysis object encapsulates a string analysis performed on a collection of classes.
StringAnalysis() - Constructor for class dk.brics.string.StringAnalysis
Performs a string analysis on the current application classes.
StringAnalysis(ExternalVisibility) - Constructor for class dk.brics.string.StringAnalysis
Performs a string analysis on the current application classes.
StringAnalysis(Collection<ValueBox>) - Constructor for class dk.brics.string.StringAnalysis
Performs a string analysis on the current application classes.
StringAnalysis(Collection<ValueBox>, ExternalVisibility) - Constructor for class dk.brics.string.StringAnalysis
 
StringAnalysis(Collection<ValueBox>, ExternalVisibility, TaintAnalysisStrategy) - Constructor for class dk.brics.string.StringAnalysis
 
StringAnalysis(Collection<ValueBox>, ExternalVisibility, TaintAnalysisStrategy, DiagnosticsStrategy) - Constructor for class dk.brics.string.StringAnalysis
Performs a string analysis on the current application classes.
StringAnalysis(Collection<ValueBox>, ExternalVisibility, TaintAnalysisStrategy, StaticStringTypes, DiagnosticsStrategy) - Constructor for class dk.brics.string.StringAnalysis
 
StringAssignment - Class in dk.brics.string.intermediate
Assignment between string variables.
StringAssignment(Variable, Variable) - Constructor for class dk.brics.string.intermediate.StringAssignment
 
StringBufferAppend - Class in dk.brics.string.intermediate
Appending a string to a string buffer.
StringBufferAppend(Variable, Variable) - Constructor for class dk.brics.string.intermediate.StringBufferAppend
 
StringBufferAppendChar - Class in dk.brics.string.intermediate
Append a primitive char variable to a string buffer.
StringBufferAppendChar(Variable, Variable) - Constructor for class dk.brics.string.intermediate.StringBufferAppendChar
 
StringBufferAssignment - Class in dk.brics.string.intermediate
Assignment between string buffer variables.
StringBufferAssignment(Variable, Variable) - Constructor for class dk.brics.string.intermediate.StringBufferAssignment
 
StringBufferBinaryOp - Class in dk.brics.string.intermediate
Performing a binary operation between a string buffer and a string.
StringBufferBinaryOp(Variable, BinaryOperation, Variable) - Constructor for class dk.brics.string.intermediate.StringBufferBinaryOp
 
StringBufferCorrupt - Class in dk.brics.string.intermediate
Corruption of a string buffer variable.
StringBufferCorrupt(Variable) - Constructor for class dk.brics.string.intermediate.StringBufferCorrupt
 
StringBufferInit - Class in dk.brics.string.intermediate
Creation of a new string buffer object with some initial string content.
StringBufferInit(Variable, Variable) - Constructor for class dk.brics.string.intermediate.StringBufferInit
 
StringBufferOperation - Class in dk.brics.string.intermediate
Superclass of all statements that manipulate a string buffer object.
StringBufferOperation(Variable) - Constructor for class dk.brics.string.intermediate.StringBufferOperation
 
StringBufferPrepend - Class in dk.brics.string.intermediate
Prepending a string to a string buffer.
StringBufferPrepend(Variable, Variable) - Constructor for class dk.brics.string.intermediate.StringBufferPrepend
 
StringBufferStatement - Class in dk.brics.string.intermediate
Superclass of all statements that manipulate string buffers or string buffer variables.
StringBufferStatement(Variable) - Constructor for class dk.brics.string.intermediate.StringBufferStatement
 
StringBufferUnaryOp - Class in dk.brics.string.intermediate
Performing a unary operation on a string buffer.
StringBufferUnaryOp(Variable, UnaryOperation) - Constructor for class dk.brics.string.intermediate.StringBufferUnaryOp
 
StringConcat - Class in dk.brics.string.intermediate
Concatenation of two strings.
StringConcat(Variable, Variable, Variable) - Constructor for class dk.brics.string.intermediate.StringConcat
 
StringFromArray - Class in dk.brics.string.intermediate
Reading a string from an array.
StringFromArray(Variable, Variable) - Constructor for class dk.brics.string.intermediate.StringFromArray
 
StringFromStringBuffer - Class in dk.brics.string.intermediate
Extracting the current string value from a string buffer.
StringFromStringBuffer(Variable, Variable) - Constructor for class dk.brics.string.intermediate.StringFromStringBuffer
 
StringInit - Class in dk.brics.string.intermediate
Initialization of a string by a value in some regular set.
StringInit(Variable, Automaton) - Constructor for class dk.brics.string.intermediate.StringInit
 
Strings - Class in dk.brics.string.runtime
Runtime system.
StringStatement - Class in dk.brics.string.intermediate
Superclass of all statements that manipulate string variables.
StringStatement(Variable) - Constructor for class dk.brics.string.intermediate.StringStatement
 
StringType - Enum in dk.brics.string.intermediate
Denotes the type of a string-related object.
StronglyConnectedComponents<N extends GraphNode,C extends GraphComponent<N>> - Class in dk.brics.string.directedgraph
Finds strongly connected components of a directed graph.
StronglyConnectedComponents(DirectedGraph<N, C>) - Constructor for class dk.brics.string.directedgraph.StronglyConnectedComponents
Finds strongly connected components using Tarjan's algorithm.
SubsetIndexer<E> - Class in dk.brics.string.util
 
SubsetIndexer(Set<E>, Indexer<E>) - Constructor for class dk.brics.string.util.SubsetIndexer
 
Substring - Class in dk.brics.string.stringoperations
Automaton operation for StringBuffer.substring(int,int).
Substring() - Constructor for class dk.brics.string.stringoperations.Substring
Constructs new operation object.

T

TaintAnalysisStrategy - Interface in dk.brics.string.java
Used for taint analysis.
target - Variable in class dk.brics.string.intermediate.Call
The target method.
targetStatement - Variable in class dk.brics.string.intermediate.AssertStatement
 
ThisPointerAnalysis - Class in dk.brics.string.java
Determines which variables definitely refer to this at each program point.
ThisPointerAnalysis(ExceptionalUnitGraph) - Constructor for class dk.brics.string.java.ThisPointerAnalysis
 
to - Variable in class dk.brics.string.intermediate.ArrayStatement
The array variable being manipulated.
to - Variable in class dk.brics.string.intermediate.AssertBinaryOp
 
to - Variable in class dk.brics.string.intermediate.AssertUnaryOp
 
to - Variable in class dk.brics.string.intermediate.BasicBinaryOp
 
to - Variable in class dk.brics.string.intermediate.BasicUnaryOp
 
to - Variable in class dk.brics.string.intermediate.Hotspot
An auxillary variable being assigned to.
to - Variable in class dk.brics.string.intermediate.ObjectAssignment
 
to - Variable in class dk.brics.string.intermediate.ObjectCorrupt
 
to - Variable in class dk.brics.string.intermediate.PrimitiveStatement
The string variable being manipulated.
to - Variable in class dk.brics.string.intermediate.StringBufferStatement
The string buffer variable being manipulated.
to - Variable in class dk.brics.string.intermediate.StringStatement
The string variable being manipulated.
toAutomaton() - Method in class dk.brics.string.charset.CharSet
Constructs automaton accepting strings with zero or more characters from this set.
toDot() - Method in class dk.brics.string.flow.FlowGraph
See FlowGraph2Dot.toDot(FlowGraph).
toDot(Collection<Node>) - Method in class dk.brics.string.flow.FlowGraph
See FlowGraph2Dot.toDot(FlowGraph,Collection).
toDot(FlowGraph) - Static method in class dk.brics.string.flow.operations.FlowGraph2Dot
Returns Graphviz Dot representation of the given graph.
toDot(FlowGraph, Collection<Node>) - Static method in class dk.brics.string.flow.operations.FlowGraph2Dot
Returns Graphviz Dot representation of the given graph.
toDot(ReachingDefinitions, AliasAnalysis, Set<Statement>) - Method in class dk.brics.string.intermediate.Application
Returns Graphviz representation of this application.
toDot(ReachingDefinitions, AliasAnalysis, OperationAssertionAnalysis, Set<Statement>) - Method in class dk.brics.string.intermediate.Application
Returns Graphviz representation of this application.
toLowerCase() - Method in class dk.brics.string.charset.CharSet
Constructs character set as this one and performs uppercase conversion of all characters.
ToLowerCase - Class in dk.brics.string.stringoperations
Automaton operation for String.toLowerCase().
ToLowerCase() - Constructor for class dk.brics.string.stringoperations.ToLowerCase
Constructs new operation object.
toString() - Method in class dk.brics.string.charset.CharSet
 
toString() - Method in class dk.brics.string.directedgraph.StronglyConnectedComponents
 
toString() - Method in class dk.brics.string.flow.Node
Returns name of this node.
toString() - Method in class dk.brics.string.grammar.AutomatonProduction
 
toString() - Method in class dk.brics.string.grammar.BinaryProduction
 
toString() - Method in class dk.brics.string.grammar.EpsilonProduction
 
toString() - Method in class dk.brics.string.grammar.Grammar
Returns string representation of this grammar.
toString() - Method in class dk.brics.string.grammar.Nonterminal
Returns name of this nonterminal.
toString() - Method in class dk.brics.string.grammar.operations.Component
 
toString() - Method in class dk.brics.string.grammar.PairProduction
 
toString() - Method in class dk.brics.string.grammar.UnaryProduction
 
toString() - Method in class dk.brics.string.grammar.UnitProduction
 
toString() - Method in class dk.brics.string.intermediate.Field
 
toString() - Method in class dk.brics.string.intermediate.Method
Returns identifier of this method object.
toString() - Method in class dk.brics.string.intermediate.operations.AliasInfo
 
toString() - Method in class dk.brics.string.intermediate.operations.AliasTable
Returns the result of toString on the underlying map.
toString() - Method in class dk.brics.string.intermediate.Statement
Returns a string representation of this statement.
toString() - Method in class dk.brics.string.intermediate.Variable
Returns a string representation of the variable.
toString() - Method in class dk.brics.string.mlfa.AutomatonTransition
 
toString() - Method in class dk.brics.string.mlfa.BinaryTransition
 
toString() - Method in class dk.brics.string.mlfa.EpsilonTransition
 
toString() - Method in class dk.brics.string.mlfa.IdentityTransition
 
toString() - Method in class dk.brics.string.mlfa.MLFA
Returns string representation of this MLFA.
toString() - Method in class dk.brics.string.mlfa.MLFAState
 
toString() - Method in class dk.brics.string.mlfa.MLFAStatePair
 
toString() - Method in class dk.brics.string.mlfa.UnaryTransition
 
toString() - Method in class dk.brics.string.stringoperations.AssertContainedInOther
 
toString() - Method in class dk.brics.string.stringoperations.AssertContainsOther
 
toString() - Method in class dk.brics.string.stringoperations.AssertEmpty
 
toString() - Method in class dk.brics.string.stringoperations.AssertEndsWith
 
toString() - Method in class dk.brics.string.stringoperations.AssertEquals
 
toString() - Method in class dk.brics.string.stringoperations.AssertHasLength
 
toString() - Method in class dk.brics.string.stringoperations.AssertHasNotLength
 
toString() - Method in class dk.brics.string.stringoperations.AssertInLanguage
 
toString() - Method in class dk.brics.string.stringoperations.AssertNotContainsOther
 
toString() - Method in class dk.brics.string.stringoperations.AssertNotEmpty
 
toString() - Method in class dk.brics.string.stringoperations.AssertNotEquals
 
toString() - Method in class dk.brics.string.stringoperations.AssertPrefixOf
 
toString() - Method in class dk.brics.string.stringoperations.AssertStartsWith
 
toString() - Method in class dk.brics.string.stringoperations.AssertSuffixOf
 
toString() - Method in class dk.brics.string.stringoperations.BooleanToString
 
toString() - Method in class dk.brics.string.stringoperations.CharAt1
 
toString() - Method in class dk.brics.string.stringoperations.CharAt2
 
toString() - Method in class dk.brics.string.stringoperations.Contains
 
toString() - Method in class dk.brics.string.stringoperations.Delete
 
toString() - Method in class dk.brics.string.stringoperations.DeleteCharAt
 
toString() - Method in class dk.brics.string.stringoperations.Insert
 
toString() - Method in class dk.brics.string.stringoperations.Operation
Returns name of this operation.
toString() - Method in class dk.brics.string.stringoperations.Postfix
 
toString() - Method in class dk.brics.string.stringoperations.Prefix
 
toString() - Method in class dk.brics.string.stringoperations.Replace1
 
toString() - Method in class dk.brics.string.stringoperations.Replace2
 
toString() - Method in class dk.brics.string.stringoperations.Replace3
 
toString() - Method in class dk.brics.string.stringoperations.Replace4
 
toString() - Method in class dk.brics.string.stringoperations.Replace5
 
toString() - Method in class dk.brics.string.stringoperations.Replace6
 
toString() - Method in class dk.brics.string.stringoperations.Reverse
 
toString() - Method in class dk.brics.string.stringoperations.SetCharAt1
 
toString() - Method in class dk.brics.string.stringoperations.SetCharAt2
 
toString() - Method in class dk.brics.string.stringoperations.SetLength
 
toString() - Method in class dk.brics.string.stringoperations.Split
 
toString() - Method in class dk.brics.string.stringoperations.Substring
 
toString() - Method in class dk.brics.string.stringoperations.ToLowerCase
 
toString() - Method in class dk.brics.string.stringoperations.ToUpperCase
 
toString() - Method in class dk.brics.string.stringoperations.Trim
 
toString() - Method in class dk.brics.string.util.MultiMap
 
toString() - Method in class dk.brics.string.util.UnorderedPair
 
ToStringVisitor - Class in dk.brics.string.intermediate.operations
Visitor for producing string representations of statements.
ToStringVisitor(OperationAssertionAnalysis) - Constructor for class dk.brics.string.intermediate.operations.ToStringVisitor
 
ToStringVisitor() - Constructor for class dk.brics.string.intermediate.operations.ToStringVisitor
 
toUpperCase() - Method in class dk.brics.string.charset.CharSet
Constructs character set as this one and performs lowercase conversion of all characters, as done by String.toUpperCase() (which occasionally differs from character-wise application of Character.toUpperCase(char))
ToUpperCase - Class in dk.brics.string.stringoperations
Automaton operation for String.toUpperCase().
ToUpperCase() - Constructor for class dk.brics.string.stringoperations.ToUpperCase
Constructs new operation object.
transfer(Statement) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
transfer(Statement) - Method in interface dk.brics.string.intermediate.operations.FlowAnalysis
The transfer function.
transfer(Statement) - Method in class dk.brics.string.intermediate.operations.LivenessAnalysis
 
TransitionVisitor<T> - Interface in dk.brics.string.mlfa
Visitor interface for MLFA transitions.
translateAbstractMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.ApplicationMethodCallTranslator
 
translateAbstractMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.BuiltinMethodCallTranslator
 
translateAbstractMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.CompositeMethodCallTranslator
 
translateAbstractMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in interface dk.brics.string.java.MethodCallTranslator
Translates a non-static method call made to the specified method, which might be directed to a different implementation than that method.
translateAbstractMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.NaiveMethodCallTranslator
 
translateAbstractMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.ResolverMethodCallTranslator
 
translateApplicationClasses() - Method in class dk.brics.string.java.Jimple2Intermediate
Translates the application classes considering all expressions as hotspots.
translateApplicationClasses(Collection<ValueBox>) - Method in class dk.brics.string.java.Jimple2Intermediate
Translates the application classes considering the given expressions as hotspots.
translateConstructorCall(InstanceInvokeExpr, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.ApplicationMethodCallTranslator
 
translateConstructorCall(InstanceInvokeExpr, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.BuiltinMethodCallTranslator
 
translateConstructorCall(InstanceInvokeExpr, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.CompositeMethodCallTranslator
 
translateConstructorCall(InstanceInvokeExpr, Variable, List<Variable>, IntermediateFactory) - Method in interface dk.brics.string.java.MethodCallTranslator
Translates a constructor invocation into a sequence of statements.
translateConstructorCall(InstanceInvokeExpr, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.NaiveMethodCallTranslator
 
translateConstructorCall(InstanceInvokeExpr, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.ResolverMethodCallTranslator
 
TranslatedStatement - Class in dk.brics.string.java
Contains the entry and exit points for the control-flow graph of a single translated jimple-statement, and a list of all the Hotspot statements within.
TranslatedStatement(Statement, Statement) - Constructor for class dk.brics.string.java.TranslatedStatement
Prepares the results of a translated statement.
translateFieldAssignment(FieldRef, Variable, IntermediateFactory) - Method in class dk.brics.string.java.ApplicationFieldReferenceTranslator
 
translateFieldAssignment(FieldRef, Variable, IntermediateFactory) - Method in class dk.brics.string.java.CompositeFieldReferenceTranslator
 
translateFieldAssignment(FieldRef, Variable, IntermediateFactory) - Method in interface dk.brics.string.java.FieldReferenceTranslator
 
translateFieldAssignment(FieldRef, Variable, IntermediateFactory) - Method in class dk.brics.string.java.ResolverFieldReferenceTranslator
 
translateFieldRef(FieldRef, ValueBox, IntermediateFactory) - Method in class dk.brics.string.java.ApplicationFieldReferenceTranslator
 
translateFieldRef(FieldRef, ValueBox, IntermediateFactory) - Method in class dk.brics.string.java.CompositeFieldReferenceTranslator
 
translateFieldRef(FieldRef, ValueBox, IntermediateFactory) - Method in interface dk.brics.string.java.FieldReferenceTranslator
 
translateFieldRef(FieldRef, ValueBox, IntermediateFactory) - Method in class dk.brics.string.java.ResolverFieldReferenceTranslator
 
translateMethod(SootMethod, TranslationContext) - Method in interface dk.brics.string.java.MethodTranslator
Translates the body of the specified jimple-method, and stores the intermediate code in the appropriate intermediate Method.
translateMethod(SootMethod, TranslationContext) - Method in class dk.brics.string.java.MethodTranslatorImpl
 
translateMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.ApplicationMethodCallTranslator
 
translateMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.BuiltinMethodCallTranslator
 
translateMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.CompositeMethodCallTranslator
 
translateMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in interface dk.brics.string.java.MethodCallTranslator
Translates a non-static method call into a sequence of statements.
translateMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.NaiveMethodCallTranslator
 
translateMethodCall(InstanceInvokeExpr, SootMethod, Variable, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.ResolverMethodCallTranslator
 
translateStatement(Stmt, IntermediateFactory) - Method in interface dk.brics.string.java.StatementTranslator
Translates the specified statement into intermediate code, using the specified factory.
translateStatement(Stmt, SootMethod, NullnessAnalysis, TranslationContext) - Method in interface dk.brics.string.java.StatementTranslatorFacade
Translates the specified Jimple-statement into intermediate code, and returns the entry- and exitpoint for the created graph.
translateStatement(Stmt, SootMethod, NullnessAnalysis, TranslationContext) - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
translateStatement(Stmt, IntermediateFactory) - Method in class dk.brics.string.java.StatementTranslatorImpl
 
translateStaticMethodCall(InvokeExpr, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.ApplicationMethodCallTranslator
 
translateStaticMethodCall(InvokeExpr, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.BuiltinMethodCallTranslator
 
translateStaticMethodCall(InvokeExpr, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.CompositeMethodCallTranslator
 
translateStaticMethodCall(InvokeExpr, List<Variable>, IntermediateFactory) - Method in interface dk.brics.string.java.MethodCallTranslator
Translates a static method call into a sequence of statements.
translateStaticMethodCall(InvokeExpr, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.NaiveMethodCallTranslator
 
translateStaticMethodCall(InvokeExpr, List<Variable>, IntermediateFactory) - Method in class dk.brics.string.java.ResolverMethodCallTranslator
 
TranslationContext - Interface in dk.brics.string.java
Provides information from the higher-level aspects of the analysis to lower-level aspects.
Trim - Class in dk.brics.string.stringoperations
Automaton operation for String.trim().
Trim() - Constructor for class dk.brics.string.stringoperations.Trim
Constructs new operation object.
Types - Class in dk.brics.string.java
Contains static methods for converting Java types into Intermediate types.
Types() - Constructor for class dk.brics.string.java.Types
 

U

UnaryNode - Class in dk.brics.string.flow
Unary operation node.
UnaryOperation - Class in dk.brics.string.stringoperations
Abstract superclass for unary operations.
UnaryOperation() - Constructor for class dk.brics.string.stringoperations.UnaryOperation
 
UnaryProduction - Class in dk.brics.string.grammar
Unary production [a -> op1(b)].
UnaryTransition - Class in dk.brics.string.mlfa
Unary operation transition.
union(CharSet) - Method in class dk.brics.string.charset.CharSet
Constructs union of this character set and the given one.
union(List<CharSet>) - Static method in class dk.brics.string.charset.CharSet
Constructs union of the given character sets.
UnitProduction - Class in dk.brics.string.grammar
Unit production [a -> b].
UnitProduction(Nonterminal) - Constructor for class dk.brics.string.grammar.UnitProduction
 
UnorderedPair<E extends Comparable<E>> - Class in dk.brics.string.util
An unordered immutable pair of elements.
UnorderedPair(E, E) - Constructor for class dk.brics.string.util.UnorderedPair
Creates an unordered pair of the specified elements.
Use - Class in dk.brics.string.flow
Set of incoming flow edges.
Use(Node) - Constructor for class dk.brics.string.flow.Use
Constructs a bew use.
useBranch() - Method in class dk.brics.string.java.ControlFlowBuilder
Ends the current branch and starts a new one.
useBranch() - Method in interface dk.brics.string.java.IntermediateFactory
Jumps back to the statement added before the previous call to IntermediateFactory.startBranch(), so statements added with IntermediateFactory.addStatement(Statement) are added from there.
useBranch() - Method in class dk.brics.string.java.StatementTranslatorFacadeImpl
 
usedVars(Statement) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
Returns the (unmodifiable) set of variables used by the statement.
uses(Statement, Variable) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
Checks whether the given variable is used by the statement.
UsesVisitor - Class in dk.brics.string.intermediate.operations
A statement visitor for querying the set of variables read by a statement.
UsesVisitor() - Constructor for class dk.brics.string.intermediate.operations.UsesVisitor
Creates a new visitor.

V

valueOf(String) - Static method in enum dk.brics.string.grammar.operations.Component.Recursion
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.string.HotspotKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.string.intermediate.operations.AliasStatus
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.string.intermediate.StringType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.string.intermediate.VariableType
Returns the enum constant of this type with the specified name.
values() - Static method in enum dk.brics.string.grammar.operations.Component.Recursion
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.string.HotspotKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.string.intermediate.operations.AliasStatus
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.string.intermediate.StringType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.string.intermediate.VariableType
Returns an array containing the constants of this enum type, in the order they are declared.
Variable - Class in dk.brics.string.intermediate
A variable or other intermediate value in the Java program.
VariableManager - Class in dk.brics.string.java
Keeps a mapping from soot locals and fields, to their corresponding intermediate locals and fields.
VariableManager(Application, TranslationContext) - Constructor for class dk.brics.string.java.VariableManager
 
VariableType - Enum in dk.brics.string.intermediate
Describes the possible types of a variable.
visitArrayAddAll(ArrayAddAll) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitArrayAddAll(ArrayAddAll) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitArrayAddAll(ArrayAddAll) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitArrayAddAll(ArrayAddAll) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitArrayAddAll(ArrayAddAll) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitArrayAddAll(ArrayAddAll) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitArrayAddAll(ArrayAddAll) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit an ArrayAddAll statement.
visitArrayAssignment(ArrayAssignment) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitArrayAssignment(ArrayAssignment) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitArrayAssignment(ArrayAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitArrayAssignment(ArrayAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitArrayAssignment(ArrayAssignment) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitArrayAssignment(ArrayAssignment) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitArrayAssignment(ArrayAssignment) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit an ArrayAssignment statement.
visitArrayCorrupt(ArrayCorrupt) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitArrayCorrupt(ArrayCorrupt) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitArrayCorrupt(ArrayCorrupt) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitArrayCorrupt(ArrayCorrupt) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitArrayCorrupt(ArrayCorrupt) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitArrayCorrupt(ArrayCorrupt) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitArrayCorrupt(ArrayCorrupt) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit an ArrayCorrupt statement.
visitArrayFromArray(ArrayFromArray) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitArrayFromArray(ArrayFromArray) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitArrayFromArray(ArrayFromArray) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitArrayFromArray(ArrayFromArray) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitArrayFromArray(ArrayFromArray) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitArrayFromArray(ArrayFromArray) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitArrayFromArray(ArrayFromArray) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit an ArrayFromArray statement.
visitArrayNew(ArrayNew) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitArrayNew(ArrayNew) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitArrayNew(ArrayNew) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitArrayNew(ArrayNew) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitArrayNew(ArrayNew) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitArrayNew(ArrayNew) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitArrayNew(ArrayNew) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit an ArrayNew statement.
visitArrayWriteArray(ArrayWriteArray) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitArrayWriteArray(ArrayWriteArray) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitArrayWriteArray(ArrayWriteArray) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitArrayWriteArray(ArrayWriteArray) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitArrayWriteArray(ArrayWriteArray) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitArrayWriteArray(ArrayWriteArray) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitArrayWriteArray(ArrayWriteArray) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit an ArrayWriteArray statement.
visitArrayWriteElement(ArrayWriteElement) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitArrayWriteElement(ArrayWriteElement) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitArrayWriteElement(ArrayWriteElement) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitArrayWriteElement(ArrayWriteElement) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitArrayWriteElement(ArrayWriteElement) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitArrayWriteElement(ArrayWriteElement) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitArrayWriteElement(ArrayWriteElement) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit an ArrayWriteElement statement.
visitAssertAliases(AssertAliases) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitAssertAliases(AssertAliases) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitAssertAliases(AssertAliases) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitAssertAliases(AssertAliases) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitAssertAliases(AssertAliases) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitAssertAliases(AssertAliases) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitAssertAliases(AssertAliases) - Method in interface dk.brics.string.intermediate.StatementVisitor
 
visitAssertBinaryOp(AssertBinaryOp) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitAssertBinaryOp(AssertBinaryOp) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitAssertBinaryOp(AssertBinaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitAssertBinaryOp(AssertBinaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitAssertBinaryOp(AssertBinaryOp) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitAssertBinaryOp(AssertBinaryOp) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitAssertBinaryOp(AssertBinaryOp) - Method in interface dk.brics.string.intermediate.StatementVisitor
 
visitAssertUnaryOp(AssertUnaryOp) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitAssertUnaryOp(AssertUnaryOp) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitAssertUnaryOp(AssertUnaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitAssertUnaryOp(AssertUnaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitAssertUnaryOp(AssertUnaryOp) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitAssertUnaryOp(AssertUnaryOp) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitAssertUnaryOp(AssertUnaryOp) - Method in interface dk.brics.string.intermediate.StatementVisitor
 
visitAssignmentNode(AssignmentNode) - Method in interface dk.brics.string.flow.NodeVisitor
Invoked on assignment nodes.
visitAutomatonProduction(Nonterminal, AutomatonProduction) - Method in interface dk.brics.string.grammar.ProductionVisitor
Invoked on automaton productions.
visitAutomatonTransition(AutomatonTransition) - Method in interface dk.brics.string.mlfa.TransitionVisitor
Invoked on automaton transitions.
visitBasicBinaryOp(BasicBinaryOp) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitBasicBinaryOp(BasicBinaryOp) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitBasicBinaryOp(BasicBinaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitBasicBinaryOp(BasicBinaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitBasicBinaryOp(BasicBinaryOp) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitBasicBinaryOp(BasicBinaryOp) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitBasicBinaryOp(BasicBinaryOp) - Method in interface dk.brics.string.intermediate.StatementVisitor
 
visitBasicUnaryOp(BasicUnaryOp) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitBasicUnaryOp(BasicUnaryOp) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitBasicUnaryOp(BasicUnaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitBasicUnaryOp(BasicUnaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitBasicUnaryOp(BasicUnaryOp) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitBasicUnaryOp(BasicUnaryOp) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitBasicUnaryOp(BasicUnaryOp) - Method in interface dk.brics.string.intermediate.StatementVisitor
 
visitBinaryNode(BinaryNode) - Method in interface dk.brics.string.flow.NodeVisitor
Invoked on binary operation nodes.
visitBinaryProduction(Nonterminal, BinaryProduction) - Method in interface dk.brics.string.grammar.ProductionVisitor
Invoked on binary productions.
visitBinaryTransition(BinaryTransition) - Method in interface dk.brics.string.mlfa.TransitionVisitor
Invoked on binary operation transitions.
visitBy(NodeVisitor) - Method in class dk.brics.string.flow.AssignmentNode
 
visitBy(NodeVisitor) - Method in class dk.brics.string.flow.BinaryNode
 
visitBy(NodeVisitor) - Method in class dk.brics.string.flow.ConcatenationNode
 
visitBy(NodeVisitor) - Method in class dk.brics.string.flow.InitializationNode
 
visitBy(NodeVisitor) - Method in class dk.brics.string.flow.Node
Visitor.
visitBy(NodeVisitor) - Method in class dk.brics.string.flow.UnaryNode
 
visitBy(Nonterminal, ProductionVisitor) - Method in class dk.brics.string.grammar.AutomatonProduction
 
visitBy(Nonterminal, ProductionVisitor) - Method in class dk.brics.string.grammar.BinaryProduction
 
visitBy(Nonterminal, ProductionVisitor) - Method in class dk.brics.string.grammar.EpsilonProduction
 
visitBy(Nonterminal, ProductionVisitor) - Method in class dk.brics.string.grammar.PairProduction
 
visitBy(Nonterminal, ProductionVisitor) - Method in class dk.brics.string.grammar.Production
Visits this production with the given visitor.
visitBy(Nonterminal, ProductionVisitor) - Method in class dk.brics.string.grammar.UnaryProduction
 
visitBy(Nonterminal, ProductionVisitor) - Method in class dk.brics.string.grammar.UnitProduction
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.ArrayAddAll
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.ArrayAssignment
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.ArrayCorrupt
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.ArrayFromArray
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.ArrayNew
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.ArrayWriteArray
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.ArrayWriteElement
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.AssertAliases
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.AssertBinaryOp
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.AssertUnaryOp
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.BasicBinaryOp
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.BasicUnaryOp
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.Call
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.Catch
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.ExceptionalReturn
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.FieldAssignment
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.FieldReference
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.Hotspot
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.MethodHead
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.Nop
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.ObjectAssignment
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.ObjectCorrupt
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.PrimitiveAssignment
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.PrimitiveFromArray
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.PrimitiveInit
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.Return
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.Statement
Visit this statement by the given statement visitor.
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringAssignment
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringBufferAppend
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringBufferAppendChar
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringBufferAssignment
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringBufferBinaryOp
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringBufferCorrupt
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringBufferInit
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringBufferPrepend
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringBufferUnaryOp
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringConcat
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringFromArray
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringFromStringBuffer
 
visitBy(StatementVisitor) - Method in class dk.brics.string.intermediate.StringInit
 
visitBy(TransitionVisitor<T>) - Method in class dk.brics.string.mlfa.AutomatonTransition
 
visitBy(TransitionVisitor<T>) - Method in class dk.brics.string.mlfa.BinaryTransition
 
visitBy(TransitionVisitor<T>) - Method in class dk.brics.string.mlfa.EpsilonTransition
 
visitBy(TransitionVisitor<T>) - Method in class dk.brics.string.mlfa.IdentityTransition
 
visitBy(TransitionVisitor<T>) - Method in class dk.brics.string.mlfa.MLFATransition
Visits this transition with the given visitor.
visitBy(TransitionVisitor<T>) - Method in class dk.brics.string.mlfa.UnaryTransition
 
visitCall(Call) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitCall(Call) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitCall(Call) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitCall(Call) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitCall(Call) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitCall(Call) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitCall(Call) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a Call statement.
visitCatch(Catch) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitCatch(Catch) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitCatch(Catch) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitCatch(Catch) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitCatch(Catch) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitCatch(Catch) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitCatch(Catch) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a Catch statement.
visitConcatenationNode(ConcatenationNode) - Method in interface dk.brics.string.flow.NodeVisitor
Invoked on concatenation nodes.
visitEpsilonProduction(Nonterminal, EpsilonProduction) - Method in interface dk.brics.string.grammar.ProductionVisitor
Invoked on epsilon productions.
visitEpsilonTransition(EpsilonTransition) - Method in interface dk.brics.string.mlfa.TransitionVisitor
Invoked on epsilon transitions.
visitExceptionalReturn(ExceptionalReturn) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitExceptionalReturn(ExceptionalReturn) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitExceptionalReturn(ExceptionalReturn) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitExceptionalReturn(ExceptionalReturn) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitExceptionalReturn(ExceptionalReturn) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitExceptionalReturn(ExceptionalReturn) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitExceptionalReturn(ExceptionalReturn) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a ExceptionalReturn statement.
visitFieldAssignment(FieldAssignment) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitFieldAssignment(FieldAssignment) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitFieldAssignment(FieldAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitFieldAssignment(FieldAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitFieldAssignment(FieldAssignment) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitFieldAssignment(FieldAssignment) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitFieldAssignment(FieldAssignment) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a FieldAssignment statement.
visitFieldReference(FieldReference) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitFieldReference(FieldReference) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitFieldReference(FieldReference) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitFieldReference(FieldReference) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitFieldReference(FieldReference) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitFieldReference(FieldReference) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitFieldReference(FieldReference) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a FieldReference statement.
visitHotspot(Hotspot) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitHotspot(Hotspot) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitHotspot(Hotspot) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitHotspot(Hotspot) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitHotspot(Hotspot) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitHotspot(Hotspot) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitHotspot(Hotspot) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a Hotspot statement.
visitIdentityTransition(IdentityTransition) - Method in interface dk.brics.string.mlfa.TransitionVisitor
Invoked on identity transitions.
visitInitializationNode(InitializationNode) - Method in interface dk.brics.string.flow.NodeVisitor
Invoked on initialization nodes.
visitMethodHead(MethodHead) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitMethodHead(MethodHead) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitMethodHead(MethodHead) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitMethodHead(MethodHead) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitMethodHead(MethodHead) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitMethodHead(MethodHead) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitMethodHead(MethodHead) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a MethodHead statement.
visitNodes(NodeVisitor) - Method in class dk.brics.string.flow.FlowGraph
Visits all nodes with the given visitor.
visitNop(Nop) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitNop(Nop) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitNop(Nop) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitNop(Nop) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitNop(Nop) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitNop(Nop) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitNop(Nop) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a Nop statement.
visitObjectAssignment(ObjectAssignment) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitObjectAssignment(ObjectAssignment) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitObjectAssignment(ObjectAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitObjectAssignment(ObjectAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitObjectAssignment(ObjectAssignment) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitObjectAssignment(ObjectAssignment) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitObjectAssignment(ObjectAssignment) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a ObjectAssignment statement.
visitObjectCorrupt(ObjectCorrupt) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitObjectCorrupt(ObjectCorrupt) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitObjectCorrupt(ObjectCorrupt) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitObjectCorrupt(ObjectCorrupt) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitObjectCorrupt(ObjectCorrupt) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitObjectCorrupt(ObjectCorrupt) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitObjectCorrupt(ObjectCorrupt) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a ObjectCorrupt statement.
visitPairProduction(Nonterminal, PairProduction) - Method in interface dk.brics.string.grammar.ProductionVisitor
Invoked on pair productions.
visitPrimitiveAssignment(PrimitiveAssignment) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitPrimitiveAssignment(PrimitiveAssignment) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitPrimitiveAssignment(PrimitiveAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitPrimitiveAssignment(PrimitiveAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitPrimitiveAssignment(PrimitiveAssignment) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitPrimitiveAssignment(PrimitiveAssignment) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitPrimitiveAssignment(PrimitiveAssignment) - Method in interface dk.brics.string.intermediate.StatementVisitor
 
visitPrimitiveFromArray(PrimitiveFromArray) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitPrimitiveFromArray(PrimitiveFromArray) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitPrimitiveFromArray(PrimitiveFromArray) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitPrimitiveFromArray(PrimitiveFromArray) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitPrimitiveFromArray(PrimitiveFromArray) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitPrimitiveFromArray(PrimitiveFromArray) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitPrimitiveFromArray(PrimitiveFromArray) - Method in interface dk.brics.string.intermediate.StatementVisitor
 
visitPrimitiveInit(PrimitiveInit) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitPrimitiveInit(PrimitiveInit) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitPrimitiveInit(PrimitiveInit) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitPrimitiveInit(PrimitiveInit) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitPrimitiveInit(PrimitiveInit) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitPrimitiveInit(PrimitiveInit) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitPrimitiveInit(PrimitiveInit) - Method in interface dk.brics.string.intermediate.StatementVisitor
 
visitProductions(ProductionVisitor) - Method in class dk.brics.string.grammar.Grammar
Visits all productions with the given visitor.
visitReturn(Return) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitReturn(Return) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitReturn(Return) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitReturn(Return) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitReturn(Return) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitReturn(Return) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitReturn(Return) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a Return statement.
visitStringAssignment(StringAssignment) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringAssignment(StringAssignment) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringAssignment(StringAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringAssignment(StringAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringAssignment(StringAssignment) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringAssignment(StringAssignment) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringAssignment(StringAssignment) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringAssignment statement.
visitStringBufferAppend(StringBufferAppend) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringBufferAppend(StringBufferAppend) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringBufferAppend(StringBufferAppend) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringBufferAppend(StringBufferAppend) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringBufferAppend(StringBufferAppend) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringBufferAppend(StringBufferAppend) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringBufferAppend(StringBufferAppend) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringBufferAppend statement.
visitStringBufferAppendChar(StringBufferAppendChar) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringBufferAppendChar(StringBufferAppendChar) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringBufferAppendChar(StringBufferAppendChar) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringBufferAppendChar(StringBufferAppendChar) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringBufferAppendChar(StringBufferAppendChar) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringBufferAppendChar(StringBufferAppendChar) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringBufferAppendChar(StringBufferAppendChar) - Method in interface dk.brics.string.intermediate.StatementVisitor
 
visitStringBufferAssignment(StringBufferAssignment) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringBufferAssignment(StringBufferAssignment) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringBufferAssignment(StringBufferAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringBufferAssignment(StringBufferAssignment) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringBufferAssignment(StringBufferAssignment) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringBufferAssignment(StringBufferAssignment) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringBufferAssignment(StringBufferAssignment) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringBufferAssignment statement.
visitStringBufferBinaryOp(StringBufferBinaryOp) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringBufferBinaryOp(StringBufferBinaryOp) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringBufferBinaryOp(StringBufferBinaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringBufferBinaryOp(StringBufferBinaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringBufferBinaryOp(StringBufferBinaryOp) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringBufferBinaryOp(StringBufferBinaryOp) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringBufferBinaryOp(StringBufferBinaryOp) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringBufferBinaryOp statement.
visitStringBufferCorrupt(StringBufferCorrupt) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringBufferCorrupt(StringBufferCorrupt) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringBufferCorrupt(StringBufferCorrupt) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringBufferCorrupt(StringBufferCorrupt) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringBufferCorrupt(StringBufferCorrupt) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringBufferCorrupt(StringBufferCorrupt) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringBufferCorrupt(StringBufferCorrupt) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringBufferCorrupt statement.
visitStringBufferInit(StringBufferInit) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringBufferInit(StringBufferInit) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringBufferInit(StringBufferInit) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringBufferInit(StringBufferInit) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringBufferInit(StringBufferInit) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringBufferInit(StringBufferInit) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringBufferInit(StringBufferInit) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringBufferInit statement.
visitStringBufferPrepend(StringBufferPrepend) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringBufferPrepend(StringBufferPrepend) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringBufferPrepend(StringBufferPrepend) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringBufferPrepend(StringBufferPrepend) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringBufferPrepend(StringBufferPrepend) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringBufferPrepend(StringBufferPrepend) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringBufferPrepend(StringBufferPrepend) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringBufferPrepend statement.
visitStringBufferUnaryOp(StringBufferUnaryOp) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringBufferUnaryOp(StringBufferUnaryOp) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringBufferUnaryOp(StringBufferUnaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringBufferUnaryOp(StringBufferUnaryOp) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringBufferUnaryOp(StringBufferUnaryOp) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringBufferUnaryOp(StringBufferUnaryOp) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringBufferUnaryOp(StringBufferUnaryOp) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringBufferUnaryOp statement.
visitStringConcat(StringConcat) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringConcat(StringConcat) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringConcat(StringConcat) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringConcat(StringConcat) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringConcat(StringConcat) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringConcat(StringConcat) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringConcat(StringConcat) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringConcat statement.
visitStringFromArray(StringFromArray) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringFromArray(StringFromArray) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringFromArray(StringFromArray) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringFromArray(StringFromArray) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringFromArray(StringFromArray) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringFromArray(StringFromArray) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringFromArray(StringFromArray) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringFromArray statement.
visitStringFromStringBuffer(StringFromStringBuffer) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringFromStringBuffer(StringFromStringBuffer) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringFromStringBuffer(StringFromStringBuffer) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringFromStringBuffer(StringFromStringBuffer) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringFromStringBuffer(StringFromStringBuffer) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringFromStringBuffer(StringFromStringBuffer) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringFromStringBuffer(StringFromStringBuffer) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringFromStringBuffer statement.
visitStringInit(StringInit) - Method in class dk.brics.string.intermediate.operations.AliasAnalysis
 
visitStringInit(StringInit) - Method in class dk.brics.string.intermediate.operations.DefinesVisitor
 
visitStringInit(StringInit) - Method in class dk.brics.string.intermediate.operations.FlowGraphEdgeCreator
 
visitStringInit(StringInit) - Method in class dk.brics.string.intermediate.operations.FlowGraphNodeCreator
 
visitStringInit(StringInit) - Method in class dk.brics.string.intermediate.operations.ToStringVisitor
 
visitStringInit(StringInit) - Method in class dk.brics.string.intermediate.operations.UsesVisitor
 
visitStringInit(StringInit) - Method in interface dk.brics.string.intermediate.StatementVisitor
Visit a StringInit statement.
visitUnaryNode(UnaryNode) - Method in interface dk.brics.string.flow.NodeVisitor
Invoked on unary operation nodes.
visitUnaryProduction(Nonterminal, UnaryProduction) - Method in interface dk.brics.string.grammar.ProductionVisitor
Invoked on unary productions.
visitUnaryTransition(UnaryTransition) - Method in interface dk.brics.string.mlfa.TransitionVisitor
Invoked on unary operation transitions.
visitUnitProduction(Nonterminal, UnitProduction) - Method in interface dk.brics.string.grammar.ProductionVisitor
Invoked on unit productions.

W

WorkList - Class in dk.brics.string.intermediate.operations
A worklist algorithm for performing flow analyses on a set of methods.
WorkList(FlowAnalysis) - Constructor for class dk.brics.string.intermediate.operations.WorkList
Creates a worklist for the given analysis.

A B C D E F G H I J K L M N O P R S T U V W

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