Package edu.umd.cs.findbugs.ba.vna

Examples of edu.umd.cs.findbugs.ba.vna.ValueNumberFrame

101
102
103
104
105
106
107
108
109
110
111
112
113
                IsNullValueDataflow isNullValueDataflow = getClassContext().getIsNullValueDataflow(getMethod());
                ValueNumberDataflow valueNumberDataflow = getClassContext().getValueNumberDataflow(getMethod());
                UnconditionalValueDerefDataflow unconditionalValueDerefDataflow = getClassContext()
                        .getUnconditionalValueDerefDataflow(getMethod());
                ValueNumberFrame valueNumberFact = valueNumberDataflow.getFactAtLocation(produced);
                IsNullValueFrame isNullFact = isNullValueDataflow.getFactAtLocation(produced);
                ValueNumber value = valueNumberFact.getTopValue();
                if (isNullFact.getTopValue().isDefinitelyNotNull()) {
                    return;
                }
                if (DEBUG) {
                    System.out.println("Produced: " + produced);
View Full Code Here
295
296
297
298
299
300
301
302
303
304
305
            TypeQualifierValueSet backwardFact = backwardDataflow.getResultFact(edge.getTarget());

            // The edge target location is where we can check
            // for conflicting flow values.
            Location edgeTargetLocation = getEdgeTargetLocation(cfg, edge);
            ValueNumberFrame vnaFrame = (edgeTargetLocation != null) ? vnaDataflow.getFactAtLocation(edgeTargetLocation) : null;

            // What location do we want to report to the user
            // as where the conflict occurs?
            // The edge source location is generally better,
            // but edge target location is ok as a fallback.
View Full Code Here
TOP

Related Classes of edu.umd.cs.findbugs.ba.vna.ValueNumberFrame

  • edu.umd.cs.findbugs.ba.bcp.PatternMatcher$State
  • edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefAnalysis
  • edu.umd.cs.findbugs.ba.FieldSummary
  • edu.umd.cs.findbugs.ba.jsr305.BackwardTypeQualifierDataflowAnalysis
  • edu.umd.cs.findbugs.ba.jsr305.ForwardTypeQualifierDataflowAnalysis
  • edu.umd.cs.findbugs.ba.jsr305.ForwardTypeQualifierDataflowFactory
  • edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowAnalysis
  • edu.umd.cs.findbugs.ba.LockAnalysis
  • edu.umd.cs.findbugs.ba.npe.DerefFinder
  • edu.umd.cs.findbugs.ba.npe.IsNullValueAnalysis
    • 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.