Package edu.umd.cs.findbugs.OpcodeStack

Examples of edu.umd.cs.findbugs.OpcodeStack.Item

209
210
211
212
213
214
215
216
217
218
219
220
            }

            String name = getNameConstantOperand();
            String sig = getSigConstantOperand();
            if ((name.startsWith("set") || name.startsWith("update")) || sig.endsWith(")V")) {
                Item invokedOn = stack.getItemMethodInvokedOn(this);
                if (invokedOn.isInitialParameter() && invokedOn.getRegisterNumber() == 0) {
                    updates++;
                }
                if (inferredMethod != null) {
                    inferredMethod.addCalledMethod(this);
                }
View Full Code Here
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
            }

            FieldSummary fieldSummary = AnalysisContext
                    .currentAnalysisContext().getFieldSummary();
            if (fieldSummary != null) {
                Item summary = fieldSummary.getSummary(xfield);
                if (summary != null) {
                    if (xfield.isFinal() && summary.isNull()) {
                        return TypeFrame.getNullType();
                    }
                    if (!summary.getSignature().equals("Ljava/lang/Object;")) {
                        loadType = (ReferenceType) Type.getType(summary
                                .getSignature());
                    }
                }
            }
        }
View Full Code Here
388
389
390
391
392
393
394
395
396
397
398
399
        if (checkForKnownValue(obj)) {
            return;
        }
        XField field = XFactory.createXField(obj, cpg);
        if (field.isFinal()) {
            Item summary = AnalysisContext.currentAnalysisContext().getFieldSummary().getSummary(field);
            if (summary.isNull()) {
                produce(IsNullValue.nullValue());
                return;
            }
        }
        if (field.getClassName().equals("java.util.logging.Level") && field.getName().equals("SEVERE")
View Full Code Here
186
187
188
189
190
191
192
193
194
195
196
197
        }

        OpcodeStack.Item oldSummary = summary.get(fieldOperand);
        if (oldSummary != null) {
            Item newValue = OpcodeStack.Item.merge(mergeValue, oldSummary);
            newValue.clearNewlyAllocated();
            summary.put(fieldOperand, newValue);
        } else {
            if (mergeValue.isNewlyAllocated()) {
                mergeValue = new OpcodeStack.Item(mergeValue);
                mergeValue.clearNewlyAllocated();
View Full Code Here
218
219
220
221
222
223
224
225
226
227
228
229
                    removed++;
                    continue;
                }
                OpcodeStack.Item defaultItem = new OpcodeStack.Item(f.getSignature());
                fields++;
                Item value = entry.getValue();
                value.makeCrossMethod();
                if (defaultItem.equals(value)) {
                    i.remove();
                    removed++;
                } else {
                    retained++;
View Full Code Here
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
            }
        }
         */

        if (seen >= IALOAD && seen <= SALOAD || seen >= IASTORE && seen <= SASTORE) {
            Item index = stack.getStackItem(0);
            if (index.getSpecialKind() == Item.AVERAGE_COMPUTED_USING_DIVISION) {
                SourceLineAnnotation where;
                if (index.getPC() >= 0) {
                    where = SourceLineAnnotation.fromVisitedInstruction(this, index.getPC());
                } else {
                    where = SourceLineAnnotation.fromVisitedInstruction(this);
                }
                bugAccumulator.accumulateBug(
                        new BugInstance(this, "IM_AVERAGE_COMPUTATION_COULD_OVERFLOW", NORMAL_PRIORITY).addClassAndMethod(this),
View Full Code Here
496
497
498
499
500
501
502
503
504
505
506
507
        public void visitGETSTATIC(GETSTATIC obj) {
            Type type = obj.getType(getCPG());
            XField xf = XFactory.createXField(obj, cpg);
            if (xf.isFinal()) {
                FieldSummary fieldSummary = AnalysisContext.currentAnalysisContext().getFieldSummary();
                Item summary = fieldSummary.getSummary(xf);
                if (summary.isNull()) {
                    pushValue(TypeFrame.getNullType());
                    return;
                }

                String slashedClassName = ClassName.fromFieldSignature(type.getSignature());
View Full Code Here
530
531
532
533
534
535
536
537
538
539
540
541
                handleLoad(obj);
            } else {
                XField xf = XFactory.createXField(obj, cpg);
                if (xf.isFinal()) {
                    FieldSummary fieldSummary = AnalysisContext.currentAnalysisContext().getFieldSummary();
                    Item summary = fieldSummary.getSummary(xf);
                    if (summary.isNull()) {
                        consumeStack(obj);
                        pushValue(TypeFrame.getNullType());
                        return;
                    }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
63
            String signature = getSigConstantOperand();

            int numberArguments = PreorderVisitor.getNumberArguments(signature);

            for (int i = 0; i < numberArguments; i++) {
                Item item = stack.getStackItem(numberArguments - 1 - i);
                if (item.getSpecialKind() == OpcodeStack.Item.RESULT_OF_I2L) {
                    ParameterProperty property = database.getProperty(getMethodDescriptorOperand());
                    if (property != null && property.hasProperty(i)) {
                        int priority = NORMAL_PRIORITY;

                        if (getPrevOpcode(1) == I2L && getPrevOpcode(2) == IMUL && getPrevOpcode(3) == SIPUSH
View Full Code Here
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
            }
        }

        if ((seen == INVOKEINTERFACE || seen == INVOKEVIRTUAL) && getNameConstantOperand().equals("compare")
                && stack.getStackDepth() >= 2) {
            Item left = stack.getStackItem(1);
            Item right = stack.getStackItem(0);
            if (left.getRegisterNumber() + right.getRegisterNumber() == 1) {
                sawCompare = true;
            }
        }
        dangerDanger = false;

        if (seen == INVOKEVIRTUAL && getClassConstantOperand().equals("java/lang/Class")
                && getNameConstantOperand().equals("getName") && getSigConstantOperand().equals("()Ljava/lang/String;")
                && stack.getStackDepth() >= 2) {
            Item left = stack.getStackItem(1);
            XMethod leftM = left.getReturnValueOf();
            Item right = stack.getStackItem(0);
            XMethod rightM = right.getReturnValueOf();
            if (leftM != null && rightM != null && leftM.getName().equals("getName") && rightM.getName().equals("getClass")) {
                dangerDanger = true;
            }

        }
View Full Code Here
TOP

Related Classes of edu.umd.cs.findbugs.OpcodeStack.Item

  • edu.umd.cs.findbugs.ba.FieldSummary
  • edu.umd.cs.findbugs.ba.npe.IsNullValueFrameModelingVisitor
  • edu.umd.cs.findbugs.ba.type.TypeFrameModelingVisitor
  • edu.umd.cs.findbugs.detect.FindFieldSelfAssignment
  • edu.umd.cs.findbugs.detect.FindPuzzlers
  • edu.umd.cs.findbugs.detect.FindRefComparison$RefComparisonTypeFrameModelingVisitor
  • edu.umd.cs.findbugs.detect.FunctionsThatMightBeMistakenForProcedures
  • edu.umd.cs.findbugs.detect.IntCast2LongAsInstant
  • edu.umd.cs.findbugs.detect.OverridingEqualsNotSymmetrical
  • edu.umd.cs.findbugs.detect.SerializableIdiom
    • 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.