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.heap | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.type | |
edu.umd.cs.findbugs.ba.vna | |
edu.umd.cs.findbugs.classfile.analysis |
Classes of objects that are the result of executing an analysis
engine on a class or method. The classes in this particular package are
those that are independent of any particular bytecode-analysis framework
(e.g., BCEL or ASM). Two important classes in this package are
ClassData, which represents the raw data of a class, and ClassInfo,
which represents symbolic information parsed from the class data.
|
edu.umd.cs.findbugs.detect | |
edu.umd.cs.findbugs.visitclass |
Modifier and Type | Method and Description |
---|---|
XField |
OpcodeStack.Item.getXField() |
XField |
FieldAnnotation.toXField() |
Modifier and Type | Method and Description |
---|---|
BugInstance |
BugInstance.addField(XField xfield)
Add a field annotation for an XField.
|
BugInstance |
BugInstance.addOptionalField(XField xfield)
Add a field annotation for an XField.
|
static FieldAnnotation |
FieldAnnotation.fromXField(XField fieldDescriptor) |
void |
OpcodeStack.Item.setLoadedFromField(XField f,
int fieldLoadedFromRegister) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractField |
class |
UnresolvedXField |
Modifier and Type | Method and Description |
---|---|
static XField |
XFactory.createReferencedXField(DismantleBytecode visitor) |
static XField |
XFactory.createXField(FieldAnnotation f) |
static XField |
XFactory.createXField(FieldDescriptor desc) |
static XField |
XFactory.createXField(org.apache.bcel.generic.FieldInstruction fieldInstruction,
org.apache.bcel.generic.ConstantPoolGen cpg) |
static XField |
XFactory.createXField(org.apache.bcel.classfile.JavaClass javaClass,
org.apache.bcel.classfile.Field field) |
static XField |
XFactory.createXField(PreorderVisitor visitor)
Create an XField object from the field currently being visited by the
given PreorderVisitor.
|
static XField |
XFactory.createXField(java.lang.String className,
org.apache.bcel.classfile.Field field)
Create an XField object from a BCEL Field.
|
static XField |
XFactory.createXField(java.lang.String className,
java.lang.String fieldName,
java.lang.String fieldSignature,
boolean isStatic)
Create an XField object
|
static XField |
XFactory.createXFieldUsingSlashedClassName(java.lang.String className,
java.lang.String fieldName,
java.lang.String fieldSignature,
boolean isStatic)
Create an XField object
|
XField |
XClass.findField(java.lang.String name,
java.lang.String signature,
boolean isStatic)
Find an XField matching given parameters.
|
static XField |
Hierarchy.findXField(org.apache.bcel.generic.FieldInstruction fins,
org.apache.bcel.generic.ConstantPoolGen cpg)
Look up the field referenced by given FieldInstruction, returning it as
an
XField object. |
static XField |
Hierarchy.findXField(java.lang.String className,
java.lang.String fieldName,
java.lang.String fieldSig,
boolean isStatic)
Look up a field with given name and signature in given class, returning
it as an
XField object. |
static XField |
XFactory.getExactXField(FieldDescriptor desc) |
static XField |
XFactory.getExactXField(java.lang.String className,
org.apache.bcel.classfile.Field f) |
static XField |
XFactory.getExactXField(java.lang.String className,
java.lang.String name,
java.lang.String signature,
boolean isStatic)
Get an XField object exactly matching given class, name, and signature.
|
XField |
InnerClassAccess.getField() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<XField> |
XFactory.allFields() |
java.util.Set<XField> |
FieldSummary.getFieldsWritten(XMethod method) |
java.util.List<? extends XField> |
XClass.getXFields() |
Modifier and Type | Method and Description |
---|---|
void |
XFactory.addEmptyArrayField(XField f) |
boolean |
FieldSummary.addWrittenOutsideOfConstructor(XField field) |
org.apache.bcel.classfile.ElementValue |
JCIPAnnotationDatabase.getFieldAnnotation(XField field,
java.lang.String annotationClass) |
static java.util.Map<java.lang.Integer,OpcodeStack.Item> |
PutfieldScanner.getPutfieldsFor(org.apache.bcel.classfile.JavaClass theClass,
org.apache.bcel.classfile.Method method,
XField field) |
OpcodeStack.Item |
FieldSummary.getSummary(XField field) |
boolean |
JCIPAnnotationDatabase.hasFieldAnnotation(XField field,
java.lang.String annotationClass) |
boolean |
XFactory.isEmptyArrayField(XField f) |
boolean |
FieldSummary.isWrittenOutsideOfConstructor(XField field) |
void |
FieldSummary.mergeSummary(XField fieldOperand,
OpcodeStack.Item mergeValue) |
Modifier and Type | Method and Description |
---|---|
void |
FieldSummary.setFieldsWritten(XMethod method,
java.util.Collection<XField> fields) |
Constructor and Description |
---|
InnerClassAccess(java.lang.String methodName,
java.lang.String methodSig,
XField field,
boolean isLoad) |
Modifier and Type | Method and Description |
---|---|
void |
FieldSet.addField(XField field) |
boolean |
FieldSet.contains(XField field) |
protected void |
StoreAnalysis.sawLoad(FieldSet fact,
XField field) |
protected void |
LoadAnalysis.sawLoad(FieldSet fact,
XField field) |
protected abstract void |
FieldSetAnalysis.sawLoad(FieldSet fact,
XField field) |
protected void |
StoreAnalysis.sawStore(FieldSet fact,
XField field) |
protected void |
LoadAnalysis.sawStore(FieldSet fact,
XField field) |
protected abstract void |
FieldSetAnalysis.sawStore(FieldSet fact,
XField field) |
Modifier and Type | Method and Description |
---|---|
static XField |
NullDerefAndRedundantComparisonFinder.findXFieldFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame)
Deprecated.
|
XField |
PointerUsageRequiringNonNullValue.getNonNullField() |
Modifier and Type | Method and Description |
---|---|
static PointerUsageRequiringNonNullValue |
PointerUsageRequiringNonNullValue.getStoredIntoNonNullField(XField f) |
IsNullValue |
IsNullValue.markInformationAsComingFromFieldValue(XField field)
Convert to a value known because it was returned from a method in a
method property database.
|
Modifier and Type | Method and Description |
---|---|
static org.apache.bcel.generic.Type |
TypeFrameModelingVisitor.getType(XField xfield) |
Modifier and Type | Method and Description |
---|---|
static XField |
ValueNumberSourceInfo.findXFieldFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame) |
XField |
AvailableLoad.getField()
Get the field for which a load is available.
|
XField |
LoadedFieldSet.getField(org.apache.bcel.generic.InstructionHandle handle)
Get the field loaded or stored at given instruction, if any.
|
Modifier and Type | Method and Description |
---|---|
void |
LoadedFieldSet.addLoad(org.apache.bcel.generic.InstructionHandle handle,
XField field)
Add a load of given field at given instruction.
|
void |
LoadedFieldSet.addStore(org.apache.bcel.generic.InstructionHandle handle,
XField field)
Add a store of given field at given instruction.
|
LoadedFieldSet.LoadStoreCount |
LoadedFieldSet.getLoadStoreCount(XField field)
Get the number of times given field is loaded and stored within the
method.
|
boolean |
LoadedFieldSet.isLoaded(XField field)
Return whether or not the given field is loaded by any instruction in the
method.
|
void |
ValueNumberFrame.killLoadsOfField(XField field)
Kill all loads of given field.
|
Modifier and Type | Method and Description |
---|---|
void |
ValueNumberFrame.killLoadsOf(java.util.Set<XField> fieldsToKill) |
Constructor and Description |
---|
AvailableLoad(ValueNumber reference,
XField field)
Constructor from object reference and instance field.
|
AvailableLoad(XField staticField)
Constructor from static field.
|
Modifier and Type | Class and Description |
---|---|
class |
FieldInfo |
Modifier and Type | Method and Description |
---|---|
XField |
ClassInfo.findField(java.lang.String name,
java.lang.String signature,
boolean isStatic) |
Modifier and Type | Method and Description |
---|---|
java.util.List<? extends XField> |
ClassInfo.getXFields() |
Modifier and Type | Method and Description |
---|---|
XField |
FindRefComparison.FinalConstant.getXField() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<? extends XField> |
UnreadFieldsData.getReadFields() |
java.util.Set<? extends XField> |
UnreadFields.getReadFields()
Deprecated.
Use
UnreadFieldsData.getReadFields() instead |
java.util.Set<? extends XField> |
UnreadFieldsData.getWrittenFields() |
java.util.Set<? extends XField> |
UnreadFields.getWrittenFields()
Deprecated.
Use
UnreadFieldsData.getWrittenFields() instead |
Modifier and Type | Method and Description |
---|---|
boolean |
InitializeNonnullFieldsInConstructor.checkForInitialization(XField f) |
boolean |
UnreadFieldsData.isContainerField(XField f) |
boolean |
UnreadFields.isContainerField(XField f)
Deprecated.
Use
UnreadFieldsData.isContainerField(XField) instead |
boolean |
UnreadFieldsData.isReflexive(XField f) |
boolean |
UnreadFields.isReflexive(XField f)
Deprecated.
Use
UnreadFieldsData.isReflexive(XField) instead |
static boolean |
FindInconsistentSync2.isServletField(XField field) |
boolean |
UnreadFieldsData.isWrittenDuringInitialization(XField f) |
boolean |
UnreadFields.isWrittenDuringInitialization(XField f)
Deprecated.
|
boolean |
UnreadFieldsData.isWrittenInConstructor(XField f) |
boolean |
UnreadFields.isWrittenInConstructor(XField f)
Deprecated.
Use
UnreadFieldsData.isWrittenInConstructor(XField) instead |
boolean |
UnreadFieldsData.isWrittenOutsideOfInitialization(XField f) |
boolean |
UnreadFields.isWrittenOutsideOfInitialization(XField f)
Deprecated.
|
Constructor and Description |
---|
FindRefComparison.FinalConstant(java.lang.String type,
XField field) |
Modifier and Type | Method and Description |
---|---|
XField |
PreorderVisitor.getXField() |
XField |
DismantleBytecode.getXFieldOperand() |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.