Package soot

Examples of soot.Type

18
19
20
21
22
23
24
25
26
27
28
  }

  public Set<ArrayType> create(Set<ArrayType> types){
    Set<ArrayType> ret = new HashSet<ArrayType>();
    for(ArrayType type : types){
      Type base_type = type.baseType;
      int dim = type.numDimensions;
      for(int i = dim - 1; i > 0; --i){
        ArrayType curr = ArrayType.v(base_type, i);
        if(types.contains(curr) == false){
          ret.add(curr);
View Full Code Here
75
76
77
78
79
80
81
82
    OpenCLClass ocl_class = OpenCLScene.v().getOpenCLClass(real_field.getDeclaringClass());
    return ocl_class.getName()+"_"+getName();
  }
 
  public OpenCLType getClassType(){
    Type soot_type = m_sootClass.getType();
    return new OpenCLType(soot_type);
  }
View Full Code Here
80
81
82
83
84
85
86
87
    Type soot_type = m_sootClass.getType();
    return new OpenCLType(soot_type);
  }

  public OpenCLType getType(){
    Type soot_type = m_sootField.getType();
    return new OpenCLType(soot_type);
  }
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
      if(decl instanceof FunctionDeclaration) {
        new FunctionCodeGenerator(this).generate((FunctionDeclaration)decl, klass);
      } else if(decl instanceof FieldDeclaration) {
        VarDecl vd = ((FieldDeclaration)decl).getVarDecl();
        String fieldName = vd.getName();
        Type fieldType = SootTypeUtil.getSootType(vd.getTypeName().getDescriptor());
        int fieldModifiers = getModifiers(decl);
        SootField sootField = new SootField(fieldName, fieldType, fieldModifiers);
        klass.addField(sootField);
      }
    }
View Full Code Here
146
147
148
149
150
151
152
153
154
155
156
  }
 
  /** Generate code for an array literal. */
  @Override
  public Value visitArrayLiteral(ArrayLiteral nd) {
    Type elttp = SootTypeUtil.getSootType(nd.getElement(0).type());
    // create a new array with the appropriate number of elements
    Value array = wrap(Jimple.v().newNewArrayExpr(elttp, IntConstant.v(nd.getNumElement())));
    for(int i=0;i<nd.getNumElement();++i) {
      // generate code to store the individual expressions into the elements of the array
      Value elt = wrap(nd.getElement(i).accept(this));
View Full Code Here
178
179
180
181
182
183
184
185
186
    // determine whether this name refers to a local or to a field
    if(decl.isLocal()) {
      return fcg.getSootLocal(decl);
    } else {
      SootClass declaringClass = fcg.getModuleCodeGenerator().getProgramCodeGenerator().getSootClass(decl.getModule());
      Type fieldType = SootTypeUtil.getSootType(decl.getTypeName().getDescriptor());
      return Jimple.v().newStaticFieldRef(Scene.v().makeFieldRef(declaringClass, decl.getName(), fieldType, true));
    }
  }
View Full Code Here
279
280
281
282
283
284
285
286
287
288
289
    FunctionDeclaration calleeDecl = nd.getCallTarget();
    Module calleeModule = calleeDecl.getModule();
    ArrayList<Type> parmTypes = new ArrayList<Type>(calleeDecl.getNumParameter());
    for(Parameter parm : calleeDecl.getParameters())
      parmTypes.add(SootTypeUtil.getSootType(parm.type()));
    Type rettp = SootTypeUtil.getSootType(calleeDecl.getReturnType().getDescriptor());
   
    // compute reference to callee
    SootClass calleeSootClass = fcg.getModuleCodeGenerator().getProgramCodeGenerator().getSootClass(calleeModule);
    SootMethodRef callee = Scene.v().makeMethodRef(calleeSootClass, calleeName, parmTypes, rettp, true);
   
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
   */
  public Local getSootLocal(VarDecl decl) {
    Local local = sootLocalMap.get(decl);
    if(local == null) {
      String varName = decl.getName();
      Type varType = SootTypeUtil.getSootType(decl.getTypeName().getDescriptor());
      local = Jimple.v().newLocal(mkTempName(varName), varType);
      body.getLocals().add(local);
      sootLocalMap.put(decl, local);
    }
    return local;
View Full Code Here
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
    for(Parameter parm : fn.getParameters())
      parmtps.add(SootTypeUtil.getSootType(parm.type()));
   
    // create SootMethod
    String fnName = fn.getName();
    Type fnReturnType = SootTypeUtil.getSootType(fn.getReturnType().getDescriptor());
    int fnModifiers = ModuleCodeGenerator.getModifiers(fn);
    SootMethod method = new SootMethod(fnName, parmtps, fnReturnType, fnModifiers);
    klass.addMethod(method);
   
    // create body
    body = Jimple.v().newBody(method);
    method.setActiveBody(body);
   
    // create identity statements
    int nparm = fn.getNumParameter();
    for(int i=0;i<nparm;++i) {
      Parameter parm = fn.getParameter(i);
      Local sootLocal = getSootLocal(parm);
      Type parmType = SootTypeUtil.getSootType(parm.type());
      ParameterRef soot_parm = Jimple.v().newParameterRef(parmType, i);
      body.getUnits().add(Jimple.v().newIdentityStmt(sootLocal, soot_parm));
    }   
   
    // generate code for statements
View Full Code Here
29
30
31
32
33
34
35
36
37
38
39
    public List<SootMethod> getTargetsOf(InstanceInvokeExpr expr) {
        Value v = expr.getBase();
       
        SootMethod m = expr.getMethod();
        SootClass rc;
        Type t = v.getType();
        List<SootMethod> targets;
        if (t instanceof NullType) {
          return Collections.emptyList();
        } else if (t instanceof ArrayType) {
            rc = Scene.v().getSootClass("java.lang.Object");
View Full Code Here
TOP

Related Classes of soot.Type

  • backend.ExprCodeGenerator
  • backend.FunctionCodeGenerator
  • backend.ModuleCodeGenerator
  • dk.brics.jwig.analysis.jaive.FormChecker
  • dk.brics.jwig.analysis.jaive.InterfaceInvocationChecker
  • dk.brics.jwig.analysis.jaive.InvocationDetector
  • dk.brics.jwig.analysis.JwigResolver
  • dk.brics.jwig.analysis.MakeURLSignatureHandler
  • dk.brics.string.java.AbstractDispatchClassHierarchy
  • dk.brics.string.java.StatementTranslatorImpl
    • 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.