Package soot.jimple

Examples of soot.jimple.InstanceOfExpr

189
190
191
192
193
194
195
196
197
198
199
200
                                }

                                _addAllInterfaces(necessaryClasses, castClass);
                            }
                        } else if (value instanceof InstanceOfExpr) {
                            InstanceOfExpr expr = (InstanceOfExpr) value;
                            Type checkType = expr.getCheckType();

                            if (checkType instanceof RefType) {
                                SootClass checkClass = ((RefType) checkType)
                                        .getSootClass();
View Full Code Here
135
136
137
138
139
140
141
142
143
144
145
146
147
                } else if (value instanceof InstanceOfExpr) {
                    // If the operand of the expression is
                    // declared to be of a type that implies
                    // the instanceof is true, then replace
                    // with true.
                    InstanceOfExpr expr = (InstanceOfExpr) value;
                    Type checkType = expr.getCheckType();
                    Value op = expr.getOp();
                    Type opType = op.getType();

                    // Skip locals that are unsafe.
                    if (unsafeLocalSet.contains(op)) {
                        continue;
View Full Code Here
401
402
403
404
405
406
407
408
409
410
411
412
                while (boxes.hasNext()) {
                    ValueBox box = (ValueBox) boxes.next();
                    Value value = box.getValue();

                    if (value instanceof InstanceOfExpr) {
                        InstanceOfExpr expr = (InstanceOfExpr) value;
                        Type checkType = expr.getCheckType();

                        if (checkType instanceof RefType) {
                            nodes.add(((RefType) checkType).getSootClass());
                        }
                    }
View Full Code Here
174
175
176
177
178
179
180
181
182
183
184
185
186
                } else if (value instanceof InstanceOfExpr) {
                    // If the operand of the expression is
                    // declared to be of a type that implies
                    // the instanceof is true, then replace
                    // with true.
                    InstanceOfExpr expr = (InstanceOfExpr) value;
                    Type checkType = expr.getCheckType();
                    Value op = expr.getOp();

                    if (!PtolemyUtilities.isTokenType(op.getType())) {
                        continue;
                    }
View Full Code Here
TOP

Related Classes of soot.jimple.InstanceOfExpr

  • ptolemy.copernicus.c.CallGraphPruner
  • ptolemy.copernicus.java.TokenInstanceofEliminator
  • ptolemy.copernicus.kernel.CastAndInstanceofEliminator
  • ptolemy.copernicus.kernel.LibraryUsageReporter
    • 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.