Package edu.cmu.cs.crystal.annotations

Examples of edu.cmu.cs.crystal.annotations.AnnotationSummary

99
100
101
102
103
104
105
106
107
108
109
110
      TupleLatticeElement<Variable, NullLatticeElement> beforeTuple = flowAnalysis.getResultsBefore(node);
     
      if (node.getExpression() != null)
        checkVariable(beforeTuple, node.getExpression());
     
      AnnotationSummary summary = getInput().getAnnoDB().getSummaryForMethod(node.resolveMethodBinding());
     
      for (int ndx = 0; ndx < node.arguments().size(); ndx++) { 
        if (summary.getParameter(ndx, NON_NULL_ANNO) != null) //is this parameter annotated with @Nonnull?
          checkVariable(beforeTuple, (Expression) node.arguments().get(ndx));
      }
    }
View Full Code Here
129
130
131
132
133
134
135
136
137
138
139
140
      if (left instanceof Name && ((Name)left).resolveBinding() instanceof IVariableBinding) {
        IVariableBinding binding = (IVariableBinding) ((Name)left).resolveBinding();
     
        if (binding.isParameter()) {
          IMethodBinding method = Utilities.getMethodDeclaration(node).resolveBinding();
          AnnotationSummary summary = getInput().getAnnoDB().getSummaryForMethod(method);
       
          if (summary.getParameter(binding.getName(), NON_NULL_ANNO) != null)
            checkVariable(flowAnalysis.getResultsBefore(left), right);
        }
      }
    }
View Full Code Here
100
101
102
103
104
105
106
107
108
109
110
111
      TupleLatticeElement<Variable, NullLatticeElement> beforeTuple = flowAnalysis.getResultsBefore(node);
     
      if (node.getExpression() != null)
        checkVariable(beforeTuple, node.getExpression());
     
      AnnotationSummary summary = getInput().getAnnoDB().getSummaryForMethod(node.resolveMethodBinding());
     
      for (int ndx = 0; ndx < node.arguments().size(); ndx++) { 
        if (summary.getParameter(ndx, NON_NULL_ANNO) != null) //is this parameter annotated with @Nonnull?
          checkVariable(beforeTuple, (Expression) node.arguments().get(ndx));
      }
    }
View Full Code Here
130
131
132
133
134
135
136
137
138
139
140
141
      if (left instanceof Name && ((Name)left).resolveBinding() instanceof IVariableBinding) {
        IVariableBinding binding = (IVariableBinding) ((Name)left).resolveBinding();
     
        if (binding.isParameter()) {
          IMethodBinding method = Utilities.getMethodDeclaration(node).resolveBinding();
          AnnotationSummary summary = getInput().getAnnoDB().getSummaryForMethod(method);
       
          if (summary.getParameter(binding.getName(), NON_NULL_ANNO) != null)
            checkVariable(flowAnalysis.getResultsBefore(left), right);
        }
      }
    }
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
  public TupleLatticeElement<Variable, NullLatticeElement> createEntryValue(
      MethodDeclaration method) {
    TupleLatticeElement<Variable, NullLatticeElement> def = ops.getDefault();
    def.put(getAnalysisContext().getThisVariable(), NullLatticeElement.NOT_NULL);
   
    AnnotationSummary summary = annoDB.getSummaryForMethod(method.resolveBinding());
   
    for (int ndx = 0; ndx < method.parameters().size(); ndx++) {
      SingleVariableDeclaration decl = (SingleVariableDeclaration) method.parameters().get(ndx);
      Variable paramVar = getAnalysisContext().getSourceVariable(decl.resolveBinding());
     
      if (summary.getParameter(ndx, BranchingNPEAnalysis.NON_NULL_ANNO) != null) //is this parameter annotated with @Nonnull?
        def.put(paramVar, NullLatticeElement.NOT_NULL);
    }
   
    return def;
  }
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
  public TupleLatticeElement<Variable, NullLatticeElement> createEntryValue(
      MethodDeclaration method) {
    TupleLatticeElement<Variable, NullLatticeElement> def = ops.getDefault();
    def.put(getAnalysisContext().getThisVariable(), NullLatticeElement.NOT_NULL);
   
    AnnotationSummary summary = annoDB.getSummaryForMethod(method.resolveBinding());
   
    for (int ndx = 0; ndx < method.parameters().size(); ndx++) {
      SingleVariableDeclaration decl = (SingleVariableDeclaration) method.parameters().get(ndx);
      Variable paramVar = getAnalysisContext().getSourceVariable(decl.resolveBinding());
     
      if (summary.getParameter(ndx, AnnotatedNPEAnalysis.NON_NULL_ANNO) != null) //is this parameter annotated with @Nonnull?
        def.put(paramVar, NullLatticeElement.NOT_NULL);
    }
   
    return def;
  }
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
  @Override
  public TupleLatticeElement<Variable, NullLatticeElement> transfer(
      MethodCallInstruction instr,
      TupleLatticeElement<Variable, NullLatticeElement> value) {
    AnnotationSummary summary = annoDB.getSummaryForMethod(instr.resolveBinding());
   
    for (int ndx = 0; ndx < instr.getArgOperands().size(); ndx++) {
      Variable paramVar = instr.getArgOperands().get(ndx);
     
      if (summary.getParameter(ndx, AnnotatedNPEAnalysis.NON_NULL_ANNO) != null) //is this parameter annotated with @Nonnull?
        value.put(paramVar, NullLatticeElement.NOT_NULL);
    }
   
    if (summary.getReturn(AnnotatedNPEAnalysis.NON_NULL_ANNO) != null)
      value.put(instr.getTarget(), NullLatticeElement.NOT_NULL);
   
    //clearly, the receiver is not null if this method call does actually occur ;)
    value.put(instr.getReceiverOperand(), NullLatticeElement.NOT_NULL);
View Full Code Here
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
  @Override
  public IResult<TupleLatticeElement<Variable, NullLatticeElement>> transfer(
      MethodCallInstruction instr, List<ILabel> labels,
      TupleLatticeElement<Variable, NullLatticeElement> value) {
    AnnotationSummary summary = annoDB.getSummaryForMethod(instr.resolveBinding());
   
    for (int ndx = 0; ndx < instr.getArgOperands().size(); ndx++) {
      Variable paramVar = instr.getArgOperands().get(ndx);
     
      if (summary.getParameter(ndx, BranchingNPEAnalysis.NON_NULL_ANNO) != null) //is this parameter annotated with @Nonnull?
        value.put(paramVar, NullLatticeElement.NOT_NULL);
    }
   
    if (summary.getReturn(BranchingNPEAnalysis.NON_NULL_ANNO) != null)
      value.put(instr.getTarget(), NullLatticeElement.NOT_NULL);
   
    //clearly, the receiver is not null if this method call does actually occur ;)
    value.put(instr.getReceiverOperand(), NullLatticeElement.NOT_NULL);
View Full Code Here
TOP

Related Classes of edu.cmu.cs.crystal.annotations.AnnotationSummary

  • edu.cmu.cs.crystal.analysis.npe.annotations.AnnotatedNPEAnalysis$NPEFlowVisitor
  • edu.cmu.cs.crystal.analysis.npe.annotations.NPEAnnotatedTransferFunction
  • edu.cmu.cs.crystal.analysis.npe.branch.BranchingNPEAnalysis$NPEFlowVisitor
  • edu.cmu.cs.crystal.analysis.npe.branch.NPEBranchingTransferFunction
    • 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.