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.
Support for analyzing code containing JSR-305 type qualifier annotations.
-
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) abstract ResourceTrackerType
ResourceTrackingDetector.getResourceTracker
(ClassContext classContext, org.apache.bcel.classfile.Method method) 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.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.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.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 TypeMethodDescriptionPatternMatcher.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) 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.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) static Set<ValueNumber>
UnconditionalValueDerefAnalysis.checkNonNullParams
(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueFrame invFrame) static Set<ValueNumber>
UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase
(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, IsNullValueFrame invFrame, TypeDataflow typeDataflow) 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) void
BackwardTypeQualifierDataflowAnalysis.registerSourceSinkLocations()
void
ForwardTypeQualifierDataflowAnalysis.registerSourceSinkLocations()
abstract void
TypeQualifierDataflowAnalysis.registerSourceSinkLocations()
This method must be called before the dataflow analysis is executed.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 TypeMethodDescriptionvoid
IsNullValueFrameModelingVisitor.analyzeInstruction
(org.apache.bcel.generic.Instruction ins) 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) 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 TypeMethodDescriptionvoid
ObligationAnalysis.edgeTransfer
(Edge edge, StateSet fact) void
ObligationAnalysis.initEntryFact
(StateSet fact) void
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) void
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.detect
Methods in edu.umd.cs.findbugs.detect that throw DataflowAnalysisExceptionModifier and TypeMethodDescriptionvoid
FindOpenStream.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method, StreamResourceTracker resourceTracker, ResourceCollection<Stream> resourceCollection) edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker
FindUnreleasedLock.getResourceTracker
(ClassContext classContext, org.apache.bcel.classfile.Method method) boolean
StreamResourceTracker.mightCloseResource
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg) void
LazyInit.reportMatch
(ClassContext classContext, org.apache.bcel.classfile.Method method, ByteCodePatternMatch match) void
StreamFrameModelingVisitor.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock) void
FindTwoLockWait.visitLocation
(ClassContext classContext, Location location, org.apache.bcel.generic.MethodGen methodGen, LockDataflow dataflow)