|
||||||
PREV NEXT | FRAMES NO FRAMES |
AssertAliases
statements to determine which are valid assertions.Automaton
located by a URL.
Call
statements.RegularApproximation
.
AssertionCycleApproximation
and then
approximates the remaining operation cycles with OperationCycleApproximation
.
AssertionBranch
); corresponding to the
true and false outcomes of a branching condition, respectively.String
, StringBuffer
, StringBuilder
, and Object
into
statements, modelling them as precisely as possible.Automaton
located by URL.
Automaton
located by URL.
MLFA
from the grammar.
StringBuffer.delete(int,int)
.StringBuffer.deleteCharAt(int)
.StringAnalysis
.IntermediateFactory.startBranch()
,
and restores the position marked by the startBranch before that.
FieldReference
and FieldAssignment
.FlowGraphNodeCreator
.OperationCycleApproximation.getCharsets()
.
Comparable
implementation).
OperationCycleApproximation.countCycles()
.
Comparable
implementation).
toString
methods.
Character.isDigit(char)
.
Character.isLetter(char)
.
Character.isLetterOrDigit(char)
.
Character.isLowerCase(char)
.
Character.isSpaceChar(char)
.
Character.isTitleCase(char)
.
Character.isUpperCase(char)
.
Character.isWhitespace(char)
.
Use
objects representing uses of this definition.
Hotspot
statement and information about which jimple-expression,
Java source file, class, method, and line number it was originally defined at.Hotspot
statement and the ValueBox
holding the expression
that was originally marked as the hotspot.StringBuffer.insert(int,Object)
and related methods.StatementTranslatorImpl
and MethodCallTranslator
.InvalidRuntimeUseException
with the given message.
AliasStatus.DEFINITELY
or AliasStatus.BOTTOM
.
StringType.MUTABLE
or StringType.COLLECTION
.
AliasStatus.DEFINITELY
or AliasStatus.MAYBE
.
VariableType.STRINGBUFFER
, VariableType.ARRAY
,
or VariableType.OBJECT
.
Simplifier.normalize(FlowGraph)
.
StringBuffer.substring(int)
.StringBuffer.substring(0,int)
.Nop
statement from the body of this method.
String.replace(char,char)
where both characters are known.String.replace(char,char)
where both characters are known.
String.replace(char,char)
where only the first character is known.String.replace(char,char)
where only the first character is known.
String.replace(char,char)
where only the second character is known.String.replace(char,char)
where only the second character is known.
String.replace(char,char)
where neither character is known.String.replace(char,char)
where neither character is known.
StringBuffer.replace(int,int,String)
.String.replace(CharSequence,CharSequence)
where both arguments are known.String.replace(CharSequence,CharSequence)
where both arguments are known.
Strings.cast
,
returns the automaton given as a regular expression or automaton URL in the cast.
Resolver
strategies to translate method calls.Resolver
strategies.
StringBuffer.reverse()
.RuntimeResolver
for the current
application classes.
StringBuffer.setCharAt(int,char)
where the character is known.StringBuffer.setCharAt(int,char)
where the character is known.
StringBuffer.setCharAt(int,char)
where the character is unknown.StringBuffer.setCharAt(int,char)
where the character is unknown.
StringBuffer.setLength(int)
.AnalyzeRuntime
in System.out, and suppress all other non-error messages.
Simplifier.simplify(FlowGraph)
.
IntermediateFactory.useBranch()
jumps back here.
IntermediateFactory
.MethodTranslator
.MethodTranslator
and StatementTranslatorImpl
.Statement
s in intermediate form.StringAnalysis
object encapsulates a string analysis performed
on a collection of classes.StringBuffer.substring(int,int)
.FlowGraph2Dot.toDot(FlowGraph)
.
FlowGraph2Dot.toDot(FlowGraph,Collection)
.
String.toLowerCase()
.String.toUpperCase()
(which occasionally differs from character-wise application of Character.toUpperCase(char)
)
String.toUpperCase()
.Hotspot
statements
within.Method
.
String.trim()
.IntermediateFactory.startBranch()
,
so statements added with IntermediateFactory.addStatement(Statement)
are added from there.
ArrayAddAll
statement.
ArrayAssignment
statement.
ArrayCorrupt
statement.
ArrayFromArray
statement.
ArrayNew
statement.
ArrayWriteArray
statement.
ArrayWriteElement
statement.
Call
statement.
Catch
statement.
ExceptionalReturn
statement.
FieldAssignment
statement.
FieldReference
statement.
Hotspot
statement.
MethodHead
statement.
Nop
statement.
ObjectAssignment
statement.
ObjectCorrupt
statement.
Return
statement.
StringAssignment
statement.
StringBufferAppend
statement.
StringBufferAssignment
statement.
StringBufferBinaryOp
statement.
StringBufferCorrupt
statement.
StringBufferInit
statement.
StringBufferPrepend
statement.
StringBufferUnaryOp
statement.
StringConcat
statement.
StringFromArray
statement.
StringFromStringBuffer
statement.
StringInit
statement.
|
||||||
PREV NEXT | FRAMES NO FRAMES |