Uses of Class
edu.umd.cs.findbugs.ba.DataflowAnalysisException
Packages that use DataflowAnalysisException
Package
Description
Main package for the FindBugs application - contains the engine class
(
FindBugs
), the object model classes for bug
instances (BugInstance
,
BugAnnotation
), and other miscellany.A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
Support for analyzing code containing JSR-305 type qualifier annotations.
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
Support for analyses based on the BCEL bytecode framework.
-
Uses of DataflowAnalysisException in edu.umd.cs.findbugs
Methods in edu.umd.cs.findbugs that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionvoid
ResourceTrackingDetector.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method, ResourceTrackerType resourceTracker, ResourceCollection<Resource> resourceCollection) private ResourceCollection
<Resource> ResourceTrackingDetector.buildResourceCollection
(ClassContext classContext, org.apache.bcel.classfile.Method method, ResourceTrackerType resourceTracker) abstract ResourceTrackerType
ResourceTrackingDetector.getResourceTracker
(ClassContext classContext, org.apache.bcel.classfile.Method method) private boolean
ResourceTrackingDetector.mightCloseResource
(ClassContext classContext, org.apache.bcel.classfile.Method method, ResourceTrackerType resourceTracker) abstract void
ByteCodePatternDetector.reportMatch
(ClassContext classContext, org.apache.bcel.classfile.Method method, ByteCodePatternMatch match) Called to report an instance of the ByteCodePattern. -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba
Subclasses of DataflowAnalysisException in edu.umd.cs.findbugs.baModifier and TypeClassDescriptionclass
DataflowAnalysisException variant to report a class lookup failure that caused dataflow analysis to abort.Methods in edu.umd.cs.findbugs.ba that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionvoid
AbstractFrameModelingVisitor.analyzeInstruction
(org.apache.bcel.generic.Instruction ins) Analyze the given Instruction.static void
ClassContext.dumpDataflowInformation
(org.apache.bcel.classfile.Method method, CFG cfg, ValueNumberDataflow vnd, IsNullValueDataflow inv, UnconditionalValueDerefDataflow dataflow, TypeDataflow typeDataflow) static void
ClassContext.dumpLiveLocalStoreDataflow
(MethodDescriptor method, CFG cfg, LiveLocalStoreDataflow dataflow) static void
ClassContext.dumpTypeDataflow
(org.apache.bcel.classfile.Method method, CFG cfg, TypeDataflow typeDataflow) void
BasicAbstractDataflowAnalysis.edgeTransfer
(Edge edge, Fact fact) void
DataflowAnalysis.edgeTransfer
(Edge edge, Fact fact) Edge transfer function.void
Dataflow.execute()
Run the algorithm.void
PruneUnconditionalExceptionThrowerEdges.execute()
Frame.getArgument
(org.apache.bcel.generic.InvokeInstruction ins, org.apache.bcel.generic.ConstantPoolGen cpg, int i, int numArguments) Deprecated.Frame.getArgument
(org.apache.bcel.generic.InvokeInstruction ins, org.apache.bcel.generic.ConstantPoolGen cpg, int i, SignatureParser sigParser) Get the ith argument passed to given method invocation.Frame.getArgumentSet
(org.apache.bcel.generic.InvokeInstruction invokeInstruction, org.apache.bcel.generic.ConstantPoolGen cpg, DataflowValueChooser<ValueType> chooser) Get set of arguments passed to a method invocation which match given predicate.ClassContext.getBlockTypeDataflow
(org.apache.bcel.classfile.Method method) Get BlockType dataflow for given method.ClassContext.getCallListDataflow
(org.apache.bcel.classfile.Method method) Get CallListDataflow for method.ClassContext.getConstantDataflow
(org.apache.bcel.classfile.Method method) Get ConstantDataflow for method.AbstractDataflowAnalysis.getFactAfterLocation
(Location location) Get the dataflow fact representing the point just after given Location.BasicAbstractDataflowAnalysis.getFactAfterLocation
(Location location) Get the dataflow fact representing the point just after given Location.Dataflow.getFactAfterLocation
(Location location) Get the dataflow fact representing the point just after given Location.DataflowAnalysis.getFactAfterLocation
(Location location) Get the dataflow fact representing the point just after given Location.AbstractDataflowAnalysis.getFactAtLocation
(Location location) Get the dataflow fact representing the point just before given Location.BasicAbstractDataflowAnalysis.getFactAtLocation
(Location location) Get dataflow fact at (just before) given Location.Dataflow.getFactAtLocation
(Location location) Get dataflow fact at (just before) given Location.DataflowAnalysis.getFactAtLocation
(Location location) Get dataflow fact at (just before) given Location.LockChecker.getFactAtLocation
(Location location) Get LockSet at given Location.FrameDataflowAnalysis.getFactAtPC
(CFG cfg, int pc) Get the dataflow fact representing the point just before given Location.FrameDataflowAnalysis.getFactBeforeExceptionCheck
(CFG cfg, int pc) Get the dataflow fact representing the point just before given Location.AbstractDataflow.getFactOnEdge
(Edge edge) Get the fact that is true on the given control edge.BasicAbstractDataflowAnalysis.getFactOnEdge
(Edge edge) Get the fact that is true on the given control edge, after applying the edge transfer function (if any).Dataflow.getFactOnEdge
(Edge edge) Get the fact that is true on the given control edge.DataflowAnalysis.getFactOnEdge
(Edge edge) Get the fact that is true on the given control edge.Frame.getInstance
(org.apache.bcel.generic.Instruction ins, org.apache.bcel.generic.ConstantPoolGen cpg) Get the value corresponding to the object instance used in the given instruction.int
Frame.getInstanceSlot
(org.apache.bcel.generic.Instruction ins, org.apache.bcel.generic.ConstantPoolGen cpg) Get the slot the object instance referred to by given instruction is located in.int
Frame.getInstanceStackLocation
(org.apache.bcel.generic.Instruction ins, org.apache.bcel.generic.ConstantPoolGen cpg) Get the stack location (counting down from top of stack, starting at 0) containing the object instance referred to by given instruction.ClassContext.getIsNullValueDataflow
(org.apache.bcel.classfile.Method method) Get an IsNullValueDataflow for given method.ClassContext.getLiveLocalStoreDataflow
(org.apache.bcel.classfile.Method method) Get LiveLocalStoreAnalysis dataflow for given method.ClassContext.getLoadDataflow
(org.apache.bcel.classfile.Method method) Get load dataflow.ClassContext.getLockChecker
(org.apache.bcel.classfile.Method method) Get LockChecker for method.ClassContext.getLockDataflow
(org.apache.bcel.classfile.Method method) Get dataflow for LockAnalysis for given method.private <Analysis> Analysis
ClassContext.getMethodAnalysis
(Class<Analysis> analysisClass, org.apache.bcel.classfile.Method method) ClassContext.getNonExceptionDominatorsAnalysis
(org.apache.bcel.classfile.Method method) Get DominatorsAnalysis for given method, where exception edges are ignored.ClassContext.getNonExceptionPostDominatorsAnalysis
(org.apache.bcel.classfile.Method method) Get PostDominatorsAnalysis for given method, where exception edges are ignored.ClassContext.getNonImplicitExceptionDominatorsAnalysis
(org.apache.bcel.classfile.Method method) Get DominatorsAnalysis for given method, where implicit exception edges are ignored.ClassContext.getNonImplicitExceptionPostDominatorsAnalysis
(org.apache.bcel.classfile.Method method) Get PostDominatorsAnalysis for given method, where implicit exception edges are ignored.int
Frame.getNumArgumentsIncludingObjectInstance
(org.apache.bcel.generic.InvokeInstruction ins, org.apache.bcel.generic.ConstantPoolGen cpg) Get the number of arguments passed to given method invocation, including the object instance if the call is to an instance method.Frame.getOperand
(org.apache.bcel.generic.StackConsumer ins, org.apache.bcel.generic.ConstantPoolGen cpg, int i) Get the ith operand used by given instruction.ClassContext.getReturnPathDataflow
(org.apache.bcel.classfile.Method method) Get ReturnPathDataflow for method.ClassContext.getReturnPathTypeDataflow
(org.apache.bcel.classfile.Method method) Get ReturnPathTypeDataflow for a method.int
Frame.getStackLocation
(int loc) Get a the location in the frame of a value on the operand stack.Frame.getStackValue
(int loc) Get a value on the operand stack.ClassContext.getStoreDataflow
(org.apache.bcel.classfile.Method method) Get store dataflow.void
Frame.getTopStackWords
(ValueType[] valueList) Get the values on the top of the Java operand stack.Frame.getTopValue()
Get the value on the top of the Java operand stack.ClassContext.getTypeDataflow
(org.apache.bcel.classfile.Method method) Get a TypeDataflow for given method.ClassContext.getUnconditionalValueDerefDataflow
(org.apache.bcel.classfile.Method method) Get the UnconditionalValueDerefDataflow for a method.ClassContext.getUsagesRequiringNonNullValues
(org.apache.bcel.classfile.Method method) Get a UsagesRequiringNonNullValues for given method.ClassContext.getValueNumberDataflow
(org.apache.bcel.classfile.Method method) Get a ValueNumberDataflow for given method.void
BlockTypeAnalysis.initEntryFact
(BlockType result) void
DataflowAnalysis.initEntryFact
(Fact result) Initialize the "entry" fact for the graph.void
LiveLocalStoreAnalysis.initEntryFact
(BitSet result) boolean
ResourceTracker.isResourceClose
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Resource resource, ResourceValueFrame frame) Determine if the given instruction is the site where a resource is closed.ResourceTracker.isResourceCreation
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg) Determine if the given instruction is the site where a resource is created.void
void
void
Meet a dataflow fact associated with an incoming edge into another fact.void
void
void
ResourceValueAnalysis.meetInto
(ResourceValueFrame fact, Edge edge, ResourceValueFrame result) void
ReturnPathAnalysis.meetInto
(ReturnPath fact, Edge edge, ReturnPath result) protected void
Merge one frame into another.protected void
ResourceValueAnalysis.mergeInto
(ResourceValueFrame frame, ResourceValueFrame result) protected abstract void
FrameDataflowAnalysis.mergeValues
(FrameType otherFrame, FrameType resultFrame, int slot) Merge the values contained in a given slot of two Frames.protected void
ResourceValueAnalysis.mergeValues
(ResourceValueFrame otherFrame, ResourceValueFrame resultFrame, int slot) boolean
ResourceTracker.mightCloseResource
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg) Determine if the given instruction is the site where a resource is closed.private void
LockAnalysis.modifyLock
(ValueNumberFrame frame, LockSet fact, int delta) Frame.popValue()
Pop a value off of the Java operand stack.static Set
<JavaClassAndMethod> Hierarchy.resolveMethodCallTargets
(org.apache.bcel.generic.InvokeInstruction invokeInstruction, TypeFrame typeFrame, org.apache.bcel.generic.ConstantPoolGen cpg) Resolve possible method call targets.Hierarchy2.resolveMethodCallTargets
(org.apache.bcel.generic.InvokeInstruction invokeInstruction, TypeFrame typeFrame, org.apache.bcel.generic.ConstantPoolGen cpg) Resolve possible method call targets.void
AbstractDataflowAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, Fact start, Fact result) void
AbstractDominatorsAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, BitSet start, BitSet result) void
BlockTypeAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, BlockType start, BlockType result) void
DataflowAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, Fact start, Fact result) Transfer function for the analysis.abstract void
AbstractDataflowAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, Fact fact) Transfer function for a single instruction.void
LiveLocalStoreAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, BitSet fact) void
LockAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, LockSet fact) void
ResourceValueAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ResourceValueFrame fact) abstract void
ResourceValueFrameModelingVisitor.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock) Subclasses must override this to model the effect of the given instruction on the current frame.void
ReturnPathAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ReturnPath fact) void
StackDepthAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, StackDepth fact) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.bcp
Methods in edu.umd.cs.findbugs.ba.bcp that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionprivate void
PatternMatcher.attemptMatch
(BasicBlock basicBlock, BasicBlock.InstructionIterator instructionIterator) Attempt to begin a match.PatternMatcher.State.dominatedInstructionStateIterable()
Return Iterator over states representing dominated instructions that continue the match.PatternMatcher.execute()
Search for examples of the ByteCodePattern.IfNull.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Invoke.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Load.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) MatchAny.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Monitorenter.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) New.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Opcode.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) abstract MatchResult
PatternElement.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Return whether or not this element matches the given instruction with the given Bindings in effect.Store.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Wild.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) private MatchResult
PatternMatcher.State.matchLocation
(Location location) PatternMatcher.State.matchNextInBasicBlock()
Match current pattern element with next instruction in basic block.protected static Variable
FieldAccess.snarfFieldValue
(org.apache.bcel.generic.FieldInstruction fieldIns, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame frame) Get a Variable representing the stack value which will either be stored into or loaded from a field.private void
PatternMatcher.work
(PatternMatcher.State state) Constructors in edu.umd.cs.findbugs.ba.bcp that throw DataflowAnalysisExceptionModifierConstructorDescriptionPatternMatcher
(ByteCodePattern pattern, ClassContext classContext, org.apache.bcel.classfile.Method method) Constructor. -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.ca
Methods in edu.umd.cs.findbugs.ba.ca that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionvoid
void
CallListAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, CallList fact) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.constant
Methods in edu.umd.cs.findbugs.ba.constant that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionvoid
ConstantAnalysis.meetInto
(ConstantFrame fact, Edge edge, ConstantFrame result) protected void
ConstantAnalysis.mergeValues
(ConstantFrame otherFrame, ConstantFrame resultFrame, int slot) void
ConstantAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ConstantFrame frame) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.deref
Methods in edu.umd.cs.findbugs.ba.deref that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionstatic Set
<ValueNumber> UnconditionalValueDerefAnalysis.checkAllNonNullParams
(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueDataflow invDataflow, TypeDataflow typeDataflow) private void
UnconditionalValueDerefAnalysis.checkInstance
(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) Check to see if the instruction has a null check associated with it, and if so, add a dereference.private void
UnconditionalValueDerefAnalysis.checkNonNullParams
(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) If this is a method call instruction, check to see if any of the parameters are @NonNull, and treat them as dereferences.static Set
<ValueNumber> UnconditionalValueDerefAnalysis.checkNonNullParams
(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueFrame invFrame) private void
UnconditionalValueDerefAnalysis.checkNonNullPutField
(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) If this is a putfield or putstatic instruction, check to see if the field is @NonNull, and treat it as dereferences.private void
UnconditionalValueDerefAnalysis.checkNonNullReturnValue
(XMethod thisMethod, Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) If this is a method call instruction, check to see if any of the parameters are @NonNull, and treat them as dereferences.private void
UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase
(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) Check method call at given location to see if it unconditionally dereferences a parameter.static Set
<ValueNumber> UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase
(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, IsNullValueFrame invFrame, TypeDataflow typeDataflow) private void
UnconditionalValueDerefAnalysis.handleNullCheck
(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) void
UnconditionalValueDerefAnalysis.initEntryFact
(UnconditionalValueDerefSet result) void
UnconditionalValueDerefAnalysis.meetInto
(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result) static boolean
UnconditionalValueDerefAnalysis.reportPotentialDereference
(Location location, IsNullValueFrame invFrame) void
UnconditionalValueDerefAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, UnconditionalValueDerefSet fact) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.heap
Methods in edu.umd.cs.findbugs.ba.heap that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionvoid
FieldSetAnalysis.initEntryFact
(FieldSet result) void
void
FieldSetAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, FieldSet fact) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.jsr305
Methods in edu.umd.cs.findbugs.ba.jsr305 that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionvoid
BackwardTypeQualifierDataflowAnalysis.edgeTransfer
(Edge edge, TypeQualifierValueSet fact) void
TypeQualifierDataflowAnalysis.edgeTransfer
(Edge edge, TypeQualifierValueSet fact) protected ForwardTypeQualifierDataflow
ForwardTypeQualifierDataflowFactory.getDataflow
(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue) void
TypeQualifierDataflowAnalysis.initEntryFact
(TypeQualifierValueSet result) void
TypeQualifierDataflowAnalysis.meetInto
(TypeQualifierValueSet fact, Edge edge, TypeQualifierValueSet result) void
TypeQualifierValueSet.mergeWith
(TypeQualifierValueSet fact) private void
BackwardTypeQualifierDataflowAnalysis.modelArguments
(Location location) private void
BackwardTypeQualifierDataflowAnalysis.modelFieldStore
(Location location) private void
BackwardTypeQualifierDataflowAnalysis.modelReturn
(TypeQualifierAnnotation returnValueAnnotation, Location location) private void
ForwardTypeQualifierDataflowAnalysis.registerConstantPushSource
(Location location) private void
ForwardTypeQualifierDataflowAnalysis.registerConstantSource
(Location location, Object constantValue) private void
ForwardTypeQualifierDataflowAnalysis.registerFieldLoadSource
(Location location) private void
BackwardTypeQualifierDataflowAnalysis.registerInstructionSinks()
private void
ForwardTypeQualifierDataflowAnalysis.registerInstructionSources()
private void
ForwardTypeQualifierDataflowAnalysis.registerLDC2ValueSource
(Location location) private void
ForwardTypeQualifierDataflowAnalysis.registerLDCValueSource
(Location location) private void
ForwardTypeQualifierDataflowAnalysis.registerOtherSource
(Location location) private void
ForwardTypeQualifierDataflowAnalysis.registerPushNullSource
(Location location) private void
ForwardTypeQualifierDataflowAnalysis.registerReturnValueSource
(Location location) void
BackwardTypeQualifierDataflowAnalysis.registerSourceSinkLocations()
void
ForwardTypeQualifierDataflowAnalysis.registerSourceSinkLocations()
abstract void
TypeQualifierDataflowAnalysis.registerSourceSinkLocations()
This method must be called before the dataflow analysis is executed.private void
ForwardTypeQualifierDataflowAnalysis.registerTopOfStackSource
(SourceSinkType sourceSinkType, Location location, javax.annotation.meta.When when, boolean interproc, Object constantValue) void
BackwardTypeQualifierDataflowAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeQualifierValueSet fact) void
TypeQualifierDataflowAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeQualifierValueSet fact) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.npe
Methods in edu.umd.cs.findbugs.ba.npe that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionprivate void
NullDerefAndRedundantComparisonFinder.analyzeIfNullBranch
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle lastHandle) This is called for both IFNULL and IFNONNULL instructions.void
IsNullValueFrameModelingVisitor.analyzeInstruction
(org.apache.bcel.generic.Instruction ins) private void
NullDerefAndRedundantComparisonFinder.analyzeNullCheck
(IsNullValueDataflow invDataflow, BasicBlock basicBlock) private void
NullDerefAndRedundantComparisonFinder.analyzeRefComparisonBranch
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle lastHandle) boolean
ReturnPathType.canReturnNormally()
void
NullDerefAndRedundantComparisonFinder.checkEdges
(CFG cfg, Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, Map<ValueNumber, SortedSet<Location>> bugEdgeLocationMap) void
IsNullValueAnalysis.endTransfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, IsNullValueFrame result) private void
NullDerefAndRedundantComparisonFinder.examineBasicBlocks()
Examine basic blocks for null checks and potentially-redundant null comparisons.private void
NullDerefAndRedundantComparisonFinder.examineNullValues()
Examine null values.private IsNullConditionDecision
IsNullValueAnalysis.getDecision
(BasicBlock basicBlock, IsNullValueFrame lastFrame) Determine if the given basic block ends in a redundant null comparison.IsNullValueAnalysis.getFactAtMidEdge
(Edge edge) IsNullValueDataflow.getFactAtMidEdge
(Edge edge) void
ReturnPathTypeAnalysis.initEntryFact
(ReturnPathType result) void
IsNullValueAnalysis.meetInto
(IsNullValueFrame fact, Edge edge, IsNullValueFrame result) void
IsNullValueAnalysis.meetInto
(IsNullValueFrame fact, Edge edge, IsNullValueFrame result, boolean propagatePhiNodeInformation) void
ReturnPathTypeAnalysis.meetInto
(ReturnPathType fact, Edge edge, ReturnPathType result) protected void
IsNullValueAnalysis.mergeInto
(IsNullValueFrame other, IsNullValueFrame result) protected void
IsNullValueAnalysis.mergeValues
(IsNullValueFrame otherFrame, IsNullValueFrame resultFrame, int slot) void
NullDerefAndRedundantComparisonFinder.reportBugs
(Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, HashSet<ValueNumber> npeIfStatementCovered, Map<ValueNumber, SortedSet<Location>> bugLocationMap, Map<ValueNumber, Set<Location>> nullValueAssignmentMap) void
IsNullValueAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, IsNullValueFrame start, IsNullValueFrame result) void
ReturnPathTypeAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, ReturnPathType start, ReturnPathType result) void
IsNullValueAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, IsNullValueFrame fact) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.obl
Subclasses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.oblModifier and TypeClassDescriptionclass
Exception to indicate that ObligationAnalysis has detected a situation in which an obligation is either acquired or released inside a loop.Methods in edu.umd.cs.findbugs.ba.obl that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionprivate org.apache.bcel.generic.Type
ObligationAnalysis.acmpNullCheck
(short opcode, Edge edge, org.apache.bcel.generic.InstructionHandle last, BasicBlock sourceBlock) private Obligation
ObligationAnalysis.comparesObligationTypeToNull
(Edge edge) void
ObligationAnalysis.edgeTransfer
(Edge edge, StateSet fact) void
ObligationAnalysis.initEntryFact
(StateSet fact) void
private org.apache.bcel.generic.Type
ObligationAnalysis.nullCheck
(short opcode, Edge edge, org.apache.bcel.generic.InstructionHandle last, BasicBlock sourceBlock) void
ObligationAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, StateSet start, StateSet result) void
ObligationAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, StateSet fact) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.type
Methods in edu.umd.cs.findbugs.ba.type that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionvoid
TypeFrameModelingVisitor.analyzeInstruction
(org.apache.bcel.generic.Instruction ins) private TypeAnalysis.CachedExceptionSet
TypeAnalysis.computeBlockExceptionSet
(BasicBlock basicBlock, TypeFrame result) Compute the set of exceptions that can be thrown from the given basic block.private ExceptionSet
TypeAnalysis.computeThrownExceptionTypes
(BasicBlock basicBlock) Compute the set of exception types that can be thrown by given basic block.private void
TypeAnalysis.computeThrownExceptionTypes
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame result) void
private org.apache.bcel.generic.Type
TypeFrameModelingVisitor.merge
(org.apache.bcel.generic.Type prevType, org.apache.bcel.generic.Type newType) protected org.apache.bcel.generic.ReferenceType
StandardTypeMerger.mergeReferenceTypes
(org.apache.bcel.generic.ReferenceType aRef, org.apache.bcel.generic.ReferenceType bRef) Default implementation of merging reference types.org.apache.bcel.generic.Type
StandardTypeMerger.mergeTypes
(org.apache.bcel.generic.Type a, org.apache.bcel.generic.Type b) org.apache.bcel.generic.Type
TypeMerger.mergeTypes
(org.apache.bcel.generic.Type a, org.apache.bcel.generic.Type b) Merge type Types.protected void
TypeAnalysis.mergeValues
(TypeFrame otherFrame, TypeFrame resultFrame, int slot) org.apache.bcel.generic.Type
TypeFrame.popValue()
Pop a value off of the Java operand stack.void
TypeAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame start, TypeFrame result) void
TypeAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeFrame fact) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.vna
Methods in edu.umd.cs.findbugs.ba.vna that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionstatic BugAnnotation
ValueNumberSourceInfo.getFromValueNumber
(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location, int stackPos) void
ValueNumberAnalysis.meetInto
(ValueNumberFrame fact, Edge edge, ValueNumberFrame result) protected void
ValueNumberAnalysis.mergeInto
(ValueNumberFrame frame, ValueNumberFrame result) protected void
ValueNumberAnalysis.mergeValues
(ValueNumberFrame otherFrame, ValueNumberFrame resultFrame, int slot) void
ValueNumberAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, ValueNumberFrame start, ValueNumberFrame result) void
ValueNumberAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ValueNumberFrame fact) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.classfile.engine.bcel
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionValueRangeAnalysisFactory.Context.extractCondition
(ValueRangeAnalysisFactory.BackIterator iterator) ValueRangeAnalysisFactory.Context.extractTwoArgCondition
(ValueRangeAnalysisFactory.BackIterator iterator, short cmpOpcode, String signature) private Object
ValueRangeAnalysisFactory.Context.extractValue
(ValueRangeAnalysisFactory.BackIterator iterator, String defSignature) -
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionprivate void
CallToUnconditionalThrower.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
CallToUnsupportedMethod.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
CheckCalls.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
DontIgnoreResultOfPutIfAbsent.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
DumbMethodInvocations.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindBadCast2.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindDeadLocalStores.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindInconsistentSync2.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method, Set<org.apache.bcel.classfile.Method> lockedMethodSet) private void
FindMismatchedWaitOrNotify.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindNonSerializableStoreIntoSession.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindNonSerializableValuePassedToWriteObject.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindNullDeref.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) void
FindOpenStream.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method, StreamResourceTracker resourceTracker, ResourceCollection<Stream> resourceCollection) private void
FindRefComparison.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindSelfComparison2.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindSleepWithLockHeld.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindSqlInjection.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindTwoLockWait.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindUnrelatedTypesInGenericContainer.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
FindUseOfNonSerializableValue.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
LoadOfKnownNullValue.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
NoiseNullDeref.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
TrainFieldStoreTypes.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
CheckTypeQualifiers.checkDataflow
(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow) private void
FindRefComparison.checkEqualsComparison
(Location location, org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow) private void
CheckTypeQualifiers.checkForEqualityTest
(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, Location loc, ValueNumberFrame factAtLocation) private void
FindSelfComparison2.checkForSelfOperation
(ClassContext classContext, Location location, ValueNumberDataflow valueNumberDataflow, String op, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, String sourceFile) private void
FindRefComparison.checkRefComparison
(Location location, org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, FindRefComparison.RefComparisonTypeFrameModelingVisitor visitor, TypeDataflow typeDataflow, List<FindRefComparison.WarningWithProperties> stringComparisonList, List<FindRefComparison.WarningWithProperties> refComparisonList) private void
FindNullDeref.checkUnconditionallyDereferencedParam
(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, org.apache.bcel.generic.InvokeInstruction invokeInstruction, BitSet nullArgSet, BitSet definitelyNullArgSet) private void
CheckTypeQualifiers.checkValueSources
(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow) private void
FindNullDeref.examineCallSite
(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow) private void
FindNullDeref.examinePutfieldInstruction
(Location location, org.apache.bcel.generic.PUTFIELD ins, org.apache.bcel.generic.ConstantPoolGen cpg) private void
FindNullDeref.examineReturnInstruction
(Location location) FindInconsistentSync2.findObviouslyLockedCallSites
(ClassContext classContext, SelfCalls selfCalls) Find all self-call sites that are obviously locked.private BitSet
FindNullDeref.findPreviouslyDeadBlocks()
Find set of blocks which were known to be dead before doing the null pointer analysis.private BitSet
NoiseNullDeref.findPreviouslyDeadBlocks()
Find set of blocks which were known to be dead before doing the null pointer analysis.private Set
<ValueNumber> FindBadCast2.getParameterValueNumbers
(ClassContext classContext, org.apache.bcel.classfile.Method method, CFG cfg) FindUnreleasedLock.getResourceTracker
(ClassContext classContext, org.apache.bcel.classfile.Method method) (package private) void
FindUselessObjects.UselessValuesContext.initObservedValues()
private void
FindRefComparison.inspectLocation
(org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.generic.ConstantPoolGen cpg, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, LinkedList<FindRefComparison.WarningWithProperties> refComparisonList, LinkedList<FindRefComparison.WarningWithProperties> stringComparisonList, FindRefComparison.RefComparisonTypeFrameModelingVisitor visitor, TypeDataflow typeDataflow, Location location) boolean
FindUnreleasedLock.LockResourceTracker.isResourceClose
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Lock resource, ResourceValueFrame frame) FindUnreleasedLock.LockResourceTracker.isResourceCreation
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg) protected org.apache.bcel.generic.ReferenceType
FindRefComparison.RefComparisonTypeMerger.mergeReferenceTypes
(org.apache.bcel.generic.ReferenceType aRef, org.apache.bcel.generic.ReferenceType bRef) boolean
FindUnreleasedLock.LockResourceTracker.mightCloseResource
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg) boolean
StreamResourceTracker.mightCloseResource
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg) (package private) boolean
FindUselessObjects.UselessValuesContext.propagateToReturnValue
(Set<FindUselessObjects.ValueInfo> vals, ValueNumber vn, FindUselessObjects.GenLocation location, MethodDescriptor m) void
LazyInit.reportMatch
(ClassContext classContext, org.apache.bcel.classfile.Method method, ByteCodePatternMatch match) void
FindUnreleasedLock.LockFrameModelingVisitor.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock) void
StreamFrameModelingVisitor.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock) FindUselessObjects.GenLocation.typeFrameBefore()
FindUselessObjects.RegularLocation.typeFrameBefore()
void
FindTwoLockWait.visitLocation
(ClassContext classContext, Location location, org.apache.bcel.generic.MethodGen methodGen, LockDataflow dataflow)