|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DataflowAnalysisException | |
---|---|
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.npe2 | This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. |
edu.umd.cs.findbugs.ba.obl | Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g. |
edu.umd.cs.findbugs.ba.type | |
edu.umd.cs.findbugs.ba.vna | |
edu.umd.cs.findbugs.detect |
Uses of DataflowAnalysisException in edu.umd.cs.findbugs |
---|
Methods in edu.umd.cs.findbugs that throw DataflowAnalysisException | |
---|---|
void |
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.ba | |
---|---|
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 | |
---|---|
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 |
PruneUnconditionalExceptionThrowerEdges.execute()
|
void |
Dataflow.execute()
Run the algorithm. |
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. |
java.util.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. |
DefinitelyNullSetDataflow |
ClassContext.getDefinitelyNullSetDataflow(org.apache.bcel.classfile.Method method)
Get DefinitelyNullSetDataflow for a method. |
Fact |
BasicAbstractDataflowAnalysis.getFactAfterLocation(Location location)
Get the dataflow fact representing the point just after given Location. |
Fact |
AbstractDataflowAnalysis.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 |
Dataflow.getFactAfterLocation(Location location)
Get the dataflow fact representing the point just after given Location. |
Fact |
BasicAbstractDataflowAnalysis.getFactAtLocation(Location location)
Get dataflow fact at (just before) given Location. |
Fact |
AbstractDataflowAnalysis.getFactAtLocation(Location location)
Get the dataflow fact representing the point 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. |
Fact |
Dataflow.getFactAtLocation(Location location)
Get dataflow fact at (just before) given Location. |
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 |
AbstractDataflow.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. |
Fact |
Dataflow.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. |
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. |
PostDominatorsAnalysis |
ClassContext.getNonImplicitExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get DominatorsAnalysis for given method, where implicit exception edges are ignored. |
int |
Frame.getNumArguments(org.apache.bcel.generic.InvokeInstruction ins,
org.apache.bcel.generic.ConstantPoolGen cpg)
Get the number of arguments passed to given method invocation. |
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 |
LiveLocalStoreAnalysis.initEntryFact(java.util.BitSet result)
|
void |
BlockTypeAnalysis.initEntryFact(BlockType result)
|
void |
DataflowAnalysis.initEntryFact(Fact result)
Initialize the "entry" fact for the graph. |
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 |
LiveLocalStoreAnalysis.meetInto(java.util.BitSet fact,
Edge edge,
java.util.BitSet result)
|
void |
AbstractDominatorsAnalysis.meetInto(java.util.BitSet fact,
Edge edge,
java.util.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 |
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. |
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. |
ValueType |
Frame.popValue()
Pop a value off of the Java operand stack. |
static java.util.Set<JavaClassAndMethod> |
Hierarchy.resolveMethodCallTargets(org.apache.bcel.generic.InvokeInstruction invokeInstruction,
TypeFrame typeFrame,
org.apache.bcel.generic.ConstantPoolGen cpg)
Resolve possible method call targets. |
static java.util.Set<XMethod> |
Hierarchy2.resolveMethodCallTargets(org.apache.bcel.generic.InvokeInstruction invokeInstruction,
TypeFrame typeFrame,
org.apache.bcel.generic.ConstantPoolGen cpg)
Resolve possible method call targets. |
void |
AbstractDominatorsAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
java.util.BitSet start,
java.util.BitSet result)
|
void |
BlockTypeAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
BlockType start,
BlockType result)
|
void |
AbstractDataflowAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
Fact start,
Fact result)
|
void |
DataflowAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
Fact start,
Fact result)
Transfer function for the analysis. |
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 |
LiveLocalStoreAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
java.util.BitSet fact)
|
abstract void |
AbstractDataflowAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
Fact fact)
Transfer function for a single instruction. |
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)
|
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 | |
---|---|
PatternMatcher |
PatternMatcher.execute()
Search for examples of the ByteCodePattern. |
MatchResult |
New.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 |
Load.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet)
|
MatchResult |
IfNull.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 |
Wild.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 |
Opcode.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet)
|
MatchResult |
Store.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)
|
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 DataflowAnalysisException | |
---|---|
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 | |
---|---|
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 | |
---|---|
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 | |
---|---|
static java.util.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 java.util.Set<ValueNumber> |
UnconditionalValueDerefAnalysis.checkNonNullParams(Location location,
ValueNumberFrame vnaFrame,
org.apache.bcel.generic.ConstantPoolGen constantPool,
org.apache.bcel.classfile.Method method,
IsNullValueFrame invFrame)
|
static java.util.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)
|
void |
UnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact,
Edge edge,
UnconditionalValueDerefSet result,
boolean onlyEdge)
|
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 | |
---|---|
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 | |
---|---|
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)
|
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 DataflowAnalysisException | |
---|---|
void |
IsNullValueFrameModelingVisitor.analyzeInstruction(org.apache.bcel.generic.Instruction ins)
|
boolean |
ReturnPathType.canReturnNormally()
|
void |
IsNullValueAnalysis.endTransfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
IsNullValueFrame result)
|
IsNullValueFrame |
IsNullValueDataflow.getFactAtMidEdge(Edge edge)
|
IsNullValueFrame |
IsNullValueAnalysis.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 |
IsNullValueAnalysis.startTransfer()
|
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.npe2 |
---|
Methods in edu.umd.cs.findbugs.ba.npe2 that throw DataflowAnalysisException | |
---|---|
void |
DefinitelyNullSetAnalysis.edgeTransfer(Edge edge,
DefinitelyNullSet fact)
|
void |
DefinitelyNullSetAnalysis.initEntryFact(DefinitelyNullSet result)
|
void |
DefinitelyNullSetAnalysis.meetInto(DefinitelyNullSet fact,
Edge edge,
DefinitelyNullSet result)
|
abstract void |
Condition.refresh(ValueNumberFrame vnaFrame,
DefinitelyNullSet definitelyNullSet)
|
void |
IfNullCondition.refresh(ValueNumberFrame vnaFrame,
DefinitelyNullSet definitelyNullSet)
|
void |
AcmpCondition.refresh(ValueNumberFrame vnaFrame,
DefinitelyNullSet definitelyNullSet)
Deprecated. |
void |
DefinitelyNullSetAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
DefinitelyNullSet fact)
|
Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.obl |
---|
Subclasses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.obl | |
---|---|
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 | |
---|---|
void |
ObligationAnalysis.edgeTransfer(Edge edge,
StateSet fact)
|
void |
ObligationAnalysis.initEntryFact(StateSet fact)
|
void |
ObligationAnalysis.meetInto(StateSet fact,
Edge edge,
StateSet result)
|
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 | |
---|---|
void |
TypeFrameModelingVisitor.analyzeInstruction(org.apache.bcel.generic.Instruction ins)
|
void |
TypeAnalysis.meetInto(TypeFrame fact,
Edge edge,
TypeFrame result)
|
protected org.apache.bcel.generic.Type |
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 | |
---|---|
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.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 DataflowAnalysisException | |
---|---|
void |
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)
|
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |