|
||||||
| 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.Statements 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 | |||||