Uses of Interface
edu.umd.cs.findbugs.ba.XMethod
-
Packages that use XMethod 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.ch edu.umd.cs.findbugs.ba.deref 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.bytecode 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 -
-
Uses of XMethod in edu.umd.cs.findbugs
Fields in edu.umd.cs.findbugs declared as XMethod Modifier and Type Field Description XMethodProgramPoint. methodMethods in edu.umd.cs.findbugs that return XMethod Modifier and Type Method Description static XMethodLookup. findSuperImplementorAsXMethod(org.apache.bcel.classfile.JavaClass clazz, java.lang.String name, java.lang.String signature, BugReporter bugReporter)XMethodOpcodeStack.Item. getReturnValueOf()XMethodMethodAnnotation. toXMethod()Convert to an XMethod.Methods in edu.umd.cs.findbugs with parameters of type XMethod Modifier and Type Method Description BugInstanceBugInstance. addCalledMethod(XMethod m)BugInstanceBugInstance. addClassAndMethod(XMethod xMethod)BugInstanceBugInstance. addMethod(XMethod xmethod)Add a MethodAnnotation from an XMethod.static SourceLineAnnotationSourceLineAnnotation. forEntireMethod(org.apache.bcel.classfile.JavaClass javaClass, XMethod xmethod)Create a SourceLineAnnotation covering an entire method.static MethodAnnotationMethodAnnotation. fromXMethod(XMethod xmethod)Create a MethodAnnotation from an XMethod.Method parameters in edu.umd.cs.findbugs with type arguments of type XMethod Modifier and Type Method Description BugInstanceBugInstance. addEqualsMethodUsed(java.util.Collection<XMethod> equalsMethods) -
Uses of XMethod in edu.umd.cs.findbugs.ba
Classes in edu.umd.cs.findbugs.ba that implement XMethod Modifier and Type Class Description classAbstractMethod(package private) classUnresolvedXMethodXMethod implementation for unresolvable methods.Fields in edu.umd.cs.findbugs.ba declared as XMethod Modifier and Type Field Description private XMethodMethodUnprofitableException. methodprivate XMethodXMethodParameter. methodFields in edu.umd.cs.findbugs.ba with type parameters of type XMethod Modifier and Type Field Description (package private) static AnalysisLocal<MapCache<XMethod,java.util.BitSet>>ClassContext. cachedBitsets_AL(package private) static AnalysisLocal<MapCache<XMethod,java.util.Set<java.lang.Integer>>>ClassContext. cachedLoopExits_ALprivate java.util.Set<XMethod>XFactory. calledMethodsprivate java.util.Map<XMethod,java.util.Set<XField>>FieldSummary. fieldsWrittenprivate java.util.Map<XMethod,MethodHash>ClassHash. methodHashMapprivate java.util.Map<MethodDescriptor,XMethod>XFactory. methodsprivate java.util.Map<XMethod,XMethod>FieldSummary. nonVoidSuperConstructorsCalledprivate java.util.Map<XMethod,XMethod>FieldSummary. nonVoidSuperConstructorsCalledprivate java.util.Map<XMethod,java.util.Set<ProgramPoint>>FieldSummary. selfMethodsCalledFromConstructorMethods in edu.umd.cs.findbugs.ba that return XMethod Modifier and Type Method Description XMethodUnresolvedXMethod. bridgeFrom()XMethodXMethod. bridgeFrom()XMethodUnresolvedXMethod. bridgeTo()XMethodXMethod. bridgeTo()If nonnull, then this method is a synthetic method that overrides a method in a superclass.static XMethodXFactory. createReferencedXMethod(DismantleBytecode visitor)static XMethodXFactory. createXMethod(JavaClassAndMethod classAndMethod)static XMethodXFactory. createXMethod(MethodDescriptor desc)static XMethodXFactory. createXMethod(MethodAnnotation ma)static XMethodXFactory. createXMethod(PreorderVisitor visitor)Create an XMethod object from the method currently being visited by the given PreorderVisitor.static XMethodXFactory. createXMethod(java.lang.String className, java.lang.String methodName, java.lang.String methodSig, boolean isStatic)private static XMethodXFactory. createXMethod(java.lang.String className, java.lang.String methodName, java.lang.String methodSig, int accessFlags)static XMethodXFactory. createXMethod(java.lang.String className, org.apache.bcel.classfile.Method method)Create an XMethod object from a BCEL Method.static XMethodXFactory. createXMethod(org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.Method method)Create an XMethod object from a BCEL Method.static XMethodXFactory. createXMethod(org.apache.bcel.generic.InvokeInstruction invokeInstruction, org.apache.bcel.generic.ConstantPoolGen cpg)Create an XMethod object from an InvokeInstruction.static XMethodXFactory. createXMethod(org.apache.bcel.generic.MethodGen methodGen)static XMethodXFactory. createXMethodUsingSlashedClassName(java.lang.String className, java.lang.String methodName, java.lang.String methodSig, boolean isStatic)static XMethodHierarchy2. findExactMethod(org.apache.bcel.generic.InvokeInstruction inv, org.apache.bcel.generic.ConstantPoolGen cpg, JavaClassAndMethodChooser chooser)Look up the method referenced by given InvokeInstruction.static XMethodHierarchy2. findFirstSuperMethod(XMethod m)static XMethodHierarchy2. findInvocationLeastUpperBound(XClass jClass, java.lang.String methodName, java.lang.String methodSig, boolean invokeStatic, boolean invokeInterface)static XMethodHierarchy2. findInvocationLeastUpperBound(ClassDescriptor classDesc, java.lang.String methodName, java.lang.String methodSig, boolean invokeStatic, boolean invokeInterface)static XMethodHierarchy2. findInvocationLeastUpperBound(org.apache.bcel.generic.InvokeInstruction inv, org.apache.bcel.generic.ConstantPoolGen cpg, JavaClassAndMethodChooser methodChooser)static XMethodHierarchy2. findInvocationLeastUpperBound0(XClass jClass, java.lang.String methodName, java.lang.String methodSig, boolean invokeStatic, boolean invokeInterface)XMethodXClass. findMatchingMethod(MethodDescriptor descriptor)Find XMethod matching the name and signature of the supplied method MethodDescriptor.static XMethodHierarchy. findMethod(ClassDescriptor classDesc, java.lang.String methodName, java.lang.String methodSig, boolean isStatic)Find a method in given class.static XMethodHierarchy2. findMethod(ClassDescriptor classDescriptor, java.lang.String methodName, java.lang.String methodSig, boolean isStatic)XMethodXClass. findMethod(MethodDescriptor descriptor)Find XMethod matching given MethodDescriptor.XMethodXClass. findMethod(java.lang.String methodName, java.lang.String methodSig, boolean isStatic)Find an XMethod matching given parameters.static XMethodHierarchy. findXMethod(org.apache.bcel.classfile.JavaClass[] classList, java.lang.String methodName, java.lang.String methodSig)Deprecated.static XMethodHierarchy. findXMethod(org.apache.bcel.classfile.JavaClass[] classList, java.lang.String methodName, java.lang.String methodSig, JavaClassAndMethodChooser chooser)Deprecated.static XMethodHierarchy. findXMethod(org.apache.bcel.classfile.JavaClass javaClass, java.lang.String methodName, java.lang.String methodSig, JavaClassAndMethodChooser chooser)Deprecated.XMethodAnalysisContext. getBridgeFrom(MethodInfo m)XMethodAnalysisContext. getBridgeTo(MethodInfo m)(package private) static XMethodIncompatibleTypes. getInvokedMethod(XClass xClass, java.lang.String name, java.lang.String sig, boolean isStatic)XMethodMethodUnprofitableException. getMethod()XMethodXMethodParameter. getMethod()XMethodFieldSummary. getSuperCall(XMethod from)XMethodAbstractMethod. resolveAccessMethodForMethod()XMethodXMethod. resolveAccessMethodForMethod()private XMethodXFactory. resolveXMethod(MethodDescriptor originalDescriptor)private static XMethodHierarchy2. thisOrNothing(XMethod m, JavaClassAndMethodChooser chooser)XMethodJavaClassAndMethod. toXMethod()Convert to an XMethod.Methods in edu.umd.cs.findbugs.ba that return types with arguments of type XMethod Modifier and Type Method Description private static MapCache<XMethod,java.util.BitSet>ClassContext. cachedBitsets()private static MapCache<XMethod,java.util.Set<java.lang.Integer>>ClassContext. cachedLoopExits()static java.util.Set<XMethod>Hierarchy2. findSuperMethods(XMethod m)java.util.Set<XMethod>XFactory. getCalledMethods()java.util.List<? extends XMethod>XClass. getXMethods()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.static java.util.Set<XMethod>Hierarchy2. resolveMethodCallTargets(org.apache.bcel.generic.ReferenceType receiverType, org.apache.bcel.generic.InvokeInstruction invokeInstruction, org.apache.bcel.generic.ConstantPoolGen cpg)Resolve possible instance method call targets.static java.util.Set<XMethod>Hierarchy2. resolveMethodCallTargets(org.apache.bcel.generic.ReferenceType receiverType, org.apache.bcel.generic.InvokeInstruction invokeInstruction, org.apache.bcel.generic.ConstantPoolGen cpg, boolean receiverTypeIsExact)Resolve possible instance method call targets.static java.util.Set<XMethod>Hierarchy2. resolveVirtualMethodCallTargets(XMethod target, boolean receiverTypeIsExact, boolean invokeSpecial)static java.util.Set<XMethod>Hierarchy2. resolveVirtualMethodCallTargets(ClassDescriptor receiverDesc, java.lang.String methodName, java.lang.String methodSig, boolean receiverTypeIsExact, boolean invokeSpecial)static java.util.Set<XMethod>Hierarchy2. resolveVirtualMethodCallTargets(java.lang.String receiverClassName, java.lang.String methodName, java.lang.String methodSig, boolean receiverTypeIsExact, boolean invokeSpecial)Methods in edu.umd.cs.findbugs.ba with parameters of type XMethod Modifier and Type Method Description voidAnalysisContext. analysisSkippedDueToInvokeDynamic(XMethod m)booleanCompoundMethodChooser. choose(XMethod method)Deprecated.booleanJavaClassAndMethodChooser. choose(XMethod method)Deprecated.private booleanAnnotationDatabase. classDefinesMethod(org.apache.bcel.classfile.JavaClass c, XMethod m)static java.lang.StringSignatureConverter. convertMethodSignature(XMethod xmethod)Convenience method for generating a method signature in human readable form.static booleanPruneUnconditionalExceptionThrowerEdges. doesMethodUnconditionallyThrowException(XMethod xMethod)static java.lang.BooleanPruneUnconditionalExceptionThrowerEdges. doesMethodUnconditionallyThrowException(XMethod xMethod, org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.Method method)Deprecated.static XMethodHierarchy2. findFirstSuperMethod(XMethod m)static java.util.Set<XMethod>Hierarchy2. findSuperMethods(XMethod m)private static voidHierarchy2. findSuperMethods(ClassDescriptor c, XMethod m, java.util.Set<XMethod> accumulator)java.util.Set<ProgramPoint>FieldSummary. getCalledFromSuperConstructor(ClassDescriptor superClass, XMethod calledFromConstructor)private static java.lang.StringXFactory. getDetailedSignature(XMethod m2)java.util.Set<XField>FieldSummary. getFieldsWritten(XMethod method)org.apache.bcel.classfile.ElementValueJCIPAnnotationDatabase. getMethodAnnotation(XMethod method, java.lang.String annotationClass)MethodHashClassHash. getMethodHash(XMethod method)Get method hash for given method.private CheckReturnValueAnnotationCheckReturnAnnotationDatabase. getResolvedAnnotationOnConstructor(XMethod m)XMethodFieldSummary. getSuperCall(XMethod from)booleanJCIPAnnotationDatabase. hasMethodAnnotation(XMethod method, java.lang.String annotationClass)booleanXFactory. isCalled(XMethod m)booleanXFactory. isCalledDirectlyOrIndirectly(XMethod m)private booleanXFactory. isCalledDirectlyOrIndirectly(ClassDescriptor clazzDescriptor, XMethod m)static booleanHierarchy. isConcrete(XMethod xmethod)Deprecated.booleanXFactory. isInterned(XMethod m)Deprecated.private booleanPruneUnconditionalExceptionThrowerEdges. isUnconditionalThrower(XMethod xMethod)static booleanTestCaseDetector. likelyTestCase(XMethod m)private AnnotationEnumAnnotationDatabase. lookInOverriddenMethod(java.lang.Object originalQuery, java.lang.String classToLookIn, XMethod originalMethod, boolean getMinimal)booleanXFactory. nameAndSignatureIsCalled(XMethod m)Deprecated.This method does not work as expected.booleanINullnessAnnotationDatabase. parameterMustBeNonNull(XMethod m, int param)Determine whether given parameter must be non-null.booleanNullnessAnnotationDatabase. parameterMustBeNonNull(XMethod m, int param)Deprecated.static java.util.Set<XMethod>Hierarchy2. resolveVirtualMethodCallTargets(XMethod target, boolean receiverTypeIsExact, boolean invokeSpecial)voidFieldSummary. sawSuperCall(XMethod from, XMethod constructorInSuperClass)voidFieldSummary. setCalledFromSuperConstructor(ProgramPoint from, XMethod calledFromConstructor)voidFieldSummary. setFieldsWritten(XMethod method, java.util.Collection<XField> fields)voidClassHash. setMethodHash(XMethod method, byte[] methodHash)Set method hash for given method.private static XMethodHierarchy2. thisOrNothing(XMethod m, JavaClassAndMethodChooser chooser)Method parameters in edu.umd.cs.findbugs.ba with type arguments of type XMethod Modifier and Type Method Description private static voidHierarchy2. findSuperMethods(ClassDescriptor c, XMethod m, java.util.Set<XMethod> accumulator)Constructors in edu.umd.cs.findbugs.ba with parameters of type XMethod Constructor Description JavaClassAndMethod(XMethod method)Constructor.XMethodParameter(XMethod m, int p)Create a new Method parameter reference -
Uses of XMethod in edu.umd.cs.findbugs.ba.ch
Fields in edu.umd.cs.findbugs.ba.ch declared as XMethod Modifier and Type Field Description private XMethodInterproceduralCallGraphVertex. xmethodprivate XMethodOverriddenMethodsVisitor. xmethodMethods in edu.umd.cs.findbugs.ba.ch that return XMethod Modifier and Type Method Description XMethodInterproceduralCallGraphVertex. getXmethod()XMethodOverriddenMethodsVisitor. getXmethod()Methods in edu.umd.cs.findbugs.ba.ch with parameters of type XMethod Modifier and Type Method Description voidInterproceduralCallGraphVertex. setXmethod(XMethod xmethod)protected abstract booleanOverriddenMethodsVisitor. visitOverriddenMethod(XMethod xmethod)Downcall method: will be called for each method overridden by the derived method object passed to the constructor.Constructors in edu.umd.cs.findbugs.ba.ch with parameters of type XMethod Constructor Description OverriddenMethodsVisitor(XMethod xmethod)Constructor. -
Uses of XMethod in edu.umd.cs.findbugs.ba.deref
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type XMethod Modifier and Type Method Description private voidUnconditionalValueDerefAnalysis. 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. -
Uses of XMethod in edu.umd.cs.findbugs.ba.jsr305
Fields in edu.umd.cs.findbugs.ba.jsr305 declared as XMethod Modifier and Type Field Description protected XMethodTypeQualifierDataflowAnalysis. xmethodFields in edu.umd.cs.findbugs.ba.jsr305 with type parameters of type XMethod Modifier and Type Field Description private java.util.HashMap<XMethod,java.util.Map<java.lang.Integer,java.util.Collection<AnnotationValue>>>TypeQualifierApplications.Data. directParameterAnnotationsType qualifier annotations applied directly to method parameters.private java.util.Map<TypeQualifierValue<?>,DualKeyHashMap<XMethod,java.lang.Integer,TypeQualifierAnnotation>>TypeQualifierApplications.Data. effectiveParameterAnnotationsMap of TypeQualifierValues to maps containing, for each XMethod/parameter, the effective TypeQualifierAnnotation (if any) for that XMethod/parameter.Methods in edu.umd.cs.findbugs.ba.jsr305 that return types with arguments of type XMethod Modifier and Type Method Description private static java.util.HashMap<XMethod,java.util.Map<java.lang.Integer,java.util.Collection<AnnotationValue>>>TypeQualifierApplications. getDirectParameterAnnotations()private static java.util.Map<TypeQualifierValue<?>,DualKeyHashMap<XMethod,java.lang.Integer,TypeQualifierAnnotation>>TypeQualifierApplications. getEffectiveParameterAnnotations()Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type XMethod Modifier and Type Method Description private static voidAnalysis. addEffectiveRelevantQualifiers(java.util.HashSet<TypeQualifierValue<?>> result, XMethod xmethod)static voidAnalysis. addKnownTypeQualifiersForParameters(java.util.HashSet<? super TypeQualifierValue<?>> result, XMethod m)private static TypeQualifierAnnotationTypeQualifierApplications. computeEffectiveTypeQualifierAnnotation(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod, int parameter)static java.util.Collection<TypeQualifierAnnotation>TypeQualifierApplications. getApplicableApplications(XMethod o, int parameter)Get the Collection of resolved TypeQualifierAnnotations representing directly applied and default (outer scope) type qualifier annotations for given method parameter.private static java.util.Collection<TypeQualifierAnnotation>TypeQualifierApplications. getApplicableScopedApplications(XMethod o, int parameter)Get the collection of resolved TypeQualifierAnnotations for a given parameter, taking into account annotations applied to outer scopes (e.g., enclosing classes and packages.)protected BackwardTypeQualifierDataflowBackwardTypeQualifierDataflowFactory. getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue)protected ForwardTypeQualifierDataflowForwardTypeQualifierDataflowFactory. getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue)protected abstract DataflowTypeTypeQualifierDataflowFactory. getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor1, TypeQualifierValue<?> typeQualifierValue)private static TypeQualifierAnnotationTypeQualifierApplications. getDefaultTypeQualifierAnnotationForParameters(XMethod xmethod, TypeQualifierValue<?> typeQualifierValue, boolean stopAtMethodScope)Get the default (outer-scope) TypeQualifierAnnotation on given method parameter.private static java.util.Collection<AnnotationValue>TypeQualifierApplications. getDirectAnnotation(XMethod m, int parameter)Get the direct annotations (if any) on given method parameter.static voidTypeQualifierApplications. getDirectApplications(java.util.Set<TypeQualifierAnnotation> result, XMethod o, int parameter)Populate a Set of TypeQualifierAnnotations representing directly-applied type qualifier annotations on given method parameter.private static voidAnalysis. getDirectlyRelevantTypeQualifiers(XMethod xmethod, java.util.HashSet<TypeQualifierValue<?>> result)static TypeQualifierAnnotationTypeQualifierApplications. getDirectTypeQualifierAnnotation(XMethod xmethod, int parameter, TypeQualifierValue<?> typeQualifierValue)Get the TypeQualifierAnnotation directly applied to given method parameter.static TypeQualifierAnnotationTypeQualifierApplications. getEffectiveTypeQualifierAnnotation(XMethod xmethod, int parameter, TypeQualifierValue<?> typeQualifierValue)Get the effective TypeQualifierAnnotation on given method parameter.static TypeQualifierAnnotationTypeQualifierApplications. getInheritedTypeQualifierAnnotation(XMethod xmethod, int parameter, TypeQualifierValue<?> typeQualifierValue)Get the effective inherited TypeQualifierAnnotation on the given instance method parameter.static TypeQualifierAnnotationTypeQualifierApplications. getInheritedTypeQualifierAnnotation(XMethod o, TypeQualifierValue<?> typeQualifierValue)Get the effective inherited TypeQualifierAnnotation on given instance method.(package private) static booleanTypeQualifierDataflowAnalysis. isIdentifyFunctionForTypeQualifiers(XMethod m)protected abstract TypeQualifierAnnotationAbstractMethodAnnotationAccumulator. lookupAnnotation(XMethod xm)protected TypeQualifierAnnotationParameterAnnotationAccumulator. lookupAnnotation(XMethod xm)protected TypeQualifierAnnotationReturnTypeAnnotationAccumulator. lookupAnnotation(XMethod xm)protected voidBackwardTypeQualifierDataflowFactory. populateDatabase(BackwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)protected voidForwardTypeQualifierDataflowFactory. populateDatabase(ForwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)protected abstract voidTypeQualifierDataflowFactory. populateDatabase(DataflowType dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)protected booleanAbstractMethodAnnotationAccumulator. visitOverriddenMethod(XMethod xmethod)Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type XMethod Constructor Description AbstractMethodAnnotationAccumulator(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod)BackwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, ReverseDepthFirstSearch rdfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)Constructor.ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)Constructor.ParameterAnnotationAccumulator(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod, int parameter)Constructor.ReturnTypeAnnotationAccumulator(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod)Constructor.TypeQualifierDataflowAnalysis(XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)Constructor. -
Uses of XMethod in edu.umd.cs.findbugs.ba.npe
Methods in edu.umd.cs.findbugs.ba.npe that return XMethod Modifier and Type Method Description XMethodTypeQualifierNullnessAnnotationDatabase. getXMethod(java.lang.String cName, java.lang.String mName, java.lang.String sig, boolean isStatic)Methods in edu.umd.cs.findbugs.ba.npe with parameters of type XMethod Modifier and Type Method Description static booleanTypeQualifierNullnessAnnotationDatabase. assertsFirstParameterIsNonnull(XMethod m)NullnessAnnotationTypeQualifierNullnessAnnotationDatabase. getInheritedAnnotation(XMethod m)NullnessAnnotationTypeQualifierNullnessAnnotationDatabase. getInheritedAnnotation(XMethod m, int parameter)static PointerUsageRequiringNonNullValuePointerUsageRequiringNonNullValue. getPassedAsNonNullParameter(XMethod m, int param)static PointerUsageRequiringNonNullValuePointerUsageRequiringNonNullValue. getReturnFromNonNullMethod(XMethod m)IsNullValueIsNullValueFrameModelingVisitor. getReturnValueNullness(XMethod calledMethod)IsNullValueIsNullValue. markInformationAsComingFromReturnValueOfMethod(XMethod methodInvoked, NullnessAnnotation methodNullnessAnnotation)Convert to a value known because it was returned from a method in a method property database.booleanTypeQualifierNullnessAnnotationDatabase. parameterMustBeNonNull(XMethod m, int param) -
Uses of XMethod in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl declared as XMethod Modifier and Type Field Description private XMethodInstructionActionCache. xmethodprivate XMethodObligationAnalysis. xmethodMethods in edu.umd.cs.findbugs.ba.obl with parameters of type XMethod Modifier and Type Method Description ObligationPolicyDatabaseEntryObligationPolicyDatabase. addParameterDeletesObligationDatabaseEntry(XMethod xmethod, Obligation obligation, ObligationPolicyDatabaseEntryType entryType)Add an appropriate policy database entry for parameters marked with the WillClose annotation.Obligation[]ObligationFactory. getParameterObligationTypes(XMethod xmethod)Get array of Obligation types corresponding to the parameters of the given method.Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type XMethod Constructor Description InstructionActionCache(ObligationPolicyDatabase database, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow)MatchMethodEntry(XMethod xmethod, ObligationPolicyDatabaseActionType action, ObligationPolicyDatabaseEntryType entryType, Obligation... obligations)Constructor.ObligationAnalysis(DepthFirstSearch dfs, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, ObligationFactory factory, ObligationPolicyDatabase database, TypeDataflow typeDataflow, IsNullValueDataflow invDataflow, IErrorLogger errorLogger)Constructor. -
Uses of XMethod in edu.umd.cs.findbugs.bytecode
Methods in edu.umd.cs.findbugs.bytecode with parameters of type XMethod Modifier and Type Method Description static booleanMemberUtils. couldBeLambda(XMethod m)Checks if the method could be a lambda.static booleanMemberUtils. isMainMethod(XMethod method)Checks if the given method is a main method. -
Uses of XMethod in edu.umd.cs.findbugs.classfile.analysis
Classes in edu.umd.cs.findbugs.classfile.analysis that implement XMethod Modifier and Type Class Description classMethodInfoMethods in edu.umd.cs.findbugs.classfile.analysis that return XMethod Modifier and Type Method Description XMethodMethodInfo. bridgeFrom()XMethodMethodInfo. bridgeTo()XMethodClassInfo. findMatchingMethod(MethodDescriptor descriptor)XMethodClassInfo. findMethod(MethodDescriptor descriptor)XMethodClassInfo. findMethod(java.lang.String methodName, java.lang.String methodSig, boolean isStatic)XMethodMethodInfo. resolveAccessMethodForMethod()Methods in edu.umd.cs.findbugs.classfile.analysis that return types with arguments of type XMethod Modifier and Type Method Description java.util.List<? extends XMethod>ClassInfo. getXMethods()java.util.List<? extends XMethod>ClassInfo. getXMethodsInCallOrder() -
Uses of XMethod in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as XMethod Modifier and Type Field Description private XMethodFindPotentialSecurityCheckBasedOnUntrustedSource.CalleeInfo. calledMethodprivate XMethodFindPotentialSecurityCheckBasedOnUntrustedSource.LambdaCallInfo. callerMethodprivate XMethodMethodReturnCheck. callSeenprivate XMethodMultipleInstantiationsOfSingletons. cloneMethod(package private) XMethodInitializationChain.InvocationInfo. constructor(package private) XMethodFindOverridableMethodCall.CallerInfo. method(package private) XMethodUncallableMethodOfAnonymousClass. potentialSuperCall(package private) XMethodFindPuzzlers. previousMethodInvocationprivate XMethodExplicitSerialization. readObjectprivate XMethodFindBadEndOfStreamCheck. sourceprivate XMethodExplicitSerialization. writeObjectprivate XMethodCheckRelaxingNullnessAnnotation.DetectorNode. xmethod(package private) XMethodFindUnsatisfiedObligation.MethodChecker. xmethodFields in edu.umd.cs.findbugs.detect with type parameters of type XMethod Modifier and Type Field Description private java.util.Map<XMethod,java.util.List<XMethod>>MultipleInstantiationsOfSingletons. calledMethodsByMethodsprivate java.util.Map<XMethod,java.util.List<XMethod>>MultipleInstantiationsOfSingletons. calledMethodsByMethodsprivate java.util.Map<XMethod,java.util.Set<XMethod>>ResourceInMultipleThreadsDetector. calledMethodsByMethodsprivate java.util.Map<XMethod,java.util.Set<XMethod>>ResourceInMultipleThreadsDetector. calledMethodsByMethodsprivate MultiMap<XMethod,XMethod>FindOverridableMethodCall. calleeToCallerMapprivate MultiMap<XMethod,XMethod>FindOverridableMethodCall. calleeToCallerMapprivate java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo>FindOverridableMethodCall. callerClonesprivate java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo>FindOverridableMethodCall. callerConstructorsprivate java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo>FindOverridableMethodCall. callerReadObjectsprivate MultiMap<XMethod,XMethod>FindOverridableMethodCall. callerToCalleeMapprivate MultiMap<XMethod,XMethod>FindOverridableMethodCall. callerToCalleeMapprivate java.util.Map<XMethod,XMethod>FindOverridableMethodCall. callsToOverridableprivate java.util.Map<XMethod,XMethod>FindOverridableMethodCall. callsToOverridable(package private) java.util.HashMap<java.lang.String,java.util.TreeSet<XMethod>>Naming. canonicalToXMethodprivate java.util.Set<XMethod>InitializationChain. constructorsInvokedInStaticInitializer(package private) java.util.HashSet<XMethod>FunctionsThatMightBeMistakenForProcedures. doNotIgnore(package private) java.util.HashSet<XMethod>FunctionsThatMightBeMistakenForProcedures. doNotIgnoreHighprivate java.util.Map<XField,XMethod>MultipleInstantiationsOfSingletons. instanceGetterMethodsprivate java.util.Map<XMethod,java.util.Set<FindPotentialSecurityCheckBasedOnUntrustedSource.CallerInfo>>FindPotentialSecurityCheckBasedOnUntrustedSource. methodsCalledInsidePrivilegedAction(package private) java.util.HashSet<XMethod>FunctionsThatMightBeMistakenForProcedures. methodsSeenprivate java.util.Set<XMethod>ResourceInMultipleThreadsDetector. methodsUsedInThreadsprivate java.util.List<XMethod>MultipleInstantiationsOfSingletons. methodsUsingMonitorprivate java.util.Map<XMethod,java.util.Set<FindPotentialSecurityCheckBasedOnUntrustedSource.CalleeInfo>>FindPotentialSecurityCheckBasedOnUntrustedSource. nonFinalMethodsCalledOnParamprivate java.util.Map<XMethod,java.util.Set<XMethod>>SharedVariableAtomicityDetector. nonSyncedMethodCallsByCallingMethodsprivate java.util.Map<XMethod,java.util.Set<XMethod>>SharedVariableAtomicityDetector. nonSyncedMethodCallsByCallingMethods(package private) java.util.HashSet<XMethod>FunctionsThatMightBeMistakenForProcedures. okToIgnoreprivate java.util.Map<XMethod,java.util.Set<XField>>SharedVariableAtomicityDetector. readFieldsByMethodsprivate MultiMap<java.lang.Integer,XMethod>FindOverridableMethodCall. refCalleeToCallerMapprivate java.util.Map<XMethod,java.util.Set<XField>>InitializationChain. staticFieldsReadMethods in edu.umd.cs.findbugs.detect that return XMethod Modifier and Type Method Description static XMethodNaming. definedIn(org.apache.bcel.classfile.JavaClass clazz, XMethod m)private XMethodReadOfInstanceFieldInMethodInvokedByConstructorInSuperclass. getConstructorThatCallsSuperConstructor(XMethod superConstructor)private XMethodFindOverridableMethodCall. getIndirectlyCalledOverridable(XMethod caller)private XMethodFindOverridableMethodCall. getIndirectlyCalledOverridable(XMethod caller, java.util.Set<XMethod> visited)private XMethodFindOverridableMethodCall. superClone(XClass clazz)Methods in edu.umd.cs.findbugs.detect with parameters of type XMethod Modifier and Type Method Description private voidSharedVariableAtomicityDetector. addNonFinalFieldsOfClass(XField field, XMethod method, java.util.Map<XMethod,java.util.Set<XField>> map)voidBuildObligationPolicyDatabase. addObligations(XMethod xmethod)private voidBuildObligationPolicyDatabase. addParameterDeletesObligationDatabaseEntry(XMethod xmethod, Obligation obligation, ObligationPolicyDatabaseEntryType entryType)Add an appropriate policy database entry for parameters marked with the WillClose annotation.private voidFindPotentialSecurityCheckBasedOnUntrustedSource. addToMethodsCalledInsidePrivilegedAction(XMethod calledMethod, OpcodeStack.Item object)private voidResourceInMultipleThreadsDetector. addToMethodsUsedInThreads(XMethod methodToAdd)private voidFindPotentialSecurityCheckBasedOnUntrustedSource. addToNonFinalMethodsCalledOnParam(ClassDescriptor calledClass, XMethod calledMethod, OpcodeStack.Item object)private voidCheckTypeQualifiers. annotateWarningWithSourceSinkInfo(BugInstance warning, XMethod xMethod, ValueNumber vn, SourceSinkInfo sourceSinkInfo)private voidCheckExpectedWarnings. check(XMethod xmethod, ClassDescriptor annotation, boolean expectWarnings, int priority)Deprecated.private voidFindOverridableMethodCall. checkAndRecordCallBetweenNonOverridableMethods(XMethod caller, XMethod callee)private voidFindOverridableMethodCall. checkAndRecordCallFromClone(XMethod clone, XMethod callee, SourceLineAnnotation sourceLine)private voidFindOverridableMethodCall. checkAndRecordCallFromConstructor(XMethod constructor, XMethod callee, SourceLineAnnotation sourceLine)private voidFindOverridableMethodCall. checkAndRecordCallFromReadObject(XMethod readObject, XMethod callee, SourceLineAnnotation sourceLine)private voidFindOverridableMethodCall. checkAndRecordCallToOverridable(XMethod caller, XMethod overridable)(package private) booleanFindOverridableMethodCall. checkAndRecordDirectCase(XMethod caller, XMethod method, java.lang.String bugType, int priority, SourceLineAnnotation sourceLine)private voidSharedVariableAtomicityDetector. checkAndReportBug(int seen, XMethod method)private voidCheckTypeQualifiers. checkDataflow(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)private voidCheckTypeQualifiers. checkForConflictingValues(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)private voidCheckTypeQualifiers. checkForEqualityTest(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, Location loc, ValueNumberFrame factAtLocation)private booleanCheckRelaxingNullnessAnnotation.DetectorNode. checkMethod(XMethod method)private booleanNaming. checkNonSuper(XMethod m, java.util.Set<XMethod> others)private voidCheckTypeQualifiers. checkQualifier(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ForwardTypeQualifierDataflowFactory forwardDataflowFactory, BackwardTypeQualifierDataflowFactory backwardDataflowFactory, ValueNumberDataflow vnaDataflow)Check a specific TypeQualifierValue on a method.private booleanNaming. checkSuper(XMethod m, java.util.Set<XMethod> others)private voidCheckTypeQualifiers. checkValueSources(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)private voidSharedVariableAtomicityDetector. collectFieldReadsAndInnerMethodCalls(int seen, XMethod method)static booleanNaming. confusingMethodNamesWrongCapitalization(XMethod m1, XMethod m2)static booleanNaming. confusingMethodNamesWrongPackage(XMethod m1, XMethod m2)private voidResourceInMultipleThreadsDetector. createOrUpdateFieldData(XField xField, boolean putfield, org.apache.bcel.classfile.Method containerMethod, XMethod xMethod)static XMethodNaming. definedIn(org.apache.bcel.classfile.JavaClass clazz, XMethod m)private voidCheckTypeQualifiers. emitDataflowWarning(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)private voidCheckTypeQualifiers. emitSourceWarning(java.lang.String bugType, XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, FlowValue backwardsFlowValue, TypeQualifierValueSet backwardsFact, SourceSinkInfo source, ValueNumber vn, Location location)private InterproceduralCallGraphVertexBuildInterproceduralCallGraph. findVertex(XMethod xmethod)Find the InterproceduralCallGraphVertex for given XMethod.private XMethodReadOfInstanceFieldInMethodInvokedByConstructorInSuperclass. getConstructorThatCallsSuperConstructor(XMethod superConstructor)private FindOverridableMethodCall.CallerInfoFindOverridableMethodCall. getIndirectCallerClone(XMethod callee)private FindOverridableMethodCall.CallerInfoFindOverridableMethodCall. getIndirectCallerConstructor(XMethod callee)private FindOverridableMethodCall.CallerInfoFindOverridableMethodCall. getIndirectCallerReadObject(XMethod callee)private FindOverridableMethodCall.CallerInfoFindOverridableMethodCall. getIndirectCallerSpecial(XMethod callee, java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo> map)private FindOverridableMethodCall.CallerInfoFindOverridableMethodCall. getIndirectCallerSpecial(XMethod callee, java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo> map, java.util.Set<XMethod> visited)private XMethodFindOverridableMethodCall. getIndirectlyCalledOverridable(XMethod caller)private XMethodFindOverridableMethodCall. getIndirectlyCalledOverridable(XMethod caller, java.util.Set<XMethod> visited)private voidBuildObligationPolicyDatabase. handleWillCloseWhenClosed(XMethod xmethod, Obligation deletedObligation)Handle a method with a WillCloseWhenClosed parameter annotation.private booleanSharedVariableAtomicityDetector. hasNonSyncedNonPrivateCallToMethod(XMethod method, java.util.Set<XMethod> visitedMethods)private static booleanFindNoSideEffectMethods. hasOtherImplementations(XMethod xMethod)private booleanMultipleInstantiationsOfSingletons. hasSynchronized(XMethod method, java.util.Set<XMethod> visitedMethods)private booleanMethodReturnCheck. isCallBDDMockitoInvocation(XMethod method)private booleanMethodReturnCheck. isCallMockitoInvocation(XMethod method)private booleanFindBadEndOfStreamCheck. isFileRead(XMethod method)private booleanFindOverridableMethodCall. isSelfCall(XMethod method)private FindPotentialSecurityCheckBasedOnUntrustedSource.CalleeInfoFindPotentialSecurityCheckBasedOnUntrustedSource. lookForCalledOutside(org.apache.bcel.classfile.JavaClass callerClass, XMethod callerMethod, XClass calledClass, XMethod calledMethod, java.lang.String argumentName)private booleanSharedVariableAtomicityDetector. mapContainsFieldWithOtherMethod(XField field, XMethod method, java.util.Map<XMethod,java.util.Set<XField>> map)private voidFindPotentialSecurityCheckBasedOnUntrustedSource. reportBug(org.apache.bcel.classfile.JavaClass cls, XMethod method, SourceLineAnnotation srcLine, FindPotentialSecurityCheckBasedOnUntrustedSource.CalleeInfo calleInfo, SourceLineAnnotation insideSrcLine)private voidThrowingExceptions. reportBug(java.lang.String bugName, XMethod method)private booleanFindNullDeref. safeCallToPrimateParseMethod(XMethod calledMethod, Location location)private voidNoteDirectlyRelevantTypeQualifiers. updateApplicableAnnotations(XMethod m)Method parameters in edu.umd.cs.findbugs.detect with type arguments of type XMethod Modifier and Type Method Description private voidSharedVariableAtomicityDetector. addNonFinalFieldsOfClass(XField field, XMethod method, java.util.Map<XMethod,java.util.Set<XField>> map)private booleanNaming. allAbstract(java.util.Set<XMethod> overrides)private booleanFindRefComparison. checkForWeirdEquals(java.lang.String lhsSig, java.lang.String rhsSig, java.util.Set<XMethod> targets)private booleanNaming. checkNonSuper(XMethod m, java.util.Set<XMethod> others)private booleanNaming. checkSuper(XMethod m, java.util.Set<XMethod> others)private FindOverridableMethodCall.CallerInfoFindOverridableMethodCall. getIndirectCallerSpecial(XMethod callee, java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo> map)private FindOverridableMethodCall.CallerInfoFindOverridableMethodCall. getIndirectCallerSpecial(XMethod callee, java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo> map, java.util.Set<XMethod> visited)private FindOverridableMethodCall.CallerInfoFindOverridableMethodCall. getIndirectCallerSpecial(XMethod callee, java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo> map, java.util.Set<XMethod> visited)private XMethodFindOverridableMethodCall. getIndirectlyCalledOverridable(XMethod caller, java.util.Set<XMethod> visited)private booleanSharedVariableAtomicityDetector. hasNonSyncedNonPrivateCallToMethod(XMethod method, java.util.Set<XMethod> visitedMethods)private booleanMultipleInstantiationsOfSingletons. hasSynchronized(XMethod method, java.util.Set<XMethod> visitedMethods)private booleanSharedVariableAtomicityDetector. mapContainsFieldWithOtherMethod(XField field, XMethod method, java.util.Map<XMethod,java.util.Set<XField>> map)Constructors in edu.umd.cs.findbugs.detect with parameters of type XMethod Constructor Description CalleeInfo(ClassDescriptor cls, XMethod called, java.lang.String name, SourceLineAnnotation line)CallerInfo(XMethod m, SourceLineAnnotation sl)DetectorNode(int access, java.lang.String name, java.lang.String desc, java.lang.String signature, java.lang.String[] exceptions, XMethod xmethod)InvocationInfo(XMethod constructor, int pc)LambdaCallInfo(org.apache.bcel.classfile.JavaClass cls, XMethod met, SourceLineAnnotation line, java.lang.String[] argNames) -
Uses of XMethod in edu.umd.cs.findbugs.visitclass
Fields in edu.umd.cs.findbugs.visitclass declared as XMethod Modifier and Type Field Description private XMethodDismantleBytecode. referencedXMethodMethods in edu.umd.cs.findbugs.visitclass that return XMethod Modifier and Type Method Description XMethodPreorderVisitor. getXMethod()XMethodDismantleBytecode. getXMethodOperand()
-