Class ResourceInMultipleThreadsDetector

java.lang.Object

edu.umd.cs.findbugs.visitclass.BetterVisitor

edu.umd.cs.findbugs.visitclass.PreorderVisitor

edu.umd.cs.findbugs.visitclass.AnnotationVisitor

edu.umd.cs.findbugs.visitclass.DismantleBytecode

edu.umd.cs.findbugs.BytecodeScanningDetector

edu.umd.cs.findbugs.bcel.OpcodeStackDetector

edu.umd.cs.findbugs.detect.ResourceInMultipleThreadsDetector

All Implemented Interfaces:

Detector, Priorities, org.apache.bcel.classfile.Visitor

public class ResourceInMultipleThreadsDetector
extends OpcodeStackDetector

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final class	ResourceInMultipleThreadsDetector.FieldData

Nested classes/interfaces inherited from class OpcodeStackDetector

OpcodeStackDetector.WithCustomJumpInfo

Field Summary

Fields

Modifier and Type	Field	Description
private final BugReporter	bugReporter
private final Map<XMethod, Set<XMethod>>	calledMethodsByMethods
private final Map<XField, ResourceInMultipleThreadsDetector.FieldData>	fieldsUsedInThreads
private boolean	firstPass
private final Set<XMethod>	methodsUsedInThreads
private boolean	synchronizedBlock
private final Set<XField>	synchronizedCollectionTypedFields

Fields inherited from class OpcodeStackDetector

stack

Fields inherited from class DismantleBytecode

codeBytes, lineNumberTable, M_BR, M_CP, M_INT, M_PAD, M_R, M_UINT

Fields inherited from interface Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
ResourceInMultipleThreadsDetector(BugReporter bugReporter)

Method Summary

Modifier and Type	Method	Description
private void	addToMethodsUsedInThreads(XMethod methodToAdd)
private void	collectFieldsUsedInThreads(int seen)
private void	collectMethodsUsedInThreads(int seen)
private void	createOrUpdateFieldData(XField xField, boolean putfield, org.apache.bcel.classfile.Method containerMethod, XMethod xMethod)
private Optional<org.apache.bcel.classfile.Method>	getMethodFromBootstrap(org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.ConstantInvokeDynamic constDyn)
private boolean	isAtomicTypedField(XField xField)
private static boolean	isBug(ResourceInMultipleThreadsDetector.FieldData data)	A bug is reported if the field is modified in multiple methods, it is not only accessed in synchronized blocks, and it is not a synchronized collection or an atomic typed field.
private boolean	isJavaRuntimeMethod()	Ignore a special case where a Thread is passed to the java.lang.Runtime class, so it is used as a shutdown hook.
private void	resetState()
void	sawOpcode(int seen)	By default, this method will not be called when stack is TOP.
void	visit(org.apache.bcel.classfile.JavaClass obj)
void	visit(org.apache.bcel.classfile.Method method)
void	visitAfter(org.apache.bcel.classfile.JavaClass javaClass)

Methods inherited from class OpcodeStackDetector

afterOpcode, beforeOpcode, getStack, isUsingCustomUserValue, visitCode

Methods inherited from class BytecodeScanningDetector

getClassContext, report, shouldVisitCode, visitClassContext

Methods inherited from class DismantleBytecode

areOppositeBranches, atCatchBlock, getBranchFallThrough, getBranchOffset, getBranchTarget, getClassConstantOperand, getClassDescriptorOperand, getCodeByte, getConstantRefOperand, getDefaultSwitchOffset, getDottedClassConstantOperand, getFieldDescriptorOperand, getIntConstant, getLongConstant, getMaxPC, getMethodDescriptorOperand, getNameConstantOperand, getNextCodeByte, getNextOpcode, getNextPC, getOpcode, getPC, getPrevOpcode, getRefConstantOperand, getRefFieldIsStatic, getRegisterOperand, getSigConstantOperand, getStringConstantOperand, getSwitchLabels, getSwitchOffsets, getXClassOperand, getXFieldOperand, getXMethodOperand, isBranch, isMethodCall, isRegisterLoad, isRegisterStore, isRegisterStore, isReturn, isShift, isSwitch, isWideOpcode, printOpCode, sawBranchTo, sawClass, sawDouble, sawField, sawFloat, sawIMethod, sawInt, sawLong, sawMethod, sawRegister, sawString, visit

Methods inherited from class AnnotationVisitor

getAnnotationParameterAsEnum, getAnnotationParameterAsString, getAnnotationParameterAsStringArray, visitAnnotation, visitAnnotation, visitParameterAnnotation, visitParameterAnnotation, visitSyntheticParameterAnnotation

Methods inherited from class PreorderVisitor

amVisitingMainMethod, asUnsignedByte, doVisitMethod, getClassDescriptor, getClassName, getCode, getConstantPool, getDottedClassName, getDottedFieldSig, getDottedMethodSig, getDottedSuperclassName, getField, getFieldDescriptor, getFieldIsStatic, getFieldName, getFieldSig, getFullyQualifiedFieldName, getFullyQualifiedMethodName, getMethod, getMethodDescriptor, getMethodName, getMethodSig, getMethodVisitOrder, getNumberArguments, getNumberMethodArguments, getPackageName, getSizeOfSurroundingTryBlock, getSizeOfSurroundingTryBlock, getSourceFile, getStringFromIndex, getSuperclassName, getSurroundingCaughtExceptions, getSurroundingCaughtExceptions, getSurroundingCaughtExceptionTypes, getSurroundingTryBlock, getSurroundingTryBlock, getThisClass, getXClass, getXField, getXMethod, hasInterestingClass, hasInterestingMethod, isVisitMethodsInCallOrder, setupVisitorForClass, setVisitMethodsInCallOrder, shouldVisit, toString, visitAfter, visitAnnotationDefault, visitAnnotationEntry, visitBootstrapMethods, visitConstantInvokeDynamic, visitConstantMethodHandle, visitConstantMethodType, visitConstantModule, visitConstantPackage, visitConstantPool, visitEnclosingMethod, visitingField, visitingMethod, visitInnerClasses, visitJavaClass, visitLineNumberTable, visitLocalVariableTable, visitMethodParameters, visitParameterAnnotationEntry, visitStackMap, visitStackMapEntry

Methods inherited from class BetterVisitor

clone, report, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visitCodeException, visitConstantClass, visitConstantDouble, visitConstantFieldref, visitConstantFloat, visitConstantInteger, visitConstantInterfaceMethodref, visitConstantLong, visitConstantMethodref, visitConstantNameAndType, visitConstantString, visitConstantUtf8, visitConstantValue, visitDeprecated, visitExceptionTable, visitField, visitInnerClass, visitLineNumber, visitLocalVariable, visitLocalVariableTypeTable, visitMethod, visitSignature, visitSourceFile, visitSynthetic, visitUnknown

Methods inherited from class Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.apache.bcel.classfile.Visitor

visitConstantDynamic, visitMethodParameter, visitModule, visitModuleExports, visitModuleMainClass, visitModuleOpens, visitModulePackages, visitModuleProvides, visitModuleRequires, visitNestHost, visitNestMembers, visitRecord, visitRecordComponent, visitStackMapType

Field Details

bugReporter

private final BugReporter bugReporter

synchronizedCollectionTypedFields

private final Set<XField> synchronizedCollectionTypedFields

calledMethodsByMethods

private final Map<XMethod, Set<XMethod>> calledMethodsByMethods

methodsUsedInThreads

private final Set<XMethod> methodsUsedInThreads

fieldsUsedInThreads

private final Map<XField, ResourceInMultipleThreadsDetector.FieldData> fieldsUsedInThreads

synchronizedBlock

private boolean synchronizedBlock

firstPass

private boolean firstPass

Constructor Details

ResourceInMultipleThreadsDetector

public ResourceInMultipleThreadsDetector(BugReporter bugReporter)

Method Details

visit

public void visit(org.apache.bcel.classfile.JavaClass obj)

Overrides:

visit in class BetterVisitor

visit

public void visit(org.apache.bcel.classfile.Method method)

Overrides:

visit in class BetterVisitor

sawOpcode

public void sawOpcode(int seen)

Description copied from class: OpcodeStackDetector

By default, this method will not be called when stack is TOP. To change this behavior, override #beforeOpcode(int) and change to return true even if stack is TOP.

see Using FindBugs for Research to learn lattice and what TOP means.

Specified by:

sawOpcode in class OpcodeStackDetector

See Also:

• OpcodeStackDetector.beforeOpcode(int)

collectMethodsUsedInThreads

private void collectMethodsUsedInThreads(int seen)

addToMethodsUsedInThreads

private void addToMethodsUsedInThreads(XMethod methodToAdd)

isJavaRuntimeMethod

private boolean isJavaRuntimeMethod()

Ignore a special case where a Thread is passed to the java.lang.Runtime class, so it is used as a shutdown hook.

Returns:

true if the Thread is passed to the java.lang.Runtime class, false otherwise

getMethodFromBootstrap

private Optional<org.apache.bcel.classfile.Method> getMethodFromBootstrap(org.apache.bcel.classfile.JavaClass javaClass,
 org.apache.bcel.classfile.ConstantInvokeDynamic constDyn)

collectFieldsUsedInThreads

private void collectFieldsUsedInThreads(int seen)
                                 throws CheckedAnalysisException

Throws:

CheckedAnalysisException

isAtomicTypedField

private boolean isAtomicTypedField(XField xField)

createOrUpdateFieldData

private void createOrUpdateFieldData(XField xField,
 boolean putfield,
 org.apache.bcel.classfile.Method containerMethod,
 XMethod xMethod)

visitAfter

public void visitAfter(org.apache.bcel.classfile.JavaClass javaClass)

Overrides:

visitAfter in class PreorderVisitor

isBug

private static boolean isBug(ResourceInMultipleThreadsDetector.FieldData data)

A bug is reported if the field is modified in multiple methods, it is not only accessed in synchronized blocks, and it is not a synchronized collection or an atomic typed field.

Parameters:

data - the field data

Returns:

true if the field is a bug, false otherwise

resetState

private void resetState()