All Classes

Class	Description
AbortOperator	The AbortOperator defines whether the analysis should terminate upon encountering a specific abstract state.
AbstractDomain	The AbstractDomain defines a semilattice over AbstractStates.
AbstractInvokeExpr
AbstractKotlinMetadataConstraint
AbstractMethodStmtNode
AbstractSingleWrapperState	This AbstractWrapperState wraps a single AbstractState and delegates the precision getter to it.
AbstractState	An AbstractState contains information about the program state.
AbstractWaitlist<CollectionT extends java.util.Collection<AbstractState>>	This is a base class for Waitlists parametrized by the carrier CollectionT.
AbstractWrapperState	This AbstractState wraps an arbitrary number of other AbstractStates.
AccessConstants	Access flags for classes, fields, methods, parameters, and modules.
AccessFixer	This ClassVisitor fixes the access modifiers of all classes and class members that are referenced by the classes that it visits.
AccessUtil	Utility methods for working with access flags.
AddMethodInvocationLogging	This sample application illustrates how to modify bytecode with the ProGuardCORE API.
AggTransformer
Algorithm	This interface wraps the main CPA algorithm parametrized by the ReachedSet, the Waitlist, and the AbortOperator.
AllAnnotationVisitor	This AttributeVisitor lets a given AnnotationVisitor visit all Annotation instances of the attributes it visits.
AllAttributeVisitor	This ClassVisitor, MemberVisitor, RecordComponentInfoVisitor and AttributeVisitor lets a given AttributeVisitor visit all Attribute instances of the program classes, program class members, or code attributes, respectively, that it visits.
AllBootstrapMethodArgumentVisitor	This BootstrapMethodInfoVisitor lets a given ConstantVisitor visit all constant pool entries of the bootstrap methods it visits.
AllBootstrapMethodInfoVisitor	This AttributeVisitor lets a given BootstrapMethodInfoVisitor visit all bootstrap method instances of the BootstrapMethodsAttribute instances it visits.
AllClassVisitor	This ClassPoolVisitor lets a given ClassVisitor visit all Clazz instances of the class pools it visits.
AllConstantVisitor	This ClassVisitor lets a given ConstantVisitor visit all constant pool entries of the program classes it visits.
AllConstructorVisitor	This KotlinMetadataVisitor lets a given KotlinConstructorVisitor visit all constructors of visited KotlinMetadata.
AllElementValueVisitor	This AttributeVisitor and AnnotationVisitor lets a given ElementValueVisitor visit all ElementValue instances of the attributes or annotations that it visits.
AllExceptionInfoVisitor	This AttributeVisitor lets a given ExceptionInfoVisitor visit all exceptions instances of the CodeAttribute instances it visits.
AllExportsInfoVisitor	This AttributeVisitor lets a given ExportsInfoVisitor visit all ExportsInfo instances of the ModuleAttribute instances it visits.
AllFieldVisitor	This ClassVisitor lets a given MemberVisitor visit all Field instances of the classes it visits.
AllFunctionVisitor	This KotlinMetadataVisitor lets a given KotlinFunctionVisitor visit all functions of visited KotlinMetadata.
AllInnerClassesInfoVisitor	This AttributeVisitor lets a given InnerClassesInfoVisitor visit all InnerClassesInfo instances of the InnerClassesAttribute instances it visits.
AllInstructionVisitor	This AttributeVisitor lets a given InstructionVisitor visit all Instruction instances of the CodeAttribute instances it visits.
AllKotlinAnnotationArgumentVisitor	This visitor allows a delegate to visit all arguments of a KotlinAnnotation.
AllKotlinAnnotationVisitor
AllLineNumberInfoVisitor	This AttributeVisitor lets a given LineNumberInfoVisitor visit all line numbers of the LineNumberTableAttribute instances it visits.
AllMemberVisitor	This ClassVisitor lets a given MemberVisitor visit all Member instances of the classes it visits.
AllMethodVisitor	This ClassVisitor lets a given MemberVisitor visit all Method instances of the classes it visits.
AllOpensInfoVisitor	This AttributeVisitor lets a given OpensInfoVisitor visit all OpensInfo instances of the ModuleAttribute instances it visits.
AllParameterVisitor	This MemberVisitor lets a given parameter visitor visit all the parameters of the methods that it visits.
AllPropertyVisitor	This KotlinMetadataVisitor lets a given KotlinPropertyVisitor visit all properties (regular and delegated) of visited KotlinDeclarationContainerMetadata.
AllProvidesInfoVisitor	This AttributeVisitor lets a given ProvidesInfoVisitor visit all ProvidesInfo instances of the ModuleAttribute instances it visits.
AllRecordComponentInfoVisitor	This AttributeVisitor lets a given RecordComponentInfoVisitor visit all RecordComponentInfo instances of the RecordAttribute instances it visits.
AllRequiresInfoVisitor	This AttributeVisitor lets a given RequiresInfoVisitor visit all RequiresInfo instances of the ModuleAttribute instances it visits.
AllTypeAliasVisitor
AllTypeParameterVisitor
AllTypeVisitor
AllValueParameterVisitor	This KotlinMetadataVisitor visits all ValueParameters that it finds down the tree of the visit Kotlin Metadata.
AnalyzedObject	A class wrapping values calculated during an analysis.
AnalyzedObjectFactory	Factory methods to create AnalyzedObject.
AnalyzeTaints	This sample application illustrates how to perform taint analysis with the ProGuard API.
AnalyzeValue
AndMatcher	This StringMatcher tests whether strings match both given StringMatcher instances.
AndNotStringFunction	This StringFunction tests whether the first given StringFunction returns null, returning the result of the latter function if so, or null otherwise.
AndroidConstants	Android-related constants.
AndStringFunction	This StringFunction tests whether the first given StringFunction returns not null, returning the result of the latter function if so, or null otherwise.
Annotation	Representation of an annotation.
AnnotationAdder	This AnnotationVisitor adds all annotations that it visits to the given target annotation element value, target annotation attribute, or target parameter annotation attribute.
AnnotationDefaultAttribute	This Attribute represents an annotation default attribute.
AnnotationElementValue	This ElementValue represents an annotation element value.
AnnotationsAttribute	This Attribute represents an annotations attribute.
AnnotationsAttributeEditor	This class can add annotations to a given annotations attribute.
AnnotationToAnnotatedClassVisitor	This AnnotationVisitor delegates all visits to a given ClassVisitor.
AnnotationToAnnotatedMemberVisitor	This AnnotationVisitor delegates all visits to a given MemberVisitor.
AnnotationTypeFilter	This AnnotationVisitor delegates its visits to another given AnnotationVisitor, but only when the visited annotation has a type that matches a given regular expression.
AnnotationVisitor	This interface specifies the methods for a visitor of Annotation instances.
AnyMethodrefConstant	This Constant represents a method reference constant in the constant pool.
ApplyPeepholeOptimizations	This sample application illustrates how to modify bytecode with the ProGuardCORE API.
ArrayElementValue	This ElementValue represents an array element value.
ArrayExpr	Represent an Array expression
ArrayIndexOutOfBounds	Exception thrown when the index to access an array is known to be out of bound for the array.
ArrayInitializationMatcher	This class finds sequences of instructions that correspond to primitive array initializations.
ArrayInitializationReplacer	This ClassVisitor replaces array initialization instructions with optimized primitive array constants.
ArrayModel	A Model to track array values.
ArrayReferenceValue	This ReferenceValue represents a partially evaluated array.
ArrayReferenceValueFactory	This identified value factory creates array reference values that also represent their elements, in as far as possible.
ArrayStoreTypeException
ArrayUtil	This class contains utility methods operating on arrays.
AssertUtil
AssignStmt	Represent an Assign statement
Attribute	This abstract class represents an attribute that is attached to a class, a class member, or a code attribute.
AttributeAdder	This AttributeVisitor adds all attributes that it visits to the given target class, class member, or attribute.
AttributeConstantVisitor	This AttributeVisitor lets a given ConstantVisitor visit all constants of the constant value attributes it visits.
AttributeCounter	This AttributeVisitor counts the number of attributes that have been visited.
AttributeNameFilter	This AttributeVisitor delegates its visits another AttributeVisitor, but only when the visited attribute has a name that that matches a given regular expression.
AttributeProcessingFlagFilter	This AttributeVisitor delegates its visits to another given AttributeVisitor, but only when the visited attribute has the proper processing flags.
AttributesEditor	This class can add and delete attributes to and from classes, fields, methods, and code attributes.
AttributeSorter	This ClassVisitor sorts the attributes of the classes that it visits.
AttributeToClassVisitor	This AttributeVisitor delegates to a given ClassVisitor.
AttributeVisitor	This interface specifies the methods for a visitor of Attribute instances.
BamCache<SignatureT extends Signature>	Generic interface for the BAM cache, where the blocks represent a function identified with a SignatureT.
BamCacheImpl<SignatureT extends Signature>	A simple implementation of BamCache where the cache is implemented as a HashMap.
BamCpa<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	A ConfigurableProgramAnalysis for inter-procedural analysis using block abstraction memoization as described in {@see https://dl.acm.org/doi/pdf/10.1145/3368089.3409718}, which is defined by a domain-dependent CpaWithBamOperators that adds three operators: reduce, expand, and rebuild.
BamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	This abstract wrapper class constructs a CpaWithBamOperators based on the intraprocedural ConfigurableProgramAnalysis, runs it, and returns the ReachedSet.
BamCpaRun.Builder	A builder for BamCpaRun.
BamLocationDependent<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,AbstractStateT extends AbstractState & ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>,SignatureT extends Signature>	If the usage of an AbstractState depends on the specific BAM cache entry it belongs to, it should implement BamLocationDependent to link it to its source reached set.
BamLocationDependentJvmMemoryLocation<AbstractStateT extends AbstractState & ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>>	This class wraps a JvmMemoryLocation adding information on its program location and source reached set.
BamTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	This TransferRelation extends an analysis inter-procedurally.
Base64Util	Utility class for Base64 encoding.
BaseAnalyze<T extends AnalyzeValue>
BaseDexFileReader
BaseSwitchStmt	Parent class of LookupSwitchStmt and TableSwitchStmt
BaseSwitchStmtNode
BasicBranchUnit	This BranchUnit remembers the branch unit commands that are invoked on it.
BasicHierarchyProvider	Basic implementation of HierarchyProvider, walking the class pools every time the sub-classes of a class are needed.
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.
BasicMethodInfo	A minimal implementation of MethodInfo.
BasicRangeValueFactory	This ValueFactory provides methods to create and reuse IntegerValue instances that have known ranges.
BasicValueFactory	This class provides methods to create and reuse Value instances.
BinopExpr	Represent a Binop expression, value = op1 vt op2
BlockAbstraction	A block abstraction is a summary of the analysis of a procedure call, represented by the set of reached abstract states and a waitlist of states that still need to be analyzed.
BootstrapMethodHandleTraveler	This ConstantVisitor and BootstrapMethodInfoVisitor travels from any invoke dynamic constants or bootstrap method info entries that it visits to their bootstrap method handle constants, and applies a given constant visitor.
BootstrapMethodInfo	Representation of a bootstrap method.
BootstrapMethodInfoAdder	This BootstrapMethodInfoVisitor adds all bootstrap methods that it visits to the given target bootstrap methods attribute.
BootstrapMethodInfoVisitor	This interface specifies the methods for a visitor of BootstrapMethodInfo instances.
BootstrapMethodRemapper	This ConstantVisitor remaps all possible indices of bootstrap methods of the constants that it visits, based on a given index map.
BootstrapMethodsAttribute	This Attribute represents a bootstrap methods attribute.
BootstrapMethodsAttributeAdder	This BootstrapMethodInfoVisitor adds all bootstrap methods that it visits to the given target class, creating a bootstrap methods attribute if necessary.
BootstrapMethodsAttributeEditor	This class can add/remove bootstrap methods to/from a given bootstrap methods attribute.
BootstrapMethodsAttributeShrinker	This ClassVisitor removes all unused entries from the bootstrap method attribute.
BottomClassFilter	This ClassVisitor delegates its visits to one of two other given ClassVisitor instances, depending on whether they have any subclasses or not.
BranchInstruction	This interface describes an instruction that branches to a given offset in the code.
BranchTargetFinder	This AttributeVisitor finds all instruction offsets, branch targets, and exception targets in the CodeAttribute instances that it visits.
BranchUnit	This interface defines methods to handle branches and returns from methods.
BreadthFirstWaitlist	This Waitlist pops the first element, i.e., performs a breadth first traversal over the Cfa.
BridgeMethodFixer	This MemberVisitor fixes all inappropriate bridge access flags of the program methods that it visits, checking whether the methods to which they bridge have the same name.
Call	Represents a method call.
CallableReferenceInfo	Information about callable references.
CallableReferenceInfoToOwnerVisitor
CallableReferenceInfoVisitor
CallEdge	This interface must be implemented by edges representing a procedure call.
CallGraph	Collection of all Calls in a program, optimized for retrieval of incoming and outgoing edges for any method in constant time.
CallGraphWalker	Generic utilities to traverse the call graph.
CallHandler	This handler is invoked by the CallResolver whenever new method calls have been resolved in the code.
CallResolver	Collects all method invocations inside the analyzed methods.
CallResolver.Builder
CallUtil	Utility methods for call resolution.
CascadingDataEntryWriter	This DataEntryWriter delegates to a given DataEntryWriter, or failing that, to another given DataEntryWriter.
CastExpr	* @see VT#CAST
CatchTargetInfo	Representation of a 'catch' annotation target.
Category1Value	This abstract class represents a partially evaluated Category 1 value.
Category2Value	This abstract class represents a partially evaluated Category 2 value.
Cfa<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	A Cfa is a control flow automaton with nodes <CfaNodeT> and edges <CfaEdgeT>.
CfaEdge<CfaNodeT extends CfaNode>	An edge for Cfa parametrized by its nodes CfaNodeT.
CfaNode<CfaEdgeT extends CfaEdge,SignatureT extends Signature>	A node for Cfa parametrized by its edges CfaEdgeT.
CfaUtil	This is a util class for creating Cfas.
Cfg	TODO DOC
CFG
Cfg.DfsVisitor
Cfg.FrameVisitor<T>
Cfg.OnAssignCallBack
Cfg.OnUseCallBack
Cfg.TravelCallBack
CircularIntBuffer	A circular buffer over the primitive integer type.
ClassAccessFilter	This ClassVisitor delegates its visits to another given ClassVisitor, but only when the visited class has the proper access flags.
ClassBuilder	This editor allows to build or extend classes (ProgramClass instances).
ClassBuilder.CodeBuilder	This functional interface provides a code attribute composer to its implementation.
ClassCleaner	This ClassVisitor removes all processing information of the classes it visits.
ClassCollector	This ClassVisitor collects the classes that it visits in the given collection.
ClassConstant	This Constant represents a class constant in the constant pool.
ClassConstantClassFilter	This ClassVisitor delegates all visits to another given visitor, but only if the visited class contains the specified class constant.
ClassConstants	Internal names and descriptors of common classes, fields, and methods from the Java runtime.
ClassConstantValueFactory	This ConstantValueFactory creates java.lang.Class ReferenceValue instances that correspond to specified constant pool entries.
ClassCounter	This ClassVisitor counts the number of classes that has been visited.
ClassDataEntryWriter	This DataEntryWriter finds received class entries in the given class pool and writes them out to the given data entry writer.
ClassEditor	This class can add interfaces and class members to a given class.
ClassElementSorter	This ClassVisitor sorts the various elements of the classes that it visits: interfaces, constants, fields, methods, and attributes.
ClassElementValue	This ElementValue represents a class element value.
ClassEstimates	Typical sizes, counts, and lengths for elements in class files.
ClassFeatureNameCollector	This ClassVisitor collects the feature names of the classes that it visits in the given collection.
ClassFilter	This DataEntryReader delegates to one of two other DataEntryReader instances, depending on the extension of the data entry.
ClassHierarchyTraveler	This ClassVisitor lets a given ClassVisitor optionally travel to the visited class, its superclass, its interfaces, and its subclasses.
ClassInitializer	This ClassVisitor initializes the class hierarchy and references of all classes that it visits.
ClassIntegrity	This class checks the assumption: All functions need a JVM signature
ClassMapDataEntryWriter	This DataEntryWriter writes a class mapping to the given data entry, used for debugging of the configuration.
ClassMemberSorter	This ClassVisitor sorts the class members of the classes that it visits.
ClassModel	A Model to track specific Clazz constants.
ClassNameCollector	This ClassVisitor collects the names of the classes that it visits in the given collection.
ClassNameFilter	This ClassVisitor delegates its visits to another given ClassVisitor, but only when the visited class has a name that matches a given regular expression.
ClassNameParser	This StringParser can create StringMatcher instances for regular expressions matching internal class names (or descriptors containing class names).
ClassPath	This class represents a class path, as a list of ClassPathEntry objects.
ClassPathDataEntry	DataEntry implementation which loads an input stream from the classpath of the running VM.
ClassPathEntry	This class represents an entry from a class path: an apk, a jar, an aar, a war, a zip, an ear, or a directory.
ClassPathUtil
ClassPool	This is a set of Clazz instances.
ClassPoolClassLoader	A ClassLoader that can load classes from a ProGuardCORE classpool.
ClassPoolClassVisitor	This ClassPoolVisitor and ClassVisitor remembers the ClassPool instances that it visits and applies the given ClassPoolVisitor to the most recently remembered one, every time it visits a Clazz instance.
ClassPoolFeatureNameFunction	This StringFunction transforms class names to feature names, based on a given class pool.
ClassPoolFiller	This ClassVisitor collects all the classes it visits in a given class pool.
ClassPoolRemover	This ClassVisitor removes all the classes it visits from a given class pool.
ClassPoolVisitor	This interface specifies the methods for a visitor of ClassPool instances.
ClassPresenceFilter	This ClassVisitor delegates its visits to one of two ClassVisitor instances, depending on whether the name of the visited class file is present in a given ClassPool or not.
ClassPrinter	This ClassVisitor prints out the complete internal structure of the classes it visits.
ClassProcessingFlagFilter	This ClassVisitor delegates its visits to another given ClassVisitor, but only when the visited class has the proper processing flags.
ClassProcessingInfoFilter	Delegates all class visits to another given visitor, depending on if the given predicate passes or not.
ClassReader	This DataEntryReader applies a given ClassVisitor to the class definitions that it reads.
ClassReferenceFixer	This ClassVisitor fixes references of constant pool entries, fields, methods, attributes and kotlin metadata to classes whose names have changed.
ClassReferenceFixer.NameGenerationStrategy	This interface provides an abstraction on how a Member should be renamed when its descriptor need to be updated.
ClassReferenceInitializer	This ClassVisitor initializes the references of all classes that it visits.
ClassReferenceInitializer.KotlinTypeAliasReferenceInitializer
ClassRenamer	This ClassVisitor renames the class names and class member names of the classes it visits.
ClassSignature	Represents the signature of a class without any member information.
ClassSubHierarchyInitializer	This ClassPoolVisitor and ClassVisitor fills out the subclasses of all classes (in the class pools) that it visits.
ClassSuperHierarchyInitializer	This ClassVisitor initializes the superclass hierarchy of all classes that it visits.
ClassUtil	Utility methods for: Converting between internal and external representations of names and descriptions Operation on Clazz
ClassVersionFilter	This ClassVisitor delegates its visits to program classes to another given ClassVisitor, but only when the class version number of the visited program class lies in a given range.
ClassVersionSetter	This ClassVisitor sets the version number of the program classes that it visits.
ClassViewModel	This utility class renders Clazz objects into a more human-readable format.
ClassVisitor	This interface specifies the methods for a visitor of Clazz instances.
Clazz	This interface provides access to the fundamental properties of a Java class.
CleanLabel	Clean unused LabelStmt
CodeAttribute	This Attribute represents a code attribute.
CodeAttributeComposer	This AttributeVisitor accumulates instructions, exceptions and line numbers, and then adds them to a method or copies them into code attributes that it visits.
CodeAttributeEditor	This AttributeVisitor accumulates specified changes to code, and then applies these accumulated changes to the code attributes that it visits.
CodeAttributeEditor.Label	This pseudo-instruction represents a label that marks an instruction offset, for use in the context of the code attribute editor only.
CodeAttributeEditorResetter	This AttributeVisitor resets it CodeAttributeEditor whenever it visits a code attribute.
CodeAttributeToMethodVisitor	This AttributeVisitor lets a given MemberVisitor visit all methods whose code attribute is visited.
CodeInjector	This utility class allow for injecting a method invocation instruction optionally with arguments modeled by instances of classes implementing InjectedArgument interface to the specified target method at an offset determined by the implementation of the InjectStrategy interface.
CodeLocation	Represents a unique location in the bytecode.
CodePreverifier	This AttributeVisitor adds preverification information (for Java Micro Edition or for Java 6 or higher) to the code attributes that it visits.
CodeSubroutineInliner	This AttributeVisitor inlines local subroutines (jsr/ret) in the code attributes that it visits.
CollectionMatcher	This matcher tests whether strings match with a String in a given Set.
CollectionParser	This StringParser can create a CollectionMatcher instance for regular expressions.
CompactCodeAttributeComposer	This AttributeVisitor accumulates instructions, exceptions and line numbers, in a compact and fluent style, and then adds them to a method or copies them into code attributes that it visits.
ComparisonValue	This IntegerValue represents the result of a comparisons of two scalar values.
CompositeDoubleValue	This DoubleValue represents the result of a binary operation on two double values.
CompositeFloatValue	This FloatValue represents the result of a binary operation on two float values.
CompositeIntegerValue	This IntegerValue represents the result of a binary operation on two integer values.
CompositeLongValue	This LongValue represents the result of a binary operation on two long values.
ConcatenatingStringFunction	This StringFunction returns the concatenated transformed strings of two given StringFunction instances.
ConcreteCall	A method call whose target Method is contained in our ClassPool.
ConcreteClassDownTraveler	This ClassVisitor lets a given ClassVisitor travel to the first concrete subclasses down in its hierarchy of abstract classes and concrete classes.
ConfigurableProgramAnalysis	ConfigurableProgramAnalysis consists of AbstractDomain, TransferRelation, MergeOperator, StopOperator, and PrecisionAdjustment.
Constant	This abstract class represents an entry in the constant pool of a class.
Constant	Represent a constant, number/string/type
ConstantAdder	This ConstantVisitor adds all constants that it visits to the constant pool of a given target class.
ConstantCounter	This ConstantVisitor counts the number of constants that have been visited.
ConstantElementValue	This ElementValue represents a constant element value.
ConstantInstruction	This Instruction represents an instruction that refers to an entry in the constant pool.
ConstantLookupVisitor	This ConstantVisitor is used for field operations and the instanceOf predicate.
ConstantMatcher	This StringMatcher matches any string or no string at all.
ConstantPoolEditor	This class can add constant pool entries to a given class.
ConstantPoolRemapper	This ClassVisitor remaps all possible references to constant pool entries of the classes that it visits, based on a given index map.
ConstantPoolShrinker	This ClassVisitor removes all unused entries from the constant pool.
ConstantPoolSorter	This ClassVisitor sorts the constant pool entries of the program classes that it visits.
ConstantPrimitive<T extends java.lang.Number>	A model representing a constant value of primitive typed argument to be passed to the method invocation instructions that are injected by CodeInjector.
ConstantProcessingFlagFilter	This ConstantVisitor delegates its visits to another given ConstantVisitor, but only when the visited constant has the proper processing flags.
ConstantString	A model representing a constant string argument to be passed to the method invocation instructions that are injected by CodeInjector.
ConstantStringBuilder	This ConstantVisitor collects the constants that it visits in a readable form, in a given string builder.
ConstantStringFunction	This StringFunction returns a given constant string.
ConstantTagFilter	This ConstantVisitor delegates its visits to one or more specified types of constants.
ConstantValueAttribute	This Attribute represents a constant value attribute.
ConstantValueFactory	This class creates Value instances that correspond to specified constant pool entries.
ConstantViewModel	This utility class renders Constant objects into a more human-readable format.
ConstantVisitor	This interface specifies the methods for a visitor of Constant instances.
ConstructorIntegrity
ConstructorInvocationOffsetFinder	This utility class finds the offset of the invocation to the current or super class constructor after visiting an method.
ConstructorMethodFilter	This MemberVisitor delegates its visits to one of three delegates, depending on whether the visited method is:
ConstStmtNode
ControllableAbortOperator	This AbortOperator allows changing its behavior by setting the boolean field ControllableAbortOperator.abort to the desired output.
ConvertedByteValue	This IntegerValue represents a byte value that is converted from an integer value.
ConvertedCharacterValue	This IntegerValue represents a character value that is converted from an integer value.
ConvertedDoubleValue	This DoubleValue represents a double value that is converted from another scalar value.
ConvertedFloatValue	This FloatValue represents a float value that is converted from another scalar value.
ConvertedIntegerValue	This IntegerValue represents a integer value that is converted from another scalar value.
ConvertedLongValue	This LongValue represents a long value that is converted from another scalar value.
ConvertedShortValue	This IntegerValue represents a short value that is converted from an integer value.
Counter	This provides a counter that can be retrieved.
CounterConditionalClassVisitor	This ClassVisitor delegates to a given class visitor, and then, if the given predicate succeeds with the given Counter before and after values, also to a second given class visitor.
CpaAlgorithm	This is the CPA+ Algorithm.
CpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState>	This abstract wrapper class runs the selected ConfigurableProgramAnalysis and returns the ReachedSet.
CpaWithBamOperators<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	A domain dependent analysis that can be wrapped with a BamCpa to be extended inter-procedurally.
CreateHelloWorldClass	This sample application illustrates how to create a class with the ProGuardCORE API.
CyclomaticComplexity	This sample application illustrates how to use visitors to iterate over specific instructions and exception handlers.
D8BasedDexDataEntryWriter	An dex writer that uses the d8 tool from the Android SDK.
D8ClassConverter	This ClassVisitor converts and collects the classes that it visits, and uses D8 to convert them to the dex format.
D8ClassConverter.D8DexFile
DataEntry	This interface describes a data entry, for exanple a ZIP entry, a file, or a directory.
DataEntryClassInfoFilter	This DataEntryFilter filters data entries based on whether they correspond to classes in a given class pool that have a given processing info.
DataEntryClassWriter	This ClassVisitor writes out the ProgramClass instances that it visits to the given DataEntry, modified to have the correct name.
DataEntryCopier	This DataEntryReader writes the ZIP entries and files that it reads to a given DataEntryWriter.
DataEntryDirectoryFilter	This DataEntryFilter filters data entries based on whether they represent directories.
DataEntryFilter	This interface provides a method to filter data entries.
DataEntryNameFilter	This DataEntryFilter filters data entries based on whether their names match a given StringMatcher.
DataEntryParentFilter	This DataEntryFilter delegates filtering to a DataEntryFilter for its parent.
DataEntryReader	This interface provides methods for reading data entries.
DataEntryReaderFactory	This class can create DataEntryReader instances based on class path entries.
DataEntryRewriter	This DataEntryReader writes the resource data entries that it reads to a given DataEntryWriter, updating their contents based on the renamed classes in the given ClassPool.
DataEntrySource	This interface provides a source for data entries.
DataEntryToken	Represents a character sequence that is part of a DataEntry and that has a certain meaning denoted by its DataEntryTokenType.
DataEntryTokenizer	This class breaks up the character data read from a given Reader into DataEntryTokens.
DataEntryTokenType	Represents the assumed meaning of a DataEntryToken.
DataEntryWriter	This interface provides methods for writing data entries, such as ZIP entries or files.
DataEntryWriterFactory	This class can create DataEntryWriter instances based on class paths.
DebugAttributeVisitor	This AttributeVisitor delegates to a given AttributeVisitor, timing the invocations and printing out warnings when the timings exceed a given threshold.
DebugPrinter
DebugStackTop	Example showing how to use an InstructionSequenceReplacer to add logging before a method call which prints the value on the top of the stack i.e.
DebugStackTopExample	Example for DebugStackTop.
DeclarationContainerIntegrity
DefaultReachedSet	This is a LinkedHashSet-based implementation of the ReachedSet.
DelegateAbstractDomain<LatticeAbstractStateT extends LatticeAbstractState>	This delegator passes all the AbstractDomain operators to the LatticeAbstractState.
DeprecatedAttribute	This Attribute represents a deprecated attribute.
DepthFirstWaitlist	This Waitlist pops the last element, i.e., performs a depth first traversal over the Cfa.
DescriptorClassEnumeration	A DescriptorClassEnumeration provides an enumeration of all classes mentioned in a given descriptor or signature.
DetailedArrayReferenceValue	This IdentifiedArrayReferenceValue represents an identified array reference value with its elements.
DetailedArrayValueFactory	This identified value factory creates array reference values that also represent their elements, in as far as possible.
Dex2IRConverter
Dex2Pro	This utility class converts Dex2jar dex files to ProGuard class files.
DexAnnotationAble	用于访问注解
DexAnnotationNode
DexAnnotationNode.Item
DexAnnotationVisitor	A visitor to visit a Java annotation.
DexClassNode
DexClassReader	This data entry reader reads dex files, converts their classes, and passes them to a given class visitor.
DexClassVisitor
DexCodeNode
DexCodeVisitor
DexConstants	constants in dex file
DexContainerReader	Open and read a dex container, introduced in dex format v41.
DexDataEntryWriter	This DataEntryWriter finds received class entries in the given class pool, collects them in a dex file, and writes it out to the given data entry writer.
DexDataEntryWriterFactory	This class can create DataEntryWriter instances for writing dex files.
DexDebugNode
DexDebugNode.DexDebugOpNode
DexDebugNode.DexDebugOpNode.EndLocal
DexDebugNode.DexDebugOpNode.Epiogue
DexDebugNode.DexDebugOpNode.LineNumber
DexDebugNode.DexDebugOpNode.Prologue
DexDebugNode.DexDebugOpNode.RestartLocal
DexDebugNode.DexDebugOpNode.StartLocalNode
DexDebugVisitor
DexException
DexFieldNode
DexFieldVisitor
DexFileNode
DexFileReader	Open and read a dex file.this is the entrance of dex-reader.
DexFileVisitor
DexFix	1.
DexLabel	a light weight version of org.objectweb.asm.Label
DexLabelStmtNode
DexMethodNode
DexMethodVisitor
DexReaderFactory
DexStmtNode
DexType	a light weight version of org.objectweb.asm.Type
DifferentialMap<K,V>	A differential representation of maps.
DifferentialMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This DifferentialMapAbstractState represents a map to LatticeAbstractStates with the semilattice operators lifted to the map.
DifferentialMapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>	This interface contains a method creating a fresh instance of DifferentialMapAbstractState.
DirectoryFilter	This DataEntryReader delegates to one of two other DataEntryReader instances, depending on whether the data entry represents a directory or not.
DirectorySource	This DataEntrySource can read a given file or directory, recursively, passing its files as DataEntry instances to DataEntryReader instances.
DirectoryWriter	This DataEntryWriter writes data entries to individual files in a given directory.
DominatorCalculator	Calculate the dominator tree of any method, making it possible to determine which instructions are guaranteed to be executed before others.
DotClassClassVisitor	This InstructionVisitor lets a given ClassVisitor visit all classes involved in any .class constructs that it visits.
DoubleConstant	This Constant represents a double constant in the constant pool.
DoubleType	This VerificationType represents a Double type.
DoubleValue	Representation of a partially evaluated double value.
DummyDataEntry	This DataEntry represents a named output entry that doesn't return an input stream.
DvmFrame<V>
DvmInterpreter<V>
DynamicClassReferenceInitializer	This InstructionVisitor initializes any constant Class.forName or .class references of all classes it visits.
DynamicConstant	This Constant represents a dynamic constant in the constant pool.
DynamicMemberReferenceInitializer	This AttributeVisitor initializes any constant class member references of all code that it visits.
DynamicReturnedClassVisitor	This ConstantVisitor lets a given ClassVisitor visit all the referenced classes that are returned by the dynamic constants and invoke dynamic constants that it visits.
EditClass	Example showing how to use the PeepholeEditor with a BranchTargetFinder and a CodeAttributeEditor to add code before and after branches.
ElementValue	This abstract class represents an element value that is attached to an annotation or an annotation default.
ElementValueAdder	This ElementValueVisitor adds all element values that it visits to the given target annotation default attribute, annotation, or element value.
ElementValuesEditor	This class can add and delete element values to and from a given target annotation default attribute, annotation, or array element value.
ElementValueVisitor	This interface specifies the methods for a visitor of ElementValue instances.
EmptyCodeAttributeException
EmptyStringMatcher	This StringMatcher tests whether strings are empty.
EmptyTargetInfo	Representation of an empty annotation target.
EnclosingMethodAttribute	This Attribute represents an enclosing method attribute.
EnumConstantElementValue	This ElementValue represents an enumeration constant element value.
EnumFieldReferenceInitializer	This ElementValueVisitor initializes the field references of the EnumConstantElementValue instances that it visits.
ErrorId	Class holding all the error ids for exceptions occurring in the program.
ET	The number of argument
EvaluateCode	This sample application illustrates how to evaluate the bytecode of a method to get information about its control flow and data flow.
ExampleUtil	Utility methods used by examples.
ExceptClassConstantFilter	This ConstantVisitor delegates its visits to class constants to another given ConstantVisitor, except for one given class.
ExceptClassesFilter	This ClassVisitor delegates its visits to another given ClassVisitor, except for classes are in a given list.
ExceptClassFilter	This ClassVisitor delegates its visits to another given ClassVisitor, except for one given class.
ExceptionAdder	This ConstantVisitor adds all class constants that it visits to the given target exceptions attribute.
ExceptionCounter	This ExceptionInfoVisitor counts the number of exceptions that has been visited.
ExceptionExcludedOffsetFilter	This ExceptionInfoVisitor delegates its visits to another given ExceptionInfoVisitor, but only when the visited exception does not cover the instruction at the given offset.
ExceptionHandlerConstantVisitor	This ExceptionInfoVisitor lets a given ConstantVisitor visit all catch class constants of exceptions that it visits.
ExceptionHandlerFilter	This ExceptionInfoVisitor delegates its visits to another given ExceptionInfoVisitor, but only when the visited exception targets an instruction in the given range of offsets.
ExceptionHandlerTrim	Trim Exception handler.
ExceptionInfo	Representation of an exception table entry.
ExceptionInfoAdder	This ExceptionInfoVisitor adds all exception information that it visits to the given target code attribute.
ExceptionInfoEditor	This class can add exceptions to the exception table of a given code attribute.
ExceptionInfoVisitor	This interface specifies the methods for a visitor of ExceptionInfo instances.
ExceptionOffsetFilter	This ExceptionInfoVisitor delegates its visits to another given ExceptionInfoVisitor, but only when the visited exception covers the instruction at the given offset.
ExceptionRangeFilter	This ExceptionInfoVisitor delegates its visits to another given ExceptionInfoVisitor, but only when the visited exception overlaps with the given instruction range.
ExceptionsAttribute	This Attribute represents an exceptions attribute.
ExceptionsAttributeEditor	This class can add exceptions to a given exceptions attribute.
ExcessiveComplexityException	Represents an exception during partial evaluation when a single instruction would be visited more than PartialEvaluator.stopAnalysisAfterNEvaluations(int) times.
ExecutingInvocationUnit	This InvocationUnit is capable of executing the invoked methods with particular values as parameters.
ExecutingInvocationUnit.Builder	Builds an ExecutingInvocationUnit.
Executor	This abstract class specifies a modular component which can be added to a ExecutingInvocationUnit in order to extend its capabilities.
Executor.Builder<T extends Executor>	A builder for the executor.
ExecutorInstanceHandler	This interface provides a method for deciding whether a certain method call returns the calling instance.
ExecutorMethodInstanceHandler	This ExecutorInstanceHandler decides whether a method always returns its calling instance based on a mapping of class names to a StringMatcher for method names.
ExpandOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	This operator is used to recover the information discarded when entering a procedure block depending on the domain-specific analysis.
ExportsInfo	Representation of an Exports entry in a Module attribute.
ExportsInfoVisitor	This interface specifies the methods for a visitor of ExportsInfo instances.
Exprs
ExtendedLineNumberInfo	This line number table entry contains additional information about its source.
ExtensionMatcher	This StringMatcher tests whether strings end in a given extension, ignoring its case.
ExternalTypeEnumeration	An ExternalTypeEnumeration provides an enumeration of all types listed in a given external descriptor string.
FeatureNamed	Base interface for entities that are part of a feature, as indicated by a feature name.
Field	Representation of a field in a class.
Field	represent a field_id_item in dex file format
FieldExpr	Represent a non-static Field expression.
FieldrefConstant	This Constant represents a field reference constant in the constant pool.
FieldSignature	Represents a field signature consisting of class and member name.
FieldStmtNode
FieldViewModel	This utility class renders Field objects into a more human-readable format.
FileDataEntry	This DataEntry represents a file.
FileFacadeIntegrity
FileLocation	Represents a unique location in a file, e.g.
FileNameParser	This StringParser can create StringMatcher instances for regular expressions matching file names.
FilePool	Interface with methods related to file pools.
FilePoolNameFunction	This StringFunction maps resource file names on their (obfuscated) resource file name, as present on the ResourceFile object in the given resource file pool.
FileSource	This DataEntrySource wraps a single given file or DataEntry.
FillArrayDataStmtNode
FilledArrayExpr	Represent a FILLED_ARRAY expression.
FilledNewArrayStmtNode
FilteredClassVisitor	This ClassPoolVisitor lets a given ClassVisitor visit all matching Clazz instances of the class pools it visits.
FilteredDataEntryReader	This DataEntryReader delegates to one of two other DataEntryReader instances, depending on whether the data entry passes through a given data entry filter or not.
FilteredDataEntryWriter	This DataEntryWriter delegates to one of two other DataEntryWriter instances, depending on whether the data entry passes through a given data entry filter or not.
FilteredStringFunction	This StringFunction delegates a given String to one of two other StringFunction instances, depending on whether it matches the given filter.
FindBranches	This sample application illustrates how to find branches in the code and print out some results.
Finisher	This interface specifies a listener that is called to finish an output stream before it is closed.
FirstBlock	An implementation of the InjectStrategy interface to find the earliest location suitable for injecting method invocation instructions.
FixedFileWriter	This DataEntryWriter writes data entries to a single given file.
FixedStringMatcher	This StringMatcher tests whether strings start with a given fixed string and then match another optional given StringMatcher.
FloatConstant	This Constant represents a float constant in the constant pool.
FloatType	This VerificationType represents a Float type.
FloatValue	Representation of a partially evaluated float value.
FormalParameterTargetInfo	Representation of a formal parameter annotation target.
FullFrame	This StackMapFrame represents a "full frame".
FunctionalInterfaceFilter	This ClassVisitor delegates its visits to another given ClassVisitor, but only for functional interfaces, that is, interface classes that have exactly one abstract method.
FunctionIntegrity	This class checks the assumption: All functions need a JVM signature
FunctionReferenceInfo	FunctionReference info.
GotoStmt	Represent a GOTO statement
HashMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This HashMapAbstractState represents a map to LatticeAbstractStates with the semilattice operators lifted to the map.
HashMapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>	This interface contains a method creating a fresh instance of HashMapAbstractState.
HeapModel	An enumeration of supported heap models.
HierarchyProvider	And interface to be implemented by classes that are able to provide information on the hierarchy of classes.
IdentifiedArrayReferenceValue	This ArrayReferenceValue represents an array reference value that is identified by a unique ID.
IdentifiedDoubleValue	This DoubleValue represents a double value that is identified by a unique ID.
IdentifiedFloatValue	This FloatValue represents a float value that is identified by a unique ID.
IdentifiedIntegerValue	This IntegerValue represents a integer value that is identified by a unique ID.
IdentifiedLongValue	This LongValue represents a long value that is identified by a unique ID.
IdentifiedReferenceValue	This ReferenceValue represents a reference value that is identified by a unique ID.
IdentifiedValueFactory	This class provides methods to create and reuse Value instances that are identified by unique integer IDs.
IdentityStringFunction	This StringFunction returns unchanged String instances.
IdleRewriter	This DataEntryReader reads data entries and requests their corresponding output streams from a given DataEntryWriter, without actually using the output stream.
IfStmt	Represent a IF statement
ImplementedClassConstantFilter	This ConstantVisitor delegates its visits to class constants to another given ConstantVisitor, except for classes that extend or implement a given class.
ImplementedClassFilter	This ClassVisitor delegates its visits to one of two given ClassVisitors, depending on whether the visited classes extend/implement a given class or not.
ImplementingClassConstantFilter	This ConstantVisitor delegates its visits to class constants to another given ConstantVisitor, except for classes that are extended or implemented by a given class.
IncompleteClassHierarchyException	Represents an exception during partial evaluation when an incomplete class hierarchy was encountered.
IncompleteClassHierarchyException	Deprecated.
InitializationFinder	This AttributeVisitor links 'new' instructions and their corresponding initializers in the CodeAttribute instances that it visits.
InitializationUtil	This utility class provides a method to initialize the cached cross-references classes.
InitializedClassUtil	Utility methods for operation on Clazz that require initialization of the ClassPools to work (i.e., ClassReferenceInitializer, ClassSubHierarchyInitializer, and ClassSuperHierarchyInitializer should have run on the class pools).
InitializerEditor	This editor allows to build and/or edit classes (ProgramClass instances).
InitializerEditor.CodeBuilder	This functional interface provides an instruction sequence builder to its caller.
InitializerMethodFilter	This MemberVisitor delegates its visits to one of two other given MemberVisitor instances, depending on whether the visited method is a static initializer or instance initializer, or not.
InitialValueFactory	This value factory creates initial values for fields and array elements, with the help of a given value factory.
InjectedArgument	This interface defines api for modeling arguments to be passed to the method invocation instructions that are injected by CodeInjector.
InjectStrategy	This interface defines methods for determining code attribute offsets suitable for injecting a method invocation.
InjectStrategy.InjectLocation	A data structure indicating a suitable location for injecting a method invocation instruction.
InnerClassesAccessFixer	This InnerClassesInfoVisitor fixes the inner class access flags of the inner classes information that it visits.
InnerClassesAttribute	This Attribute represents an inner classes attribute.
InnerClassesAttributeEditor	This class can add/remove bootstrap methods to/from a given inner classes attribute.
InnerClassesInfo	Representation of an inner classes table entry.
InnerClassesInfoVisitor	This interface specifies the methods for a visitor of InnerClassesInfo instances.
InputStreams
Instruction	Base class for representing instructions.
InstructionAdder	This InstructionVisitor adds all instructions that it visits to the given target code attribute.
InstructionClassifier	Util for operations involving Instruction.
InstructionConstantVisitor	This InstructionVisitor lets a given ConstantVisitor visit all constants of the instructions it visits.
InstructionCounter	This InstructionVisitor counts the number of instructions that has been visited.
InstructionExceptionFormatter	This class is used to format an exception with the previous instructions.
InstructionFactory	This class provides methods to create and reuse Instruction instances.
InstructionFormat
InstructionIndexType
InstructionOffsetValue	Representation of a partially evaluated instruction offset.
InstructionOpCodeFilter	This InstructionVisitor delegates its visits to one of two InstructionVisitors, based on whether the opcode of the visited instruction matches the list of passed opcodes.
InstructionSequenceBuilder	This utility class allows to construct sequences of instructions and their constants.
InstructionSequenceMatcher	This InstructionVisitor checks whether a given pattern instruction sequence occurs in the instructions that are visited.
InstructionSequenceReplacer	This InstructionVisitor replaces a given pattern instruction sequence by another given replacement instruction sequence.
InstructionSequenceReplacer.Label	This pseudo-instruction represents a label that marks an instruction offset, for use in the context of the sequence replacer only.
InstructionSequencesReplacer	This InstructionVisitor replaces multiple instruction sequences at once.
InstructionToAttributeVisitor	This InstructionVisitor delegates to a given AttributeVisitor.
InstructionUtil	Utility methods for converting between representations of names and descriptions.
InstructionVisitor	This interface specifies the methods for a visitor of Instruction instances.
InstructionWriter	This InstructionVisitor writes out the instructions that it visits, collecting instructions that have to be widened.
IntegerConstant	This Constant represents a integer constant in the constant pool.
IntegerType	This VerificationType represents an Integer type.
IntegerValue	Representation of a partially evaluated integer value.
InterfaceAdder	This ConstantVisitor adds all interfaces that it visits to the given target class.
InterfaceDeleter	This ClassVisitor removes specified interfaces from the classes and class signatures that it visits.
InterfaceMethodrefConstant	This Constant represents a interface method reference constant in the constant pool.
InterfacesEditor	This class can add and delete interfaces to and from classes.
InterfaceSorter	This ClassVisitor sorts the interfaces of the program classes that it visits.
InternalTypeEnumeration	An InternalTypeEnumeration provides an enumeration of all types listed in a given internal descriptor or signature of a class, a method, or a field.
InternalTypeIterable	This class wraps InternalTypeEnumeration to provide an Iterable interface for use with enhanced for loops.
InvalidClassReferenceVisitor	A visitor that is visited for invalid class references.
InvalidMemberReferenceVisitor	A visitor for invalid member references.
InvalidReferenceVisitor	A visitor for invalid references.
InvocationUnit	This interface sets up the variables for entering a method, and it updates the stack for the invocation of a class member.
InvokeCustomExpr
InvokeDynamicConstant	This Constant represents an invoke dynamic constant in the constant pool.
InvokeExpr	Represent a method invocation expression.
InvokeNewExpr	Represents an IR instructor equivalent to Java bytecode: `new X, invoke-special X.`
InvokePolymorphicExpr
IOUtil	This utility class provides methods to read the classes in jar, zips, aars into a ClassPool and write a ClassPool to a jar.
Ir2JRegAssignTransformer	Share same reg between locals with same type.
Ir2JRegAssignTransformer.Reg
IR2ProConverter	This utility class converts code in Dex2jar's intermediate representation to ProGuard code.
IrMethod
JarReader	This DataEntryReader lets a given DataEntryReader read all data entries of the read archive data entries.
JarUtil	This utility class provides methods to read and write the classes in jars.
JarWriter	This DataEntryWriter sends data entries to another given data entry writer, automatically adding a manifest file.
JarWriter.MyMultiDigestOutputStream	This FilterOutputStream automatically appends a file digest entry to a given manifest writer, when the stream is closed.
JavaAccessConstants	Access modifiers for classes, fields, methods, parameters, and modules in Java source code.
JavaConstants	External names and descriptors of common classes, fields, and methods from the Java runtime.
JavaFieldReferenceInfo
JavaMethodReferenceInfo
JavaReferenceInfo
JavaReflectionApiExecutor	This Executor provides an implementation for Executor.getMethodResult(proguard.evaluation.executor.MethodExecutionInfo, proguard.evaluation.ValueCalculator) which resolves a number of simple Class and ClassLoader API methods.
JavaReflectionApiExecutor.Builder	Builder for JavaReflectionApiExecutor.
JavaTypeConstants	Constant characters that are part of primitive and non-primitive type descriptors in Java source code.
JavaVersionConstants	Known external version numbers of class files.
JsonPrinter	Tracks the state of the partial evaluator able to provide debug information in JSON format.
JumpStmt
JumpStmtNode
JvmAbstractState<StateT extends LatticeAbstractState<StateT>>	The JvmAbstractState consists of the method frame JvmFrameAbstractState and the heap JvmHeapAbstractState.
JvmAbstractStateFactory<StateT extends LatticeAbstractState<StateT>>	This interface contains a method creating a fresh instance of JvmAbstractState.
JvmAssumeCaseCfaEdge	An edge representing an assumption that a case of a switch statement is taken.
JvmAssumeCfaEdge	An edge representing an assumption on a JVM branch instruction that can be either taken or not taken.
JvmAssumeDefaultCfaEdge	An edge representing an assumption that the default case of a switch statement is taken.
JvmAssumeExceptionCfaEdge	An edge representing an assumption on a JVM exception of a specific type that can be either caught or not caught.
JvmBamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends LatticeAbstractState<AbstractStateT>,OuterAbstractStateT extends AbstractState>	A JVM instance of BamCpaRun uses a reached set optimized for program location-dependent analysis.
JvmBamCpaRun.Builder	A builder for JvmBamCpaRun.
JvmCallCfaEdge	A JvmCfaEdge representing a call to another method, linking to the first node of the called method.
JvmCatchCfaNode	A JvmCfaNode representing the beginning of a catch or finally block.
JvmCfa	A JVM specific implementation of Cfa.
JvmCfaEdge	Default implementation of CfaEdge for JVM instructions.
JvmCfaNode	A node representing a code location of a JVM method identified by a MethodSignature and an offset.
JvmCfaReferenceValueFactory	This ParticularReferenceValueFactory creates IdentifiedReferenceValue and ParticularReferenceValues using the creation site as the unique identifier.
JvmDefaultExpandOperator<StateT extends LatticeAbstractState<StateT>>	This ExpandOperator simulates the JVM behavior on a method exit.
JvmDefaultReduceOperator<StateT extends LatticeAbstractState<StateT>>	This ReduceOperator simulates the JVM behavior on a method call.
JvmForgetfulHeapAbstractState<StateT extends LatticeAbstractState<StateT>>	This is a forgetful stub heap implementation.
JvmFrameAbstractState<StateT extends LatticeAbstractState<StateT>>	The JvmFrameAbstractState combines the operand stack as the StackAbstractState and the local variable array as the ListAbstractState.
JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>	The JvmHeapAbstractState provides the interfaces for heap operations over objects and arrays.
JvmHeapLocation	The JvmHeapLocation is a memory location corresponding to a dynamic memory entity.
JvmInstructionCfaEdge	A JvmCfaEdge the operation of which is defined by an instruction.
JvmIntraproceduralCfaFillerAllInstructionVisitor	This AttributeVisitor visits the CodeAttribute of a Method and performs two different tasks:
JvmInvokeTaintSink	A JvmTaintSink on a method invocation.
JvmInvokeTaintSink.Builder	Builder for JvmInvokeTaintSink.
JvmLocalVariableLocation	The JvmLocalVariableLocation is a memory location at the local variable array.
JvmMemoryLocation	A JvmMemoryLocation points at a specific location in a certain state of the Jvm.
JvmMemoryLocationAbstractState<AbstractStateT extends AbstractState & ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>>	This AbstractState consists of a BamLocationDependentJvmMemoryLocation with a set of sources contributed into its value and the call stack that generated it.
JvmMemoryLocationAbstractState.StackEntry	An entry of the call stack of the state.
JvmMemoryLocationBamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends LatticeAbstractState<AbstractStateT>>	This abstract analyzer runs the JvmMemoryLocationCpa and returns the ReachedSet.
JvmMemoryLocationCpa<AbstractStateT extends LatticeAbstractState<AbstractStateT>>	The JvmMemoryLocationCpa backtraces memory locations.
JvmMemoryLocationMergeJoinOperator	This MergeOperator applies the join operator to its arguments sharing the same memory location.
JvmMemoryLocationTransferRelation<AbstractStateT extends LatticeAbstractState<AbstractStateT>>	The JvmMemoryLocationTransferRelation computes the backward successors of an JvmMemoryLocationAbstractState for a given instruction.
JvmReferenceAbstractState	A JvmAbstractState for the reference CPA.
JvmReferenceExpandOperator	This expand operator behaves the same as the JvmDefaultExpandOperator but operates on JvmReferenceAbstractStates.
JvmReferenceReduceOperator	This reduce operator behaves the same as the JvmDefaultReduceOperator but operates on JvmReferenceAbstractStates.
JvmReferenceTransferRelation	This JvmTransferRelation propagates reference values, destroys references upon arithmetic operations, and creates fresh references for return values of intraprocedurally analyzed calls.
JvmReturnTaintSink	A JvmTaintSink triggered if the return value of the specified method is tainted.
JvmShallowHeapAbstractState<ReferenceT,StateT extends LatticeAbstractState<StateT>>	A shallow heap models objects as atomic abstract states thus having only one level of depth.
JvmStackLocation	The JvmStackLocation is a memory location at the operand stack.
JvmStaticFieldLocation	The JvmStaticFieldLocation is a memory location corresponding to a public static field.
JvmTaintAbstractState	The JvmTaintAbstractState is a JvmAbstractState with features specific to taint analysis.
JvmTaintBamCpaRun<OuterAbstractStateT extends AbstractState>	This run wraps the execution of BAM JvmTaintCpa.
JvmTaintBamCpaRun.Builder	A builder for JvmTaintBamCpaRun.
JvmTaintCpa	The JvmTaintCpa computes abstract states containing JvmTaintSources which can reach the given code location.
JvmTaintExpandOperator	This ExpandOperator inherits all the functionalities of a JvmDefaultExpandOperator and in addition taints the return values if the called function is a source.
JvmTaintMemoryLocationBamCpaRun	This run wraps the execution of BAM JvmMemoryLocationCpa.
JvmTaintMemoryLocationBamCpaRun.Builder	A builder for JvmTaintMemoryLocationBamCpaRun.
JvmTaintReduceOperator	This ReduceOperator inherits all the functionalities of a JvmDefaultReduceOperator and adjusts the return type to be the JvmTaintAbstractState.
JvmTaintSink	The JvmTaintSink adds an interface for extracting sensitive JVM memory locations and to check if the sink matches a given cfa edge.
JvmTaintSource	A JvmTaintSource specifies a method which can taint any (subset) of the following: the instance, the return value, the argument objects, or static fields.
JvmTaintTransferRelation	The JvmTaintTransferRelation is parametrized by a set of TaintSource methods.
JvmTaintTransformer	Class that can be passed to JvmTaintTransferRelation to specify how a specific method call should be treated.
JvmTransferRelation<StateT extends LatticeAbstractState<StateT>>	The JvmTransferRelation computes the successors of an JvmAbstractState for a given instruction.
JvmUnknownCfaNode	A unique node for an entire CFA representing an unknown code location.
JvmValueAbstractState
JvmValueBamCpaRun	This run wraps the execution of BAM JVM Value Analysis CPA (see JvmValueAbstractState).
JvmValueBamCpaRun.Builder
JvmValueBamCpaRun.TransferRelationFactory
JvmValueExpandOperator	A JvmDefaultExpandOperator that creates JvmValueAbstractStates.
JvmValueReduceOperator	A JvmDefaultReduceOperator that creates JvmValueAbstractStates.
JvmValueTransferRelation	A JvmTransferRelation that tracks values.
KmAnnotationIntegrity	This class checks the assumption: All properties need a JVM signature for their getter
KotlinAnnotatable	Represents a Kotlin metadata entity that can contain annotations:
KotlinAnnotation
KotlinAnnotationArgument	Represents an argument of a KotlinAnnotation e.g.
KotlinAnnotationArgument.AnnotationValue
KotlinAnnotationArgument.ArrayValue
KotlinAnnotationArgument.BooleanValue
KotlinAnnotationArgument.ByteValue
KotlinAnnotationArgument.CharValue
KotlinAnnotationArgument.ClassValue
KotlinAnnotationArgument.DoubleValue
KotlinAnnotationArgument.EnumValue
KotlinAnnotationArgument.FloatValue
KotlinAnnotationArgument.IntValue
KotlinAnnotationArgument.LiteralValue<T>
KotlinAnnotationArgument.LongValue
KotlinAnnotationArgument.ShortValue
KotlinAnnotationArgument.StringValue
KotlinAnnotationArgument.UByteValue
KotlinAnnotationArgument.UIntValue
KotlinAnnotationArgument.ULongValue
KotlinAnnotationArgument.UShortValue
KotlinAnnotationArgument.Value
KotlinAnnotationArgumentFilter	Delegates to another KotlinAnnotationArgumentVisitor based on the result of the given Predicate.
KotlinAnnotationArgumentVisitor	Visitor interface for Kotlin annotation arguments.
KotlinAnnotationFilter	Delegates to a given KotlinAnnotationVisitor if the predicate succeeds.
KotlinAnnotationVisitor
KotlinAsserterConstraint	Implementations of this class represent a conceptual constraint on KotlinMetadata.
KotlinCallableReferenceInitializer	Initialize callable reference class information, by visiting synthetic classes that implement (Function|Property|LocalVariable)Reference, then finding Function/Property that they refer to and use this information to initialize a CallableReferenceInfo inside the synthetic class.
KotlinCallableReferenceInitializer.LocalVariableReferenceInfoInitializer
KotlinCallableReferenceInitializer.OptimizedCallableReferenceFilter
KotlinClassFilter	Delegates to the given ClassVisitor if the class has the kotlin.Metadata annotation.
KotlinClassFlags	Flags for Kotlin classes.
KotlinClassKindFilter	Delegate to another KotlinMetadataVisitor if the predicate returns true, or if there's no predicate.
KotlinClassKindMetadata
KotlinClassToAnonymousObjectOriginClassVisitor	This KotlinMetadataVisitor travels to the anonymous object origin class and delegates to the given KotlinMetadataVisitor.
KotlinClassToDefaultImplsClassVisitor
KotlinClassToInlineOriginFunctionVisitor	This KotlinMetadataVisitor travels to the function of the provided anonymous object origin and delegates to the given KotlinFunctionVisitor.
KotlinClassVisitor	A KotlinMetadataVisitor that visits KotlinClassKindMetadata.
KotlinCommonFlags	Common flags.
KotlinConstants
KotlinConstants.MODULE
KotlinConstants.REFLECTION
KotlinConstructorFilter
KotlinConstructorFlags	Flags for Kotlin constructors.
KotlinConstructorMetadata
KotlinConstructorVisitor
KotlinContractMetadata
KotlinContractVisitor
KotlinDeclarationContainerFilter	Filter KotlinDeclarationContainers, based on the given predicate.
KotlinDeclarationContainerMetadata	This class is named after Kotlin's own naming scheme.
KotlinEffectExpressionFlags	Flags for Kotlin types.
KotlinEffectExpressionMetadata
KotlinEffectExprVisitor
KotlinEffectMetadata
KotlinEffectVisitor
KotlinFileFacadeKindMetadata
KotlinFileFacadeVisitor	A KotlinMetadataVisitor that visits KotlinFileFacadeKindMetadata.
KotlinFlags	KotlinFlags represent a collection of flags in the metadata.
KotlinFunctionFilter	Delegate to another KotlinFunctionVisitor if the predicate returns true.
KotlinFunctionFlags	Flags for Kotlin functions.
KotlinFunctionMetadata
KotlinFunctionToDefaultMethodVisitor	This class applies the given member visitor to the referenced default method of a Kotlin function.
KotlinFunctionToMethodVisitor	This class applies the given member visitor to the referenced method of a Kotlin function.
KotlinFunctionVisitor
KotlinMetadata	This abstract class represents metadata that is attached to a Kotlin class, parsed from its @Metadata tag.
KotlinMetadataAsserter	Performs a series of checks to see whether the kotlin metadata is intact.
KotlinMetadataFilter	This KotlinMetadataVisitor delegates its visits to one of two given visitors, depending on whether the given predicate succeeds.
KotlinMetadataInitializer	Initializes the kotlin metadata for a Kotlin class.
KotlinMetadataPrinter
KotlinMetadataRemover
KotlinMetadataToClazzVisitor
KotlinMetadataToModuleVisitor
KotlinMetadataType	The different fields of the Kotlin metadata annotation.
KotlinMetadataVersion	Small container for KotlinMetadataVersion metadata (mv).
KotlinMetadataVersionFilter	Tests a predicate on the classes' KotlinMetadataVersion and delegates to different ClassVisitors based on the result.
KotlinMetadataVisitor
KotlinMetadataWriter	This class visitor writes the information stored in a Clazz's kotlinMetadata field to a @kotlin/Metadata annotation on the class.
KotlinModalityFlags
KotlinModule	Represents a Kotlin module file - this file describes the contents of a Kotlin module: which file facades and which multi-file part classes make up the module.
KotlinModuleDataEntryReader	Read a Kotlin module file and apply the given ResourceFileVisitor.
KotlinModuleDataEntryWriter	Write a KotlinModule from a ResourceFilePool to the supplied DataEntryWriter.
KotlinModuleIntegrity
KotlinModulePackage
KotlinModulePackageVisitor
KotlinModulePrinter	Print Kotlin modules.
KotlinModuleReader	Read an input stream into a KotlinModule object.
KotlinModuleReferenceInitializer	Initialize the Kotlin module references.
KotlinModuleVisitor	A visitor for KotlinModule.
KotlinModuleWriter
KotlinMultiFileFacadeKindMetadata
KotlinMultiFileFacadeVisitor	A KotlinMetadataVisitor that visits KotlinMultiFileFacadeKindMetadata.
KotlinMultiFilePartKindFilter	Delegate to another KotlinMetadataVisitor if the predicate returns true.
KotlinMultiFilePartKindMetadata
KotlinMultiFilePartVisitor	A KotlinMetadataVisitor that visits KotlinMultiFilePartKindMetadata.
KotlinNameUtil	Kotlin utility methods to help with Kotlin naming conventions.
KotlinPropertyAccessorFlags	Flags for Kotlin property accessors (getters/setters for properties).
KotlinPropertyFilter	Delegate to another KotlinPropertyVisitor if the predicate returns true.
KotlinPropertyFlags	Flags for Kotlin properties.
KotlinPropertyMetadata
KotlinPropertyVisitor
KotlinStringUtil	Kotlin String utility methods.
KotlinSyntheticClassKindFilter	Delegate to another KotlinMetadataVisitor if the predicate returns true.
KotlinSyntheticClassKindMetadata
KotlinSyntheticClassKindMetadata.Flavor
KotlinSyntheticClassVisitor	A KotlinMetadataVisitor that visits KotlinSyntheticClassKindMetadata.
KotlinTypeAliasFilter	Delegates to another KotlinTypeAliasVisitor if the predicate succeeds; otherwise to the rejected visitor.
KotlinTypeAliasFlags
KotlinTypeAliasMetadata
KotlinTypeAliasVisitor
KotlinTypeFilter	This KotlinTypeVisitor delegates to another KotlinTypeVisitor if the predicate succeeds.
KotlinTypeFlags	Flags for Kotlin types.
KotlinTypeMetadata
KotlinTypeParameterFilter	This KotlinTypeParameterFilter delegates to another KotlinTypeVisitor if the predicate succeeds.
KotlinTypeParameterFlags	Flags for Kotlin type parameters.
KotlinTypeParameterMetadata
KotlinTypeParameterVisitor
KotlinTypeVariance
KotlinTypeVisitor
KotlinValueParameterFilter	This KotlinValueParameterVisitor delegates to another KotlinValueParameterVisitor if the predicate succeeds.
KotlinValueParameterFlags	Flags for Kotlin value parameters.
KotlinValueParameterMetadata
KotlinValueParameterVisitor
KotlinVersionRequirementMetadata
KotlinVersionRequirementVisitor
KotlinVisibilityFlags
LabelAndLocalMapper
LabelStmt	Represent a Label statement
LambdaExpression	A small helper class that captures useful information about a lambda expression as encountered in a class file.
LambdaExpressionCollector	This ClassVisitor collects all lambda expressions that are defined in a visited class.
LargeStringSplitter	This class visitor splits any strings longer than 65535 bytes into smaller strings.
LatticeAbstractState<AbstractStateT extends LatticeAbstractState<AbstractStateT>>	The LatticeAbstractState is an AbstractDomain with concrete interfaces.
LessZeroFrame	This StackMapFrame represents an "chop frame".
LibraryClass	This Clazz is a compact representation of the essential data in a Java class.
LibraryClassBuilder	This editor allows to build or extend classes (LibraryClass instances).
LibraryClassEditor	This class can add interfaces and class members to a given class.
LibraryClassFilter	This ClassVisitor delegates its visits to another given ClassVisitor, but only when visiting library classes.
LibraryClassReader	This ClassVisitor fills out the LibraryClass instances that it visits with data from the given DataInput object.
LibraryClassReader.KotlinMetadataElementValueConsumer
LibraryField	This Field represents a field in a LibraryClass.
LibraryMember	Base representation of a field or method from a LibraryClass.
LibraryMemberFilter	This MemberVisitor delegates its visits to another given MemberVisitor, but only when visiting members of library classes.
LibraryMethod	This Method represents a method in a LibraryClass.
LimitedHashMap<K,V>	This LimitedHashMap is a HashMap which limits its content based on the function removeElement.
LimitedHashMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This LimitedHashMapAbstractState represents a limited map to LatticeAbstractStates with the semilattice operators lifted to the map.
LimitedHashMapAbstractStateFactory<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This interface contains a method creating a fresh instance of LimitedHashMapAbstractState.
LineNumberFinder	Retrieves the lineNumber for a given offset from a codeattribute.
LineNumberInfo	Representation of an line number table entry.
LineNumberInfoAdder	This AttributeVisitor adds the line numbers of all line number attributes that it visits to the given target line number attribute.
LineNumberInfoVisitor	This interface specifies the methods for a visitor of LineNumberInfo instances.
LineNumberRangeFinder	This LineNumberInfoVisitor remembers the lowest and the highest line numbers that it finds in all the line numbers that it visits.
LineNumberTableAttribute	This Attribute represents a line number table attribute.
LineNumberTableAttributeEditor	This class can add line numbers to a given line number table attribute.
LineNumberTableAttributeTrimmer	This AttributeVisitor trims the line number table attributes that it visits.
ListAbstractState<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This ListAbstractState represents a list of LatticeAbstractStates with the semilattice operators lifted to the list.
ListFunctionParser	This StringFunctionParser can create StringFunction instances for regular expressions.
ListMatcher	This StringMatcher tests whether strings match a given list of StringMatcher instances.
ListParser	This StringParser can create StringMatcher instances for regular expressions.
ListUtil	This class provides some utility methods for working with java.util.List instances.
LivenessAnalyzer	This AttributeVisitor analyzes the liveness of the variables in the code attributes that it visits, based on partial evaluation.
Local	TODO DOC
LocalVar
LocalVariableInfo	Representation of a local variable table entry.
LocalVariableInfoAdder	This LocalVariableInfoVisitor adds all local variables that it visits to the given target local variable table attribute.
LocalVariableInfoVisitor	This interface specifies the methods for a visitor of LocalVariableInfo instances.
LocalVariableReferenceInfo
LocalVariableTableAttribute	This Attribute represents a local variable table attribute.
LocalVariableTableAttributeEditor	This class can add local variables to a given local variable table attribute.
LocalVariableTargetElement	Representation of an local variable target table entry.
LocalVariableTargetElementVisitor	This interface specifies the methods for a visitor of LocalVariableTargetElement instances.
LocalVariableTargetInfo	Representation of a local variable annotation target.
LocalVariableTypeInfo	Representation of a local variable table type entry.
LocalVariableTypeInfoAdder	This LocalVariableTypeInfoVisitor adds all local variable types that it visits to the given target local variable type attribute.
LocalVariableTypeInfoVisitor	This interface specifies the methods for a visitor of LocalVariableTypeInfo instances.
LocalVariableTypeTableAttribute	This Attribute represents a local variable table type attribute.
LocalVariableTypeTableAttributeEditor	This class can add local variables to a given local variable type table attribute.
Location	Helper data structure that makes it possible to identify specific places inside a program, either inside the bytecode (CodeLocation) or some other file, e.g.
LongConstant	This Constant represents a long constant in the constant pool.
LongType	This VerificationType represents a Long type.
LongValue	Representation of a partially evaluated long value.
LookUpSwitchInstruction	This Instruction represents a lookup switch instruction.
LookupSwitchStmt	Represent a LOOKUP_SWITCH statement
ManifestRewriter	This DataEntryReader writes the manifest data entries that it reads to a given DataEntryWriter, updating their contents based on the renamed classes in the given ClassPool.
MapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>
MapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>	This interface contains a method creating a fresh instance of MapAbstractState.
MapStringFunction	This StringFunction gets its transformed strings from a given map.
MatchedStringFunction	This StringFunction returns the most recently matched string of a given VariableStringMatcher.
MatchedStringMatcher	This StringMatcher tests whether strings start with a specified variable string and then match another optional given StringMatcher.
MatchingStringFunction	This StringFunction returns unchanged strings or null, depending on whether a given string matcher matches the strings.
MaxStackSizeComputer	This AttributeVisitor computes the maximum stack size of the code attributes that it visits.
MaxStackSizeComputer.StackSizeConsumer	A consumer of before/after stack sizes at each offset evaluated by the MaxStackSizeComputer.
Member	Representation of a class member (field or method).
MemberAccessFilter	This MemberVisitor delegates its visits to another given MemberVisitor, but only when the visited member has the proper access flags.
MemberAccessFlagCleaner	This ClassVisitor and MemberVisitor clears the specified access flags of the classes and class members that its visits.
MemberAccessFlagSetter	This MemberVisitor sets the specified access flags of the program class members that it visits.
MemberAccessSetter	This MemberVisitor sets the access part of the access flags of the program class members that its visits to a given value.
MemberAdder	This MemberVisitor copies all class members that it visits to the given target class.
MemberClassAccessFilter	This MemberVisitor delegates its visits to another given MemberVisitor, but only when the visited member is accessible from the given referencing class.
MemberCollectionFilter	This MemberVisitor delegates its visits to one of two other visitors, depending on whether the member is present in the given member collection or not.
MemberCollector	This MemberVisitor collects dot-separated classname.membername.descriptor strings of the class members that it visits.
MemberCounter	This MemberVisitor counts the number of class members that have been visited.
MemberDescriptorFilter	This MemberVisitor delegates its visits to another given MemberVisitor, but only when the visited member has a descriptor that matches a given regular expression.
MemberDescriptorReferencedClassVisitor	This MemberVisitor lets a given ClassVisitor visit all the classes referenced by the descriptors of the class members that it visits.
MemberFinder	This utility class provides methods to find class members in a given class or in its hierarchy.
MemberNameFilter	This MemberVisitor delegates its visits to another given MemberVisitor, but only when the visited member has a name that matches a given regular expression.
MemberProcessingFlagFilter	This MemberVisitor delegates its visits to another given MemberVisitor, but only when the visited member has the proper processing flags.
MemberReferenceFixer	This ClassVisitor fixes constant pool field and method references to fields and methods whose names or descriptors have changed.
MemberRemover	This visitor removes all members it visits in a ProgramClass.
MemberRenamer	This MemberVisitor renames the class member names of the classes it visits.
MemberToClassVisitor	This MemberVisitor delegates all visits to a given ClassVisitor.
MemberToKotlinPropertyVisitor	Apply the given KotlinPropertyVisitor if the member is a backing field, getter or setter for a property.
MemberViewModel	This utility class serves as a base class for FieldViewModel and MethodViewModel.
MemberViewModel.Pair<K,V>	A utility class for keeping track of pairs, e.g.Clazz and Member
MemberVisitor	This interface specifies the methods for a visitor of ProgramMember instances and LibraryMember instances.
MergeJoinOperator	This MergeOperator applies the join operator to its arguments.
MergeOperator	The MergeOperator defines how (and whether) the older AbstractState should be updated with the newly discovered AbstractState.
MergeSepOperator	This MergeOperator does not weaken the input AbstractState.
Method	Representation of a method in a class.
Method	represent a method_id_item in dex file format
MethodCollector	This MemberVisitor collects the methods that it visits in the given collection.
MethodCopier	This ClassVisitor copies a method into a target class.
MethodCounter	This MemberVisitor counts the number of methods that have been visited.
MethodCustomStmtNode
MethodDescriptor	Represents the descriptor that is part of a MethodSignature.
MethodExecutionInfo	This class stores data relevant to modeling the execution of a method and offers methods to extract additional information.
MethodFilter	This MemberVisitor delegates its visits to one of two other given MemberVisitor instances, depending on whether the visited method is a method or a field.
MethodHandle
MethodHandleConstant	This Constant represents a method handle constant in the constant pool.
MethodImplementationFilter	This MemberVisitor delegates its visits to methods to another given MemberVisitor, but only when the visited method may have implementations.
MethodImplementationTraveler	This MemberVisitor lets a given MemberVisitor travel to all concrete and abstract implementations of the visited methods in their class hierarchies.
MethodInfo	Can be implemented by classes carrying method information.
MethodInvocationFixer	This AttributeVisitor fixes all inappropriate special/virtual/static/interface invocations of the code attributes that it visits.
MethodLinker	This ClassVisitor links all corresponding non-private, non-static, non-initializer methods in the class hierarchies of all visited classes.
MethodParametersAttribute	This Attribute represents a method parameters attribute.
MethodPolymorphicStmtNode
MethodrefConstant	This Constant represents a method reference constant in the constant pool.
MethodrefTraveler	This ConstantVisitor travels from any method handle constants that it visits to their methodref constants, and applies a given constant visitor.
MethodResult	A class modeling the results of a method invocation.
MethodResult.Builder	A builder for MethodResult.
MethodSignature	Represents a Method signature containing a class, method and a descriptor.
MethodStmtNode
MethodToKotlinConstructorVisitor	Apply the given function visitor to a referenced constructors's corresponding KotlinConstructorMetadata.
MethodToKotlinFunctionVisitor	Apply the given function visitor to a referenced method's corresponding KotlinFunctionMetadata.
MethodTypeConstant	This Constant represents a method handle constant in the constant pool.
MethodViewModel	This utility class renders Method objects into a more human-readable format.
Metrics	Utility to collect statistical information.
Metrics.MetricType	Constants which are used as metric types.
Model	This interface can be implemented for each class that needs to be modeled during an analysis.
ModeledConstructor	Used to identify methods that model behavior for constructors of a class modeled in Model.
ModeledInstanceMethod	Used to identify methods that model behavior for instance methods of a class modeled in Model.
ModeledStaticMethod	Used to identify methods that model behavior for static methods of a class modeled in Model.
ModelHelper	Helper methods to use Models.
ModelHelper.MethodExecutionContext	A helper class grouping MethodExecutionInfo and ValueCalculator as the execution context of a method.
ModuleAttribute	This Attribute represents a module attribute.
ModuleConstant	This Constant represents a module constant in the constant pool.
ModuleMainClassAttribute	This Attribute represents a main class attribute.
ModulePackagesAttribute	This Attribute represents a module packages attribute.
MoreZeroFrame	This StackMapFrame represents an "append frame".
MultiAnnotationVisitor	This AnnotationVisitor delegates all visits to each AnnotationVisitor in a given list.
MultiArrayTransformer	dex does have the instruction to create a multi-array.
MultiAttributeVisitor	This AttributeVisitor delegates all visits to each AttributeVisitor in a given list.
MultiClassPoolVisitor	This ClassPoolVisitor delegates all visits to each ClassPoolVisitor in a given list.
MultiClassVisitor	This ClassVisitor delegates all visits to each ClassVisitor in a given list.
MultiConstantVisitor	This ConstantVisitor delegates all visits to each ConstantVisitor in a given list.
MultiDataEntryReader
MultiFileFacadeIntegrity
MultiFilePartIntegrity
MultiInstructionVisitor	This InstructionVisitor delegates all visits to each InstructionVisitor in a given list.
MultiKotlinMetadataVisitor
MultiKotlinTypeParameterVisitor	This KotlinTypeVisitor delegates to multiple KotlinTypeVisitors.
MultiMemberVisitor	This MemberVisitor delegates all visits to each MemberVisitor in a given list.
MultiResourceFileVisitor	This ResourceFileVisitor delegates all visits to all ResourceFileVisitor instances in the given list.
MultiTypedReferenceValue	This TypedReferenceValue can have multiple potential types during runtime.
MultiTypedReferenceValueFactory	This class provides a wrapper around TypedReferenceValueFactory that provides new MultiTypedReferenceValues.
MultiValueMap<K,V>	A key-values map that can have multiple values associated with each key.
Mutf8	Modified UTF-8 as described in the dex file format spec.
NameAndTypeConstant	This Constant represents a name and type constant in the constant pool.
NameAndTypeShrinker	This ClassVisitor removes NameAndType constant pool entries that are not used.
NamedAttributeDeleter	This ClassVisitor deletes attributes with a given name in the program classes, fields, methods, or code attributes that it visits.
NamedClassVisitor	This ClassPoolVisitor lets a given ClassVisitor visit Clazz instances with a given name, in the class pools that it visits.
NamedDataEntry	This DataEntry represents a named output entry with a parent.
NamedFieldVisitor	This class visits ProgramMember instances referring to fields, identified by a name and descriptor pair.
NamedMethodVisitor	This class visits ProgramMember instances referring to methods, identified by a name and descriptor pair.
NameFilteredDataEntryReader	This DataEntryReader delegates to one of two other DataEntryReader instances, depending on the name of the data entry.
NameFilteredDataEntryWriter	This DataEntryWriter delegates to one of two other DataEntryWriter instances, depending on the name of the data entry.
NameParser	This StringParser can create StringMatcher instances for regular expressions matching names.
NegatedDoubleValue	This DoubleValue represents a double value that is negated.
NegatedFloatValue	This FloatValue represents a float value that is negated.
NegatedIntegerValue	This IntegerValue represents a integer value that is negated.
NegatedLongValue	This LongValue represents a long value that is negated.
NegativeStackSizeException
NestHostAttribute	This Attribute represents a nest host attribute.
NestHostFinder	This utility class can find the nest host class names of given classes.
NestMemberAdder	This ConstantVisitor and ClassVisitor adds the class constants or the classes that it visits to the given target nest member attribute.
NestMembersAttribute	This Attribute represents a nest host attribute.
NeverAbortOperator	This AbortOperator never terminates the analysis prematurely.
NewExpr
NewMutiArrayExpr	Represent a NEW_MUTI_ARRAY expression.
NewTransformer	simply merge
Node	Represents a node in a sub-callgraph, e.g.
NonClosingDataEntryWriter	This DataEntryWriter delegates to another DataEntryWriter, except for any NonClosingDataEntryWriter.close() calls.
NonEmptyAttributeFilter	This AttributeVisitor delegates its visits another AttributeVisitor, but only when the visited attribute is not empty.
NoOpRebuildOperator	This RebuildOperator returns the original AbstractState without performing any rebuilding.
NoOpReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	This ReduceOperator returns the original AbstractState without performing any reduction.
NopStmt	Represent a NOP statement
NotMatcher	This StringMatcher tests whether strings does not match the given StringMatcher.
NotStringFunction	This StringFunction returns the original string if the given StringFunction returns null, or null otherwise.
NullType	This VerificationType represents a Null type.
ObjectType	This VerificationType represents an Object type.
ObjectUtil	This class contains utility methods operating on instances.
OffsetTargetInfo	Representation of an offset annotation target.
Op
OpensInfo	Representation of a Opens entry in a Module attribute.
OpensInfoVisitor	This interface specifies the methods for a visitor of OpensInfo instances.
OrMatcher	This StringMatcher tests whether strings matches at least one of the given StringMatcher instances.
OrStringFunction	This StringFunction tests whether strings match either given StringFunction instances, returning the first non-null result.
PackageConstant	This Constant represents a package constant in the constant pool.
PackedSwitchStmtNode
ParallelAllClassVisitor	This ClassPoolVisitor will visit all Clazz instances of the class pool in a parallel way.
ParallelAllClassVisitor.ClassVisitorFactory	A factory for ClassVisitor objects.
ParallelDexClassReader	This data entry reader reads dex files, converts their classes, and passes them to a given class visitor.
ParameterAnnotationsAttribute	This Attribute represents a parameter annotations attribute.
ParameterAnnotationsAttributeEditor	This class can add annotations to a given parameter annotations attribute.
ParameterInfo	Representation of a parameter, as defined in a method parameters attribute.
ParameterInfoAdder	This ParameterInfoVisitor adds all parameter information that it visits to the given target method parameters attribute.
ParameterInfoVisitor	This interface specifies the method for a visitor of ParameterInfo instances.
ParameterVisitor	This interface specifies the methods for a visitor of method parameters or field types (which can be considered parameters when storing values).
ParentDataEntryWriter	This DataEntryWriter lets another DataEntryWriter write the parent data entries.
PartialEvaluator	This AttributeVisitor performs partial evaluation on the code attributes that it visits.
PartialEvaluator.Builder
PartialEvaluator.InstructionBlock	This class represents an instruction block that has to be executed, starting with a given state at a given instruction offset.
PartialEvaluatorException
PartialEvaluatorStateTracker	Interface with callback methods called by the Partial Evaluator when it enters certain states.
PartialEvaluatorUtils	Helper functions to access PartialEvaluator results more conveniently.
ParticularDoubleValue	This DoubleValue represents a particular double value.
ParticularFloatValue	This FloatValue represents a particular float value.
ParticularIntegerValue	This IntegerValue represents a particular integer value.
ParticularLongValue	This LongValue represents a particular long value.
ParticularReferenceValue	This ParticularReferenceValue represents a particular reference value, i.e.
ParticularReferenceValueFactory	This TypedReferenceValueFactory creates reference values that also represent their content.
ParticularValueFactory	This class provides methods to create and reuse Value instances that have particular values, whenever they are known.
PeepholeEditor	This AttributeVisitor lets a given instruction visitor edit the code attributes that it visits.
PermittedSubclassAdder	This ConstantVisitor and ClassVisitor adds the class constants or the classes that it visits to the given target permitted classes attribute.
PermittedSubclassesAttribute	This Attribute represents a permitted subclasses attribute.
PhiExpr
Precision	Precision parametrizes the analysis accuracy of the Algorithm.
PrecisionAdjustment	PrecisionAdjustment allows adjusting the Algorithm Precision based of the reached abstract states.
PrecisionAdjustmentResult	This is the result of PrecisionAdjustment, namely an AbstractState and Precision.
PrefixAddingDataEntryWriter	This DataEntryWriter delegates to a given DataEntryWriter, each time adding a prefix of the written data entry name.
PrefixAddingStringFunction	This StringFunction adds a prefix in front of each transformed String.
PrefixRemovingStringFunction	This StringFunction removes a given prefix from each transformed String, if present.
PrefixStrippingDataEntryReader	This DataEntryReader delegates to a given DataEntryReader, each time stripping a possible prefix from the read data entry name.
Preverify	This sample application illustrates how to preverify classes with the ProGuard API.
PrimitiveArrayConstant	This unofficial Constant represents an array of primitives in the constant pool.
PrimitiveArrayConstantElementVisitor	This interface specifies the methods for a visitor of primitive elements of the array of a PrimitiveArrayConstant.
PrimitiveArrayConstantReplacer	This ClassVisitor replaces all instances of PrimitiveArrayConstant by Java bytecode compliant array store instructions.
PrimitiveArrayConstantVisitor	This interface specifies the methods for a visitor of PrimitiveArrayConstant instances containing different types of arrays.
PrimitiveTypedReferenceValueFactory	This class provides methods to create and reuse Value instances.
PrintClasses	This sample application illustrates how to read bytecode and print it out in text format with the ProGuard API.
Processable	Base interface for entities that need flags and/or additional information when they are processed, typically by visitor classes.
ProcessableViewModel	A base ViewModel class for implementing classes of the Processable interface.
ProcessableVisitor	This interface defines visitor methods for the main Processable implementations.
ProcessingFlagCleaner	This visitor clears the specified processing flags of the Processable instances that it visits.
ProcessingFlagDataEntryFilter	This DataEntryFilter filters data entries based on the processing flags of their corresponding resource file.
ProcessingFlags	Constants used by ProGuard for marking entities (classes, class members, resource files, ...) during processing.
ProcessingFlagSetter	This visitor sets the specified processing flags of the Processable instances that it visits.
ProcessingInfoSetter	This visitor sets a fixed info object on all the Processable instances that it visits.
Processor	This InstructionVisitor executes the instructions that it visits on a given local variable frame and stack.
ProgramClass	This Clazz is a complete representation of the data in a Java class.
ProgramClassFilter	This ClassVisitor delegates its visits to another given ClassVisitor, but only when visiting program classes.
ProgramClassReader	This ClassVisitor fills out the ProgramClass instances that it visits with data from the given DataInput object.
ProgramClassWriter	This ClassVisitor writes out the ProgramClass instances that it visits to the given DataOutput object.
ProgramField	This Field represents a field in a ProgramClass.
ProgramLocationDependent<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	If an AbstractState is program location-specific, it should implement ProgramLocationDependent.
ProgramLocationDependentBackwardTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	An interface for TransferRelations that depend on the Cfa location for which the successor can be defined for the entering edges of the current location.
ProgramLocationDependentForwardTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	An interface for TransferRelations that depend on the Cfa location for which the successor can be defined for the leaving edges of the current location.
ProgramLocationDependentReachedSet<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,AbstractStateT extends AbstractState & ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>,SignatureT extends Signature>	This ReachedSet stores ProgramLocationDependent AbstractStates.
ProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	An interface for TransferRelations that depend on the Cfa location for which the successor can be defined for the edges of the current location.
ProgramMember	Base representation of a field or method from a ProgramClass.
ProgramMemberFilter	This MemberVisitor delegates its visits to another given MemberVisitor, but only when visiting members of program classes.
ProgramMethod	This Method represents a method in a ProgramClass.
ProguardCoreException
ProguardCoreException.Builder	Builder to construct ProguardCoreException objects.
PropertyIntegrity	This class checks the assumption: All properties need a JVM signature for their getter
PropertyReferenceInfo	Property reference info.
Proto
ProvidesInfo	Representation of a Provides entry in a Module attribute.
ProvidesInfoVisitor	This interface specifies the methods for a visitor of ProvidesInfo instances.
RangeIntegerValue	This IntegerValue represents a known range of integer values.
RangeValueFactory	This ValueFactory provides methods to create and reuse IntegerValue instances that have known ranges.
ReachedSet	The ReachedSet stores reached States discovered by the Algorithm.
RebuildOperator	This operator is used to avoid collision of program identifiers when returning from a procedure call.
RecordAttribute	This Attribute represents a record attribute.
RecordComponentInfo	Representation of a record component entry.
RecordComponentInfoVisitor	This interface specifies the methods for a visitor of RecordComponentInfo instances.
ReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	This operator is used to discard unnecessary information when entering a procedure block depending on the domain-specific analysis (e.g.
RefConstant	This Constant represents a ref constant in the constant pool.
Reference	A reference points at an object or an array at the heap.
ReferencedClassesExtractor	Divides the referenced classes in a program/library method in the classes referenced in return and parameters.
ReferencedClassVisitor	This ClassVisitor, MemberVisitor, ConstantVisitor, AttributeVisitor, etc.
ReferencedClassVisitor.KotlinReferencedClassVisitor
ReferencedKotlinMetadataVisitor	Initializes the kotlin metadata for each Kotlin class.
ReferencedMemberVisitor	This ConstantVisitor and ElementValueVisitor lets a given MemberVisitor visit all the referenced class members of the elements that it visits.
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.
ReferenceValue	Representation of a partially evaluated reference value.
RefExpr	Represent a Reference expression
ReflectionExecutor	This Executor provides an implementation for Executor.getMethodResult(proguard.evaluation.executor.MethodExecutionInfo, proguard.evaluation.ValueCalculator) which tries to resolve the method at runtime and execute it using Java's reflection API java.lang.reflect.
ReflectionExecutor.InstanceCopyResult
ReflectiveMethodCallUtil	Deprecated. This logic is now implemented in ReflectionExecutor
ReflectiveModel<T extends ReflectiveModel<T>>	A mixin fully implementing the Model interface, so that the classes implementing the model don't have to do it themselves.
ReflectiveModelExecutor	An Executor with support for ReflectiveModels.
ReflectiveModelExecutor.Builder	Builder for ReflectiveModelExecutor.
ReflectiveModelExecutor.SupportedModelInfo<T extends ReflectiveModel<T>>	Information provided by an executor to communicate which classes it supports.
RemoveConstantFromSSA	1.
RemoveLocalFromSSA	This class attempts to remove SSA form and reduce the number of variables used by the program.
RemoveLogging	This sample application illustrates how to modify bytecode with the ProGuardCORE API.
RenamedDataEntry	This DataEntry wraps another data entry, returning a different name instead of the wrapped data entry's name.
RenamedDataEntryReader	This DataEntryReader delegates to another DataEntryReader, renaming the data entries based on the given string function.
RenamedDataEntryWriter	This DataEntryWriter delegates to another DataEntryWriter, renaming the data entries with the given string function.
RenamedParentDataEntryWriter	This DataEntryWriter delegates to another DataEntryWriter, renaming parent data entries based on the given matcher.
ReplaceSimpleConstantInstruction	Example showing how to use InstructionSequenceReplacer to replace an `LDC` loading "Hello World" to load the constant "Hallo Wereld" instead.
Reporter	Interface for reporting errors.
RequiredAttributeFilter	This AttributeVisitor delegates its visits to one of two other AttributeVisitor instances, depending on whether the visited attribute is strictly required or not.
RequiresInfo	Representation of a Requires entry in a Module attribute.
RequiresInfoVisitor	This interface specifies the methods for a visitor of RequiresInfo instances.
ResourceFile	Representation of a resource file in an application.
ResourceFileDataEntryReader	This DataEntryReader creates plain ResourceFile instances for the data entries that it reads, and passes them to the given ResourceFileVisitor.
ResourceFileNameFilter	Delegates to another ResourceFileVisitor, but only if the visited file's name matches a given filter.
ResourceFilePool	This is a set of ResourceFile instances.
ResourceFilePoolFiller	Adds all visited resource files to a given resource file pool.
ResourceFilePoolNameFunction	Deprecated.
ResourceFilePresenceFilter	This ResourceFileVisitor delegates its visits to one of two ResourceFileVisitor instances, depending on whether the name of the visited resource file is present in a given FilePool or not.
ResourceFileProcessingFlagFilter	This ResourceFileVisitor delegates all its visits to a given delegate visitor, but only of the processing flags of the visited resource file match the given processing flag requirements.
ResourceFileVisitor	This interface specifies the methods for a visitor of ResourceFile instances.
ResourceJavaReference	Represents a reference to a Java class from a resource file.
ResourceJavaReferenceClassInitializer	This ResourceFileVisitor initializes the class references from non-binary resources files with the corresponding classes from the program class pool.
ResourceJavaReferenceCleaner	Removes any ResourceJavaReferences from resource files for which no class reference was found.
ResourceJavaReferenceCollector	This DataEntryReader collects the java references in a resource file and adds them to the references field.
ReturnVoidStmt	Represent a RETURN_VOID statement
RuntimeDataInput	This class delegates its method calls to the corresponding DataInput methods, converting its IOExceptions to RuntimeExceptions.
RuntimeDataOutput	This class delegates its method calls to the corresponding DataOutput methods, converting its IOExceptions to RuntimeExceptions.
RuntimeInvisibleAnnotationsAttribute	This Attribute represents a runtime invisible annotations attribute.
RuntimeInvisibleParameterAnnotationsAttribute	This Attribute represents a runtime invisible parameter annotations attribute.
RuntimeInvisibleTypeAnnotationsAttribute	This Attribute represents a runtime invisible type annotations attribute.
RuntimeVisibleAnnotationsAttribute	This Attribute represents a runtime visible annotations attribute.
RuntimeVisibleParameterAnnotationsAttribute	This Attribute represents a runtime visible parameter annotations attribute.
RuntimeVisibleTypeAnnotationsAttribute	This Attribute represents a runtime visible type annotations attribute.
SameOneFrame	This StackMapFrame represents a "same locals 1 stack item frame" or a "same locals 1 stack item frame extended".
SameZeroFrame	This StackMapFrame represents a "same frame" or a "same frame extended".
SampleClassWithArray	This is a sample class that can be processed.
SampleClassWithConstantComputation	This is a sample class that can be processed.
SampleClassWithObjects	This is a sample class that can be processed.
SampleClassWithRangeComputation	This is a sample class that can be processed.
SampleClassWithVariableComputation	This is a sample class that can be processed.
SequentialCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,InputCpaRunT extends CpaRun>	This CpaRun wraps another InputCpaRunT and allows a following CpaT to be constructed using the output of the former run.
SequentialCpaRun.PreviousRunDurationReceiver	Interface that can be implemented by the abort operator of the second CPA.
SetAbstractState<T>	This SetAbstractState represents a set with the subset ordering.
SettableMatcher	This StringMatcher delegates to a another StringMatcher that can be set after this StringMatcher has been constructed.
Signature	A signature currently can be a Method- or a FieldSignature.
SignatureAdapter<T extends Signature>	This MemberVisitor provides the consumer with a corresponding Signature.
SignatureAttribute	This Attribute represents a signature attribute.
SignatureAttributeReferencedClassVisitor	This AttributeVisitor lets a given ClassVisitor visit all the classes referenced by the type descriptors of the signatures that it visits.
SignedJarWriter	This JarWriter sends data entries to a given jar file, automatically adding a manifest file and signing it with JAR signature scheme v1.
SimilarMemberVisitor	This MemberVisitor lets a given MemberVisitor visit all members that have the same name and type as the visited methods in the class hierarchy of the members' classes or of a given target class.
SimpleClassPrinter	This ClassVisitor and MemberVisitor prints out the class names of the classes it visits, and the full class member descriptions of the class members it visits.
SimpleCpa	The SimpleCpa is a ConfigurableProgramAnalysis wrapping its components.
SimpleFeatureNamedProcessable	A SimpleProcessable that additionally implements FeatureNamed.
SimpleInstruction	This Instruction represents a simple instruction without variable arguments or constant pool references.
SimpleLiveAnalyze
SimpleLiveValue
SimpleProcessable	This class provides a straightforward implementation of the Processable interface.
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.
SingleFunctionParser	This StringFunctionParser creates StringFunction instances for regular expressions with optional "->" transformations.
SingleTimeAttributeVisitor	This AttributeVisitor delegates all visits to a given AttributeVisitor, although only once to the same attribute in a row.
SingleTimeClassVisitor	This ClassVisitor delegates all visits to a given ClassVisitor, although only once to the same class in a row.
SingleWrapperTransferRelation	This WrapperTransferRelation applies its (only) inner TransferRelation to the input.
SourceDebugExtensionAttribute	This Attribute represents a source debug extension attribute.
SourceDirAttribute	This Attribute represents a source directory attribute.
SourceFileAttribute	This Attribute represents a source file attribute.
SparseSwitchStmtNode
SpecificDoubleValue	This DoubleValue represents a specific double value.
SpecificFloatValue	This FloatValue represents a specific float value.
SpecificIntegerValue	This IntegerValue represents a specific integer value.
SpecificLongValue	This LongValue represents a specific long value.
Stack	This class represents an operand stack that contains Value instances.
StackAbstractState<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This StackAbstractState represents a stack of LatticeAbstractStates with the semilattice operators lifted to the stack.
StackCategoryOneException	Exception thrown when a type on the stack does not match the category one expected type.
StackGeneralizationException
StackMapAttribute	This Attribute represents a stack map attribute.
StackMapFrame	This abstract class represents a stack map frame.
StackMapFrameVisitor	This interface specifies the methods for a visitor of StackMapFrame instances.
StackMapTableAttribute	This Attribute represents a stack map table attribute.
StackSizeComputer	This AttributeVisitor computes the stack sizes at all instruction offsets of the code attributes that it visits.
StackSizeUpdater	This AttributeVisitor computes and updates the maximum stack size of the code attributes that it visits.
StackTypeException	Exception thrown when a type on the stack does not match the expected type.
StatedTransformer
StateNames	Names of abstract states used for state extraction with AbstractState.getStateByName(String).
StaticFieldExpr	Represent a StaticField expression
StaticPrecisionAdjustment	This PrecisionAdjustment keeps the Precision the same.
Stmt	Represent a statement
Stmt.E0Stmt	Represent a statement with no argument
Stmt.E1Stmt	Represent a statement with 1 argument
Stmt.E2Stmt	Represent a statement with 2 arguments
Stmt.ST	Statement Type
Stmt0RNode
Stmt1RNode
Stmt2R1NNode
Stmt2RNode
Stmt3RNode
StmtList	Represent a list of statement.
Stmts
StmtSearcher
StmtTraveler
StopAlwaysOperator	This StopOperator always returns true, i.e., it can be used for a single pass of the analysis.
StopContainedOperator	This StopOperator returns true if the reached set contains the input AbstractState.
StopJoinOperator	This StopOperator returns true if the input state is less or equal than join over the reached set.
StopNeverOperator	This StopOperator always returns false, i.e., it can be used for analyses running until the Waitlist becomes empty.
StopOperator	The StopOperator decides if Algorithm should stop.
StopSepOperator	This StopOperator returns true if there is a state in the reached set covering the input AbstractState.
StreamingDataEntry	This DataEntry represents a stream of data.
StringConstant	This Constant represents a string constant in the constant pool.
StringFunction	This interface provides a method to transform a string into a new string.
StringFunctionParser	This interface provides a method to create a StringFunction for a given regular expression.
StringListWriter
StringMatcher	This abstract class provides methods to determine whether strings match a given criterion, which is specified by the implementation.
StringParser	This interface provides a method to create a StringMatcher for a given regular expression.
StringReferenceInitializer	This ConstantVisitor initializes any class references of all string constants it visits.
StringReflectionExecutor	This ReflectionExecutor supports methods of the classes String, StringBuilder and StringBuffer.
StringReflectionExecutor.Builder	A builder for StringReflectionExecutor.
StringSharer	This ClassVisitor shares strings in the class files that it visits.
StringUtil	This class contains utility methods for strings.
SubclassAdder	This ClassVisitor adds the given class to the list of subclasses of the classes that it visits.
SubclassFilter	This ClassVisitor delegates its visits to another given ClassVisitor, except for classes that have a given class as direct subclass.
SubclassRemover	This ClassVisitor removes the given class from the list of subclasses of the classes that it visits.
SubclassToAdder	This ClassVisitor adds all classes that it visits to the list of subclasses of the given target class.
SubclassTraveler	This ClassVisitor lets a given ClassVisitor travel to direct subclasses of the visited class.
SuffixAddingStringFunction	This StringFunction adds a given suffix to each transformed String.
SuffixRemovingStringFunction	This StringFunction removes a given suffix from each transformed String, if present.
SuperClassConstantVisitor	This ClassVisitor lets a given ConstantVisitor visit all the constant pool entries of the super class and interfaces of the program classes it visits.
SuperTypeTargetInfo	Representation of a super type annotation target.
SwitchInstruction	This Instruction represents a switch instruction.
SymbolicCall	A call whose target Method is not available in our ClassPool.
SyntheticAttribute	This Attribute represents a synthetic attribute.
SyntheticClassIntegrity
TableSwitchInstruction	This Instruction represents a table switch instruction.
TableSwitchStmt	Represent a TABLE_SWITCH statement
TaintSink	A TaintSink specifies a sink for the taint analysis.
TaintSource	A TaintSource specifies a method which can taint any (subset) of the following: the instance, the return value, the argument objects, or static fields.
TargetInfo	Representation of an annotation target.
TargetInfoCopier	This TargetInfoVisitor copies the target info instances that it visits to the given type annotation (each time overwriting any previous target info).
TargetInfoVisitor	This interface specifies the methods for a visitor of TargetInfo instances.
ThrowsTargetInfo	Representation of a 'throws' annotation target.
TopType	This VerificationType represents a Top type.
TopValue	Representation of a partially evaluated top value.
TracedReferenceValue	This ReferenceValue represents a reference value that is tagged with a trace value.
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.
TraceExtractor	This interfaces containts helper methods for CpaRuns producing witness traces.
TracingValue	Representation of a value that has been tagged with a sticky trace value.
TransferRelation	The TransferRelation computes the successor AbstractStates for the Algorithm.
TransformedStringMatcher	This StringMatcher delegates its tests to another given StringMatcher, with strings that have been transformed with a given function.
Transformer	TODO DOC
TransformExample
TransformExample.MyTransformer
Trap	TODO DOC
TriFunction<T,U,V,R>	A function taking three parameters.
TriPredicate<T,U,V>	A predicate taking three parameters.
TryCatchNode
TypeAnnotation	Representation of a type annotation.
TypeAnnotationAdder	This TypeAnnotationVisitor adds all type annotations that it visits to the given target annotation element value, target annotation attribute, or target parameter annotation attribute.
TypeAnnotationsAttribute	This Attribute represents a type annotations attribute.
TypeAnnotationVisitor	This interface specifies the methods for a visitor of TypeAnnotation instances.
TypeArgumentTargetInfo	Representation of an offset annotation target.
TypeClass
TypeConstants	Constant characters that are part of primitive and non-primitive type descriptors.
TypedReferenceValue	This ReferenceValue represents a partially evaluated reference value.
TypedReferenceValueFactory	This class provides methods to create and reuse Value instances.
TypeExpr	Represent a Type expression
TypeIntegrity	This class checks the assumption: All properties need a JVM signature for their getter
TypeParameterBoundTargetInfo	Representation of a type parameter bound annotation target.
TypeParameterTargetInfo	Representation of a type parameter annotation target.
TypePathInfo	Representation of a path element in a type annotation.
TypePathInfoVisitor	This interface specifies the methods for a visitor of TypePathInfo instances.
TypeStmtNode
TypeTransformer	Type and correct Exprs
TypeTransformer.TypeRef
UninitializedThisType	This VerificationType represents an UninitializedThis type.
UninitializedType	This VerificationType represents a Uninitialized type.
UniqueClassFilter	This ClassVisitor delegates its visits to another given ClassVisitor, but at most a single time.
UniqueQueue<T>
UnknownAttribute	This Attribute represents an unknown attribute.
UnknownDoubleValue	DoubleValue that is unknown.
UnknownFloatValue	FloatValue that is unknown.
UnknownIntegerValue	IntegerValue that is unknown.
UnknownLongValue	LongValue that is unknown.
UnknownReferenceValue	ReferenceValue that is unknown.
UnknownValue	Represents a value that is completely unknown.
UnopExpr	Represent a LENGTH,NEG expression
UnopStmt
UnSSATransformer	Remove PhiExprs, add a=x to each CFG from.
UnSSATransformer.LiveA
UnSSATransformer.RegAssign	designed for assign index to Local, each Object is related to a Local
UnsupportedKotlinMetadata	A Kotlin metadata type that corresponds to metadata that could not be parsed correctly.
Utf8Constant	This Constant represents a UTF-8 constant in the constant pool.
Utf8Shrinker	This ClassVisitor removes UTF-8 constant pool entries that are not used.
Util
Value	Represent a local/constant/expression
Value	This abstract class represents a partially evaluated value.
Value.E0Expr	Represent an expression with no argument
Value.E1Expr	Represent an expression with 1 argument
Value.E2Expr	Represent an expression with 2 arguments
Value.EnExpr	Represent an expression with 3+ arguments
Value.VT	Value Type
ValueAbstractState	An AbstractState for tracking JVM values.
ValueCalculator	This functional interface can be used to specify a way of creating Values given a series of parameters.
ValueFactory	This interface provides methods to create Value instances.
ValueParameterIntegrity
ValueTypeException
VariableClassVisitor	This ClassVisitor delegates all method calls to a ClassVisitor that can be changed at any time.
VariableCleaner	This AttributeVisitor cleans up variable tables in all code attributes that it visits.
VariableEditor	This AttributeVisitor accumulates specified changes to local variables, and then applies these accumulated changes to the code attributes that it visits.
VariableEmptySlotException	Exception thrown when a variable slot contains an empty value, but should not.
VariableEvaluationException	Partial evaluator exception regarding Variables.
VariableIndexOutOfBoundException	Exception thrown when the variable index is out of bound of the current Variable count.
VariableInstruction	This Instruction represents an instruction that refers to a variable on the local variable stack.
VariableMemberVisitor	This MemberVisitor delegates all method calls to a MemberVisitor that can be changed at any time.
VariableRemapper	This AttributeVisitor remaps variable indexes in all attributes that it visits, based on a given index map.
Variables	This class represents a local variable frame that contains Value instances.
VariablesGeneralizationException
VariableSizeUpdater	This AttributeVisitor computes and updates the maximum local variable frame size of the code attributes that it visits.
VariableStringMatcher	This StringMatcher tests whether strings start with a specified variable string and then match another optional given StringMatcher.
VariableTypeException	Exception thrown when the type in a variable does not match the expected type.
VerificationType	This abstract class represents a verification type of a local variable or a stack element.
VerificationTypeFactory	This class provides methods to create and reuse IntegerType instances.
VerificationTypeVisitor	This interface specifies the methods for a visitor of VerificationType instances.
VersionConstants	Known internal version numbers of class files.
Visibility
VisualizeCfa	This sample application produces a DOT graph representation of a Control Flow Automaton generated by ProGuardCORE.
VisualizeControlFlow	This sample application illustrates how to evaluate bytecode to get information about its control flow and data flow.
VoidInvokeStmt	Represent a void-expr: the expr result is ignored.
VoidInvokeTransformer	convert
Waitlist	The Waitlist stores the AbstractStates the Algorithm needs to process.
WarningLogger
WarningPrinter	This class prints out and counts warnings.
WildcardConstantFilter	This ConstantVisitor delegates to a given constant visitor, except for constants that contain wildcards (indices larger than 0xffff).
WildcardManager	This utility class creates and manages StringMatcher instances that (1) match wildcards, and (2) refer back to matched wildcards.
WrappedDataEntry	This DataEntry wraps another data entry.
WrapperTransferRelation	This TransferRelation wraps other TransferRelations.
ZeroTransformer	dex mix use as integer 0 and object null.
ZipDataEntry	This DataEntry represents a ZIP entry.
ZipFileDataEntry	This DataEntry represents a ZIP entry.
ZipOutput	This class writes zip data to a given output stream.
ZipOutput.LargeDataOutputStream	This output stream is mostly identical to DataOutputStream, except it stores the amount of bytes written so far in a long instead of an int.
ZipWriter	This DataEntryWriter sends data entries to the zip files specified by their parents.