Uses of Class
edu.umd.cs.findbugs.ba.DataflowAnalysisException

Packages that use DataflowAnalysisException

Package	Description
edu.umd.cs.findbugs	Main package for the FindBugs application - contains the engine class (FindBugs), the object model classes for bug instances (BugInstance, BugAnnotation), and other miscellany.
edu.umd.cs.findbugs.ba	A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.
edu.umd.cs.findbugs.ba.bcp
edu.umd.cs.findbugs.ba.ca
edu.umd.cs.findbugs.ba.constant
edu.umd.cs.findbugs.ba.deref
edu.umd.cs.findbugs.ba.heap
edu.umd.cs.findbugs.ba.jsr305	Support for analyzing code containing JSR-305 type qualifier annotations.
edu.umd.cs.findbugs.ba.npe
edu.umd.cs.findbugs.ba.obl	Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g., database objects) are satisfied.
edu.umd.cs.findbugs.ba.type
edu.umd.cs.findbugs.ba.vna
edu.umd.cs.findbugs.classfile.engine.bcel	Support for analyses based on the BCEL bytecode framework.
edu.umd.cs.findbugs.detect

Uses of DataflowAnalysisException in edu.umd.cs.findbugs

Methods in edu.umd.cs.findbugs that throw DataflowAnalysisException

Modifier and Type	Method	Description
void	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.ba

Modifier and Type	Class	Description
class	MissingClassException	DataflowAnalysisException variant to report a class lookup failure that caused dataflow analysis to abort.

Methods in edu.umd.cs.findbugs.ba that throw DataflowAnalysisException

Modifier and Type	Method	Description
void	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()
ValueType	Frame.getArgument(org.apache.bcel.generic.InvokeInstruction ins, org.apache.bcel.generic.ConstantPoolGen cpg, int i, int numArguments)	Deprecated.
ValueType	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.
BitSet	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.
BlockTypeDataflow	ClassContext.getBlockTypeDataflow(org.apache.bcel.classfile.Method method)	Get BlockType dataflow for given method.
CallListDataflow	ClassContext.getCallListDataflow(org.apache.bcel.classfile.Method method)	Get CallListDataflow for method.
ConstantDataflow	ClassContext.getConstantDataflow(org.apache.bcel.classfile.Method method)	Get ConstantDataflow for method.
Fact	AbstractDataflowAnalysis.getFactAfterLocation(Location location)	Get the dataflow fact representing the point just after given Location.
Fact	BasicAbstractDataflowAnalysis.getFactAfterLocation(Location location)	Get the dataflow fact representing the point just after given Location.
Fact	Dataflow.getFactAfterLocation(Location location)	Get the dataflow fact representing the point just after given Location.
Fact	DataflowAnalysis.getFactAfterLocation(Location location)	Get the dataflow fact representing the point just after given Location.
Fact	AbstractDataflowAnalysis.getFactAtLocation(Location location)	Get the dataflow fact representing the point just before given Location.
Fact	BasicAbstractDataflowAnalysis.getFactAtLocation(Location location)	Get dataflow fact at (just before) given Location.
Fact	Dataflow.getFactAtLocation(Location location)	Get dataflow fact at (just before) given Location.
Fact	DataflowAnalysis.getFactAtLocation(Location location)	Get dataflow fact at (just before) given Location.
LockSet	LockChecker.getFactAtLocation(Location location)	Get LockSet at given Location.
FrameType	FrameDataflowAnalysis.getFactAtPC(CFG cfg, int pc)	Get the dataflow fact representing the point just before given Location.
FrameType	FrameDataflowAnalysis.getFactBeforeExceptionCheck(CFG cfg, int pc)	Get the dataflow fact representing the point just before given Location.
Fact	AbstractDataflow.getFactOnEdge(Edge edge)	Get the fact that is true on the given control edge.
Fact	BasicAbstractDataflowAnalysis.getFactOnEdge(Edge edge)	Get the fact that is true on the given control edge, after applying the edge transfer function (if any).
Fact	Dataflow.getFactOnEdge(Edge edge)	Get the fact that is true on the given control edge.
Fact	DataflowAnalysis.getFactOnEdge(Edge edge)	Get the fact that is true on the given control edge.
ValueType	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.
IsNullValueDataflow	ClassContext.getIsNullValueDataflow(org.apache.bcel.classfile.Method method)	Get an IsNullValueDataflow for given method.
LiveLocalStoreDataflow	ClassContext.getLiveLocalStoreDataflow(org.apache.bcel.classfile.Method method)	Get LiveLocalStoreAnalysis dataflow for given method.
LoadDataflow	ClassContext.getLoadDataflow(org.apache.bcel.classfile.Method method)	Get load dataflow.
LockChecker	ClassContext.getLockChecker(org.apache.bcel.classfile.Method method)	Get LockChecker for method.
LockDataflow	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)
DominatorsAnalysis	ClassContext.getNonExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)	Get DominatorsAnalysis for given method, where exception edges are ignored.
PostDominatorsAnalysis	ClassContext.getNonExceptionPostDominatorsAnalysis(org.apache.bcel.classfile.Method method)	Get PostDominatorsAnalysis for given method, where exception edges are ignored.
DominatorsAnalysis	ClassContext.getNonImplicitExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)	Get DominatorsAnalysis for given method, where implicit exception edges are ignored.
PostDominatorsAnalysis	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.
ValueType	Frame.getOperand(org.apache.bcel.generic.StackConsumer ins, org.apache.bcel.generic.ConstantPoolGen cpg, int i)	Get the ith operand used by given instruction.
ReturnPathDataflow	ClassContext.getReturnPathDataflow(org.apache.bcel.classfile.Method method)	Get ReturnPathDataflow for method.
ReturnPathTypeDataflow	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.
ValueType	Frame.getStackValue(int loc)	Get a value on the operand stack.
StoreDataflow	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.
ValueType	Frame.getTopValue()	Get the value on the top of the Java operand stack.
TypeDataflow	ClassContext.getTypeDataflow(org.apache.bcel.classfile.Method method)	Get a TypeDataflow for given method.
UnconditionalValueDerefDataflow	ClassContext.getUnconditionalValueDerefDataflow(org.apache.bcel.classfile.Method method)	Get the UnconditionalValueDerefDataflow for a method.
UsagesRequiringNonNullValues	ClassContext.getUsagesRequiringNonNullValues(org.apache.bcel.classfile.Method method)	Get a UsagesRequiringNonNullValues for given method.
ValueNumberDataflow	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.
Resource	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	AbstractDominatorsAnalysis.meetInto(BitSet fact, Edge edge, BitSet result)
void	BlockTypeAnalysis.meetInto(BlockType fact, Edge edge, BlockType result)
void	DataflowAnalysis.meetInto(Fact fact, Edge edge, Fact result)	Meet a dataflow fact associated with an incoming edge into another fact.
void	LiveLocalStoreAnalysis.meetInto(BitSet fact, Edge edge, BitSet result)
void	LockAnalysis.meetInto(LockSet fact, Edge edge, LockSet result)
void	ResourceValueAnalysis.meetInto(ResourceValueFrame fact, Edge edge, ResourceValueFrame result)
void	ReturnPathAnalysis.meetInto(ReturnPath fact, Edge edge, ReturnPath result)
protected void	FrameDataflowAnalysis.mergeInto(FrameType other, FrameType result)	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.
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)
ValueType	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.
static Set<XMethod>	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 DataflowAnalysisException

Modifier and Type	Method	Description
private void	PatternMatcher.attemptMatch(BasicBlock basicBlock, BasicBlock.InstructionIterator instructionIterator)	Attempt to begin a match.
Iterable<PatternMatcher.State>	PatternMatcher.State.dominatedInstructionStateIterable()	Return Iterator over states representing dominated instructions that continue the match.
PatternMatcher	PatternMatcher.execute()	Search for examples of the ByteCodePattern.
MatchResult	IfNull.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	Invoke.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	Load.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	MatchAny.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	Monitorenter.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	New.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	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.
MatchResult	Store.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	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)
MatchResult	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 DataflowAnalysisException

Modifier	Constructor	Description
	PatternMatcher(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 DataflowAnalysisException

Modifier and Type	Method	Description
void	CallListAnalysis.meetInto(CallList start, Edge edge, CallList result)
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 DataflowAnalysisException

Modifier and Type	Method	Description
void	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 DataflowAnalysisException

Modifier and Type	Method	Description
static 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 DataflowAnalysisException

Modifier and Type	Method	Description
void	FieldSetAnalysis.initEntryFact(FieldSet result)
void	FieldSetAnalysis.meetInto(FieldSet fact, Edge edge, FieldSet result)
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 DataflowAnalysisException

Modifier and Type	Method	Description
void	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 DataflowAnalysisException

Modifier and Type	Method	Description
private 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.
IsNullValueFrame	IsNullValueAnalysis.getFactAtMidEdge(Edge edge)
IsNullValueFrame	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.obl

Modifier and Type	Class	Description
class	ObligationAcquiredOrReleasedInLoopException	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 DataflowAnalysisException

Modifier and Type	Method	Description
private 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	ObligationAnalysis.meetInto(StateSet fact, Edge edge, StateSet result)
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 DataflowAnalysisException

Modifier and Type	Method	Description
void	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	TypeAnalysis.meetInto(TypeFrame fact, Edge edge, TypeFrame result)
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 DataflowAnalysisException

Modifier and Type	Method	Description
static 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 DataflowAnalysisException

Modifier and Type	Method	Description
ValueRangeAnalysisFactory.Condition	ValueRangeAnalysisFactory.Context.extractCondition(ValueRangeAnalysisFactory.BackIterator iterator)
private ValueRangeAnalysisFactory.Condition	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 DataflowAnalysisException

Modifier and Type	Method	Description
private 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	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	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)
private static Set<CallSite>	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.LockResourceTracker	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)
Lock	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	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)
TypeFrame	FindUselessObjects.GenLocation.typeFrameBefore()
TypeFrame	FindUselessObjects.RegularLocation.typeFrameBefore()
void	FindTwoLockWait.visitLocation(ClassContext classContext, Location location, org.apache.bcel.generic.MethodGen methodGen, LockDataflow dataflow)