Package org.apache.bcel.generic

Examples of org.apache.bcel.generic.ReferenceType

89
90
91
92
93
94
95
96
97
98
99
100
                return b;
            } else if (bType == T_NULL) {
                return a;
            }

            ReferenceType aRef = (ReferenceType) a;
            ReferenceType bRef = (ReferenceType) b;
            return mergeReferenceTypes(aRef, bRef);
        } else if (isReferenceType(aType) || isReferenceType(bType)) {
            // meet
            // non-object
            // is
View Full Code Here
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
            return TypeFrame.getTopType();
        }

        // Compute first common superclass
        ThrownExceptionIterator i = iterator();
        ReferenceType result = i.next();
        while (i.hasNext()) {
            if (Subtypes2.ENABLE_SUBTYPES2_FOR_COMMON_SUPERCLASS_QUERIES) {
                result = AnalysisContext.currentAnalysisContext().getSubtypes2().getFirstCommonSuperclass(result, i.next());
            } else {
                result = result.getFirstCommonSuperclass(i.next());
            }
            if (result == null) {
                // This should only happen if the class hierarchy
                // is incomplete. We'll just be conservative.
                result = Type.THROWABLE;
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
            Type fieldType = Type.getType(f.getSignature());
            if (!(fieldType instanceof ReferenceType)) {
                removeProperty(f);
                continue;
            }
            ReferenceType storeType = type.getLoadType((ReferenceType) fieldType);
            if (storeType.equals(fieldType)) {
                removeProperty(f);
            }
        }
    }
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
            }
            if (!(operandType instanceof ReferenceType)) {
                // Shouldn't happen - illegal bytecode
                continue;
            }
            ReferenceType refType = (ReferenceType) operandType;

            if (refType.equals(NullType.instance())) {
                continue;
            }

            try {

                double isSerializable = DeepSubtypeAnalysis.isDeepSerializable(refType);

                if (isSerializable < 0.9) {
                    SourceLineAnnotation sourceLineAnnotation = SourceLineAnnotation.fromVisitedInstruction(classContext,
                            methodGen, sourceFile, handle);
                    ReferenceType problem = DeepSubtypeAnalysis.getLeastSerializableTypeComponent(refType);

                    bugAccumulator.accumulateBug(new BugInstance(this, "J2EE_STORE_OF_NON_SERIALIZABLE_OBJECT_INTO_SESSION",
                            isSerializable < 0.15 ? HIGH_PRIORITY : isSerializable > 0.5 ? LOW_PRIORITY : NORMAL_PRIORITY)
                    .addClassAndMethod(methodGen, sourceFile).addType(problem).describe(TypeAnnotation.FOUND_ROLE),
                    sourceLineAnnotation);
View Full Code Here
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
        }
        return loadType;
    }

    private void computeLoadType(ReferenceType fieldType) {
        ReferenceType leastSupertype = null;

        for (Iterator<String> i = signatureIterator(); i.hasNext();) {
            try {
                String signature = i.next();
                Type type = Type.getType(signature);
                if (!(type instanceof ReferenceType)) {
                    continue;
                }

                // FIXME: this will mangle interface types, since
                // getFirstCommonSuperclass() ignores interfaces.
                /*
                 * leastSupertype = (leastSupertype == null) ? (ReferenceType)
                 * type :
                 * leastSupertype.getFirstCommonSuperclass((ReferenceType)
                 * type);
                 */
                if (leastSupertype == null) {
                    leastSupertype = (ReferenceType) type;
                } else {
                    if (Subtypes2.ENABLE_SUBTYPES2_FOR_COMMON_SUPERCLASS_QUERIES) {
                        leastSupertype = AnalysisContext.currentAnalysisContext().getSubtypes2()
                                .getFirstCommonSuperclass(leastSupertype, (ReferenceType) type);
                    } else {
                        leastSupertype = leastSupertype.getFirstCommonSuperclass((ReferenceType) type);
                    }
                }

            } catch (ClassFormatException e) {
                // Bad signature: ignore
View Full Code Here
102
103
104
105
106
107
108
109
110
111
112

                if (invokedMethod.getAnnotationDescriptors().contains(WILL_CLOSE) && methodName.startsWith("close") && signature.endsWith(")V")) {
                    actionList = Collections.singletonList(ObligationPolicyDatabaseAction.CLEAR);
                } else if (signature.indexOf(';') >= -1) {
                    ReferenceType receiverType = inv.getReferenceType(cpg);

                    boolean isStatic = inv.getOpcode() == Constants.INVOKESTATIC;
                    actionList = new LinkedList<ObligationPolicyDatabaseAction>();

                    database.getActions(receiverType, methodName, signature, isStatic, actionList);
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
            // Is invoked class a subtype of the base class we want
            // FIXME: should test be different for INVOKESPECIAL and
            // INVOKESTATIC?
            InvokeInstruction inv = (InvokeInstruction) ins;
            ReferenceType classType = inv.getReferenceType(cpg);
            if (!Hierarchy.isSubtype(classType, baseClassType)) {
                return null;
            }

            // See if method name and signature match
View Full Code Here
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
            }
            if (!(operandType instanceof ReferenceType)) {
                // Shouldn't happen - illegal bytecode
                continue;
            }
            ReferenceType refType = (ReferenceType) operandType;

            if (refType.equals(NullType.instance())) {
                continue;
            }

            try {

                double isSerializable = DeepSubtypeAnalysis.isDeepSerializable(refType);

                if (isSerializable >= 0.9) {
                    continue;
                }

                ReferenceType problem = DeepSubtypeAnalysis.getLeastSerializableTypeComponent(refType);

                double isRemote = DeepSubtypeAnalysis.isDeepRemote(refType);
                if (isRemote >= 0.9) {
                    continue;
                }
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
            } else {
                return type;
            }
        }

        ReferenceType result = type;
        double value =  isDeepSerializable(type.getSignature());
        if (type instanceof GenericObjectType && Subtypes2.isContainer(type)) {
            GenericObjectType gt = (GenericObjectType) type;
            List<? extends ReferenceType> parameters = gt.getParameters();
            if (parameters != null) {
View Full Code Here
545
546
547
548
549
550
551
552
553
554
555
        // Easy case: same types
        if (a.equals(b)) {
            return a;
        }

        ReferenceType answer = checkFirstCommonSuperclassQueryCache(a, b);
        if (answer == null) {
            answer = computeFirstCommonSuperclassOfReferenceTypes(a, b);
            putFirstCommonSuperclassQueryCache(a, b, answer);
        }
        return answer;
View Full Code Here
TOP

Related Classes of org.apache.bcel.generic.ReferenceType

  • ariba.util.fieldvalue.CompiledAccessorFactory
  • com.puppycrawl.tools.checkstyle.bcel.generic.Utils
  • edu.umd.cs.findbugs.ba.ch.Subtypes2
  • edu.umd.cs.findbugs.ba.generic.GenericUtilities
  • edu.umd.cs.findbugs.ba.generic.GenericUtilitiesTest
  • edu.umd.cs.findbugs.ba.obl.InstructionActionCache
  • edu.umd.cs.findbugs.ba.type.ExceptionSet
  • edu.umd.cs.findbugs.ba.type.FieldStoreType
  • edu.umd.cs.findbugs.ba.type.FieldStoreTypeDatabase
  • edu.umd.cs.findbugs.ba.type.StandardTypeMerger
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.