Package proguard.evaluation

This package contains classes to perform partial evaluation (also known as abstract evaluation, symbolic execution).

See: Description

Interface Summary

Interface	Description
BranchUnit	This interface defines methods to handle branches and returns from methods.
InvocationUnit	This interface sets up the variables for entering a method, and it updates the stack for the invocation of a class member.

Class Summary

Class	Description
BasicBranchUnit	This BranchUnit remembers the branch unit commands that are invoked on it.
BasicInvocationUnit	This InvocationUnit sets up the variables for entering a method, and it updates the stack for the invocation of a class member, using simple values.
ClassConstantValueFactory	This ConstantValueFactory creates java.lang.Class ReferenceValue instances that correspond to specified constant pool entries.
ConstantValueFactory	This class creates Value instances that correspond to specified constant pool entries.
ExecutingInvocationUnit	This ExecutingInvocationUnit reflectively executes the method calls it visits on a given ParticularReferenceValue.
ExecutingInvocationUnit.Builder	Builds an ExecutingInvocationUnit.
InitializationFinder	This AttributeVisitor links 'new' instructions and their corresponding initializers in the CodeAttribute instances that it visits.
LivenessAnalyzer	This AttributeVisitor analyzes the liveness of the variables in the code attributes that it visits, based on partial evaluation.
PartialEvaluator	This AttributeVisitor performs partial evaluation on the code attributes that it visits.
PartialEvaluator.Builder
ParticularReferenceValueFactory	This TypedReferenceValueFactory creates reference values that also represent their content.
Processor	This InstructionVisitor executes the instructions that it visits on a given local variable frame and stack.
ReferenceTracingInvocationUnit	This InvocationUnit tags reference values of retrieved fields, passed method parameters, method return values, and caught exceptions, so they can be traced throughout the execution of a method.
ReferenceTracingValueFactory	This ValueFactory tags newly created reference values so they can be traced throughout the execution of a method.
SimplifiedInvocationUnit	This InvocationUnit sets up the variables for entering a method, and it updates the stack for the invocation of a class member, using simple values.
Stack	This class represents an operand stack that contains Value instances.
TracedStack	This Stack saves additional information with stack elements, to keep track of their origins.
TracedVariables	This Variables saves additional information with variables, to keep track of their origins.
Variables	This class represents a local variable frame that contains Value instances.

Exception Summary

Exception	Description
ExcessiveComplexityException	Represents an exception during partial evaluation when a single instruction would be visited more than PartialEvaluator.stopAnalysisAfterNEvaluations(int) times.
IncompleteClassHierarchyException	Represents an exception during partial evaluation when an incomplete class hierarchy was encountered.

Package proguard.evaluation Description

This package contains classes to perform partial evaluation (also known as abstract evaluation, symbolic execution).