Package soot.jimple

Examples of soot.jimple.IntConstant

60
61
62
63
64
65
66
67
68
69
70
          ArrayRef array = (ArrayRef)def.getLeftOp();
          allowedBox = array.getBaseBox();
          if (array.getBase() == local) {
            // assignment into interesting array
            if (array.getIndex() instanceof IntConstant) {
              IntConstant index = (IntConstant)array.getIndex();
              if (index.value >= 0 && index.value < info.contents.length) {
                ArrayConstantInfo out = info.clone();
                out.contents[index.value] = def.getRightOpBox();
                dest.put(local, out);
              } else {
View Full Code Here
236
237
238
239
240
241
242
243
244
245
246
        if (right instanceof JNewArrayExpr) {
            // "= new X[3]; // where X is the basetype"
            JNewArrayExpr jNewArrayExpr = (JNewArrayExpr) right;
            Value size = jNewArrayExpr.getSize();
            if (size instanceof IntConstant) {
                IntConstant constant = (IntConstant) size;
                Type[] varArgTypes = new Type[constant.value];
                Type varArgBase = jNewArrayExpr.getBaseType();
                VarArgInfo varArgInfo = new VarArgInfo(constant.value,
                        varArgTypes, varArgBase);
                return varArgInfo;
View Full Code Here
362
363
364
365
366
367
368
369
370
371
372
                        // assigning to the varArg array values. Compute
                        // the type at the assigned position. This will always
                        // happen after the varargs instantiation!

                        if (jArrayRef.getIndex() instanceof IntConstant) {
                            IntConstant intConstant = (IntConstant) jArrayRef
                                    .getIndex();
                            int index = intConstant.value;
                            Type oldType = varArgTypes[index];
                            Type type = jAssignStmt.getRightOp().getType();
                            if (oldType instanceof RefType
View Full Code Here
TOP

Related Classes of soot.jimple.IntConstant

  • dk.brics.jwig.analysis.jaive.InterfaceInvocationChecker
  • dk.brics.xact.analysis.soot.ArrayConstantAnalysis
    • 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.