Package edu.umd.cs.findbugs

Class OpcodeStack.Item

  • Enclosing class:
    OpcodeStack
    public static class OpcodeStack.Item
extends java.lang.Object

    • Constructor Detail

      • Item

        public Item​(java.lang.String signature,
            int constValue)

      • Item

        public Item​(java.lang.String signature)

      • Item

        public Item​(java.lang.String signature,
            FieldAnnotation f,
            int fieldLoadedFromRegister)

      • Item

        public Item​(java.lang.String signature,
            java.lang.Object constantValue)

      • Item

        public Item()

    • Method Detail

      • asSpecialKind

        @SpecialKind
static int asSpecialKind​(int kind)

      • makeCrossMethod

        public void makeCrossMethod()

      • getSize

        public int getSize()

      • getPC

        public int getPC()

      • setPC

        public void setPC​(int pc)

      • isWide

        public boolean isWide()

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object

      • usesTwoSlots

        public boolean usesTwoSlots()

      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object

      • initialArgument

        public static OpcodeStack.Item initialArgument​(java.lang.String signature,
                                               int reg)

      • typeOnly

        public static OpcodeStack.Item typeOnly​(java.lang.String signature)

      • getFieldLoadedFromRegister

        public int getFieldLoadedFromRegister()
        If this value was loaded from an instance field, give the register number containing the object that the field was loaded from. If Integer.MAX value, the value was loaded from a static field If -1, we don't know or don't have the register containing the object that the field was loaded from.

      • setLoadedFromField

        public void setLoadedFromField​(XField f,
                               int fieldLoadedFromRegister)

      • getHttpParameterName

        @CheckForNull
public java.lang.String getHttpParameterName()

      • getInjectionPC

        public int getInjectionPC()

      • setSpecialKindFromSignature

        private void setSpecialKindFromSignature()

      • setCouldBeNegative

        public void setCouldBeNegative()

      • nullItem

        public static OpcodeStack.Item nullItem​(java.lang.String signature)

      • getJavaClass

        @CheckForNull
public org.apache.bcel.classfile.JavaClass getJavaClass()
                                                 throws java.lang.ClassNotFoundException
        Returns null for primitive and arrays
        Throws:
        java.lang.ClassNotFoundException

      • isArray

        public boolean isArray()

      • getElementSignature

        @Deprecated
public java.lang.String getElementSignature()
        Deprecated.

      • isNonNegative

        public boolean isNonNegative()

      • isPrimitive

        public boolean isPrimitive()

      • getRegisterNumber

        public int getRegisterNumber()

      • getSignature

        public java.lang.String getSignature()

      • getConstant

        public java.lang.Object getConstant()
        Returns a constant value for this Item, if known. NOTE: if the value is a constant Class object, the constant value returned is the name of the class. if the value is an array of known length, the constant value returned is its length (Integer)

      • getFieldAnnotation

        @Deprecated
public FieldAnnotation getFieldAnnotation()
        Deprecated.
        Use getXField instead

      • getXField

        public XField getXField()

      • setSpecialKind

        public void setSpecialKind​(@SpecialKind
                           int specialKind)
        Parameters:
        specialKind - The specialKind to set.

      • getSpecialKind

        @SpecialKind
public int getSpecialKind()
        Returns:
        Returns the specialKind.

      • isBooleanNullnessValue

        public boolean isBooleanNullnessValue()
        Returns:
        Returns the specialKind.

      • setUserValue

        public void setUserValue​(@Nullable
                         java.lang.Object value)

        attaches a detector specified value to this item

        to use this method, detector should be annotated with CustomUserValue.

        Parameters:
        value - the custom value to set
        See Also:
        OpcodeStack.CustomUserValue

      • getReturnValueOf

        @CheckForNull
public XMethod getReturnValueOf()
        Returns:
        if this value is the return value of a method, give the method invoked

      • couldBeZero

        public boolean couldBeZero()

      • mustBeZero

        public boolean mustBeZero()

      • getUserValue

        @Nullable
public java.lang.Object getUserValue()
        gets the detector specified value for this item
        Returns:
        the custom value

      • isServletParameterTainted

        public boolean isServletParameterTainted()

      • setServletParameterTainted

        public void setServletParameterTainted()

      • setIsServletWriter

        public void setIsServletWriter()

      • isServletWriter

        public boolean isServletWriter()

      • valueCouldBeNegative

        public boolean valueCouldBeNegative()

      • getSpecialKindForAbs

        @SpecialKind
public int getSpecialKindForAbs()

      • getSpecialKindForRemainder

        @SpecialKind
public int getSpecialKindForRemainder()

      • checkForIntegerMinValue

        public boolean checkForIntegerMinValue()
        Value could be Integer.MIN_VALUE

      • mightRarelyBeNegative

        public boolean mightRarelyBeNegative()
        The result of applying Math.abs to a checkForIntegerMinValue() value

      • setInitialParameter

        private void setInitialParameter​(boolean isInitialParameter)
        Parameters:
        isInitialParameter - The isInitialParameter to set.

      • isInitialParameter

        public boolean isInitialParameter()
        Returns:
        Returns the isInitialParameter.

      • setCouldBeZero

        private void setCouldBeZero​(boolean couldBeZero)
        Parameters:
        couldBeZero - The couldBeZero to set.

      • isCouldBeZero

        private boolean isCouldBeZero()
        Returns:
        Returns the couldBeZero.

      • isZero

        private boolean isZero()

      • setNull

        private void setNull​(boolean isNull)
        Parameters:
        isNull - The isNull to set.

      • setFlag

        private void setFlag​(boolean value,
                     int flagBit)

      • isNull

        public boolean isNull()
        Returns:
        Returns the isNull.

      • clearNewlyAllocated

        public void clearNewlyAllocated()

      • isNewlyAllocated

        public boolean isNewlyAllocated()

      • hasConstantValue

        public boolean hasConstantValue​(int value)

      • hasConstantValue

        public boolean hasConstantValue​(long value)

      • defineSpecialKind

        @SpecialKind
public static int defineSpecialKind​(java.lang.String name)
        Define a new special kind and name it as specified.
        Parameters:
        name - Name of new special kind
        Returns:
        int value to represent new special kind
        Since:
        3.1.0

      • getSpecialKindName

        public static java.util.Optional<java.lang.String> getSpecialKindName​(@SpecialKind
                                                                      int specialKind)
        Parameters:
        specialKind - special kind to get name
        Returns:
        just a name of specified @{link SpecialKind}, or empty Optional.
        Since:
        3.1.0