|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| AnalysisFeatures | |
| BlockOrder | Specify an order for visiting basic blocks. |
| BytecodeScanner.Callback | Callback interface to report scanned instructions. |
| CFGBuilder | Abstract interface for CFG builder classes. |
| ClassObserver | An interface to be implemented by classes which observer the analysis of classes. |
| DataflowAnalysis<Fact> | A dataflow analysis to be used with the Dataflow class. |
| Debug | |
| DFSEdgeTypes | Interface defining depth first search edge type constants. |
| EdgeTypes | Constants defining the type of control flow edges, as well as flags defining additional information about the edges. |
| ExtendedTypes | Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis for typing locals and stack values used in Java bytecode. |
| RepositoryLookupFailureCallback | An interface which Repository class lookup failures are reported to. |
| ResourceTracker<Resource> | A ResourceTracker is used with ResourceValueAnalysis to determine where in a method a certain kind of resource is created, and to model the effect of instructions on the state of that resource. |
| SourceFileDataSource | A data source which can produce a stream for a source file. |
| SourceFinder.SourceRepository | A repository of source files. |
| TypeMerger | Interface for object which merges types for TypeAnalysis. |
| ValueNumberAnalysisFeatures | Global flags controlling ValueNumberAnalysis. |
| XField | Abstract representation of a field. |
| Class Summary | |
|---|---|
| AbstractBlockOrder | Abstract base class for BlockOrder variants. |
| AbstractDataflowAnalysis<Fact> | Abstract base class providing functionality that will be useful for most dataflow analysis implementations. |
| AbstractDominatorsAnalysis | A dataflow analysis to compute dominator relationships between basic blocks. |
| AbstractField | |
| AbstractFrameModelingVisitor<Value,FrameType extends Frame<Value>> | A common base class for frame modeling visitors. |
| AnalysisContext | A context for analysis of a complete project. |
| AnalysisContext.ClassContextCache | |
| AnyLockCountAnalysis | |
| AssertionMethods | Mark methodref constant pool entries of methods that are likely to implement assertions. |
| AssertionMethods.UserAssertionMethod | |
| AssignedFieldMap | |
| AvailableLoad | An AvailableLoad indicates a field and (optionally) object reference for which a value is available. |
| BackwardDataflowAnalysis<Fact> | Abstract base class for backward dataflow analyses. |
| BasicBlock | Simple basic block abstraction for BCEL. |
| BasicBlock.InstructionReverseIterator | A reverse Iterator over the instructions in a basic block. |
| BetterCFGBuilder2 | A CFGBuilder that really tries to construct accurate control flow graphs. |
| BetterCFGBuilder2.Context | Inlining context. |
| BetterCFGBuilder2.EscapeTarget | A placeholder for a control edge that escapes its subroutine to return control back to an outer (calling) subroutine. |
| BetterCFGBuilder2.WorkListItem | A work list item for creating the CFG for a subroutine. |
| BetterTypeAnalysis | |
| BetterTypeFrame | A Frame containing Type objects representing the type of each item in a Java stack frame. |
| BetterTypeFrameModelingVisitor | Dataflow analysis to determine types for slots in Java stack frames, using a TypeRepository to create the type objects (rather than BCEL's Type classes). |
| BlockType | Dataflow value representing the current nesting of catch and finally blocks. |
| BlockTypeAnalysis | Dataflow analysis to determine the nesting of catch and finally blocks within a method. |
| BottomType | Special "bottom" type. |
| BytecodeScanner | Scan the raw bytecodes of a method. |
| CFG | Simple control flow graph abstraction for BCEL. |
| CFGBuilderFactory | Factory object to create CFGBuilders for methods. |
| CFGPrinter | Print out a representation of a control-flow graph. |
| ClassContext | A ClassContext caches all of the auxiliary objects used to analyze the methods of a class. |
| ClassContext.AnalysisResult<Analysis> | An AnalysisResult stores the result of requesting an analysis from an AnalysisFactory. |
| ClassNotFoundExceptionParser | Parse the detail message in a ClassNotFoundException to extract the name of the missing class. |
| Dataflow<Fact,AnalysisType extends DataflowAnalysis<Fact>> | Perform dataflow analysis on a method using a control flow graph. |
| DataflowCFGPrinter<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>> | CFGPrinter class which prints dataflow values at each basic block and instruction. |
| DataflowTestDriver<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>> | A test driver for dataflow analysis classes. |
| DepthFirstSearch | Algorithm to perform a depth first search on a CFG. |
| DFSCFGPrinter | |
| DominatorsAnalysis | Dataflow analysis to compute dominator sets for a CFG. |
| DoubleExtraType | Special type used to represent the "extra" part of a double value. |
| Edge | An edge of a control flow graph. |
| ExceptionHandlerMap | This class provides a convenient way of determining the exception handlers for instructions in a method. |
| ExceptionObjectType | Special ReferenceType representing the type of a caught exception. |
| ExceptionSet | Class for keeping track of exceptions that can be thrown by an instruction. |
| ExceptionSetFactory | |
| FileSourceFileDataSource | Data source for source files which are stored in the filesystem. |
| ForwardDataflowAnalysis<Fact> | Abstract base class for forward dataflow analyses. |
| Frame<ValueType> | Generic class for representing a Java stack frame as a dataflow value. |
| FrameDataflowAnalysis<ValueType,FrameType extends Frame<ValueType>> | A convenient base class for dataflow analysis classes which use Frames as values. |
| Hierarchy | Facade for class hierarchy queries. |
| InnerClassAccess | |
| InnerClassAccessMap | Singleton class to determine which methods are accessors used by inner classes to access fields in their enclosing classes. |
| InnerClassAccessMap.InstructionCallback | Callback to scan an access method to determine what field it accesses, and whether the field is loaded or stored. |
| InstanceField | |
| IsNullConditionDecision | A control decision which resulted in information being gained about whether a particular value is null or non-null on the IFCMP_EDGE and FALL_THROUGH_EDGE branches. |
| IsNullValue | A class to abstractly represent values in stack slots, indicating whether thoses values can be null, non-null, null on some incoming path, or unknown. |
| IsNullValueAnalysis | A dataflow analysis to detect potential null pointer dereferences. |
| IsNullValueDataflow | |
| IsNullValueFrame | |
| IsNullValueFrameModelingVisitor | |
| LineNumberMap | Summarize line numbers (and other source information) for a method. |
| LiveLocalStoreAnalysis | Dataflow analysis to find live stores of locals. |
| LiveLocalStoreDataflow | Dataflow class for LiveLocalStoreAnalysis. |
| LoadedFieldSet | Object which stores which fields are loaded and stored by the instructions in a method (including through inner-class access methods), and also which fields are loaded/stored by the overall method. |
| LoadedFieldSet.LoadStoreCount | Count number of times a field is loaded and/or stored in the method. |
| Location | A class representing a location in the CFG for a method. |
| LockAnalysis | Analysis to determine where particular values are locked in a method. |
| LockCount | Dataflow value for representing the number of locks held. |
| LockCountAnalysis | Family of dataflow analyses for counting the number of locks held at points in a method. |
| LockCountDataflow | |
| LockDataflow | |
| LockSet | Lock counts for values (as produced by ValueNumberAnalysis). |
| LongExtraType | Special type used to represent the "extra" part of a long value. |
| NullType | Special type representing the null value. |
| OtherLockCountAnalysis | A dataflow analysis to count the number of times an object other than "this" has been locked. |
| PostDominatorsAnalysis | Dataflow analysis to compute postdominator sets for a CFG. |
| PruneInfeasibleExceptionEdges | Prune a CFG to remove infeasible exception edges. |
| PruneInfeasibleExceptionEdges.MarkedEdge | A momento to remind us of how we classified a particular exception edge. |
| PruneUnconditionalExceptionThrowerEdges | |
| RepositoryClassParser | A special version of ClassParser that automatically enters parsed classes into the Repository. |
| ResourceValue | |
| ResourceValueAnalysis<Resource> | |
| ResourceValueAnalysisTestDriver<Resource,ResourceTrackerType extends ResourceTracker<Resource>> | |
| ResourceValueFrame | |
| ResourceValueFrameModelingVisitor | |
| ReturnPath | |
| ReturnPathAnalysis | |
| ReturnPathDataflow | |
| ReverseDepthFirstSearch | Algorithm to perform a reverse depth first search on a CFG. |
| ReverseDFSOrder | A BlockOrder for visiting the blocks of a CFG in the order they would be visited in a depth first search of the reversed CFG. |
| ReverseDFSOrder.ReverseDFSComparator | |
| ReversePostfixOrder | A BlockOrder for visiting the blocks of a CFG in the reverse of the order in which they are finished in a depth first search. |
| ReversePostfixOrder.ReversePostfixComparator | A Comparator to order the blocks in the reverse of the order in which they would be finished by a depth first search. |
| SignatureConverter | Convert part or all of a Java type signature into something closer to what types look like in the source code. |
| SignatureParser | A simple class to parse method signatures. |
| SimplePathEnumerator | Object to enumerate (some subset of) the simple paths in a CFG. |
| SourceFile | Cached data for a source file. |
| SourceFile.LineNumberMapBuilder | Helper object to build map of line number to byte offset for a source file. |
| SourceFinder | Class to open input streams on source files. |
| SourceFinder.Cache | Cache of SourceFiles. |
| SourceFinder.DirectorySourceRepository | A directory containing source files. |
| SourceFinder.ZipSourceRepository | A zip or jar archive containing source files. |
| StackDepth | Dataflow fact to represent the depth of the Java operand stack. |
| StackDepthAnalysis | A really simple forward dataflow analysis to find the depth of the Java operand stack. |
| StandardTypeMerger | A TypeMerger which applies standard Java semantics when merging Types. |
| StaticField | |
| Target | The target of a branch instruction. |
| TargetEnumeratingVisitor | Visitor to find all of the targets of an instruction whose InstructionHandle is given. |
| ThrownException | An exception thrown from an instruction. |
| TopType | Special "top" type. |
| TypeAnalysis | A forward dataflow analysis to determine the types of all values in the Java stack frame at all points in a Java method. |
| TypeDataflow | |
| TypeFrame | A specialization of Frame for determining the types
of values in the Java stack frame (locals and operand stack). |
| TypeFrameModelingVisitor | Visitor to model the effects of bytecode instructions on the types of the values (local and operand stack) in Java stack frames. |
| ValueNumber | A "value number" is a value produced somewhere in a methods. |
| ValueNumberAnalysis | A dataflow analysis to track the production and flow of values in the Java stack frame. |
| ValueNumberAnalysis.ValueCompacter | |
| ValueNumberCache | A cache mapping instructions and input values to the output values they produce. |
| ValueNumberCache.Entry | An entry in the cache. |
| ValueNumberDataflow | |
| ValueNumberFactory | Factory for ValueNumbers. |
| ValueNumberFrame | A dataflow value representing a Java stack frame with value number information. |
| ValueNumberFrameModelingVisitor | Visitor which models the effects of bytecode instructions on value numbers of values in the operand stack frames. |
| ZipSourceFileDataSource | A source file data source for source files residing in Zip or Jar archives. |
| Exception Summary | |
|---|---|
| AnalysisException | A kind of runtime exception that can be thrown to indicate a fatal error in an analysis. |
| CFGBuilderException | |
| DataflowAnalysisException | Exception type to indicate a dataflow analysis failure. |
| InnerClassAccessMap.LookupFailure | |
A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||