Package soot.toolkits.scalar

Examples of soot.toolkits.scalar.SimpleLocalDefs

140
141
142
143
144
145
146
147
148
149
150
            JimpleBody body = (JimpleBody) method.retrieveActiveBody();

            CompleteUnitGraph unitGraph = new CompleteUnitGraph(body);

            // This will help us figure out where locals are defined.
            SimpleLocalDefs localDefs = new SimpleLocalDefs(unitGraph);

            for (Iterator units = body.getUnits().snapshotIterator(); units
                    .hasNext();) {
                Stmt unit = (Stmt) units.next();
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
            JimpleBody body = (JimpleBody) method.retrieveActiveBody();

            CompleteUnitGraph unitGraph = new CompleteUnitGraph(body);

            // this will help us figure out where locals are defined.
            SimpleLocalDefs localDefs = new SimpleLocalDefs(unitGraph);

            for (Iterator units = body.getUnits().snapshotIterator(); units
                    .hasNext();) {
                Stmt unit = (Stmt) units.next();
View Full Code Here
360
361
362
363
364
365
366
367
368
369
370
            JimpleBody body = (JimpleBody) method.retrieveActiveBody();

            CompleteUnitGraph unitGraph = new CompleteUnitGraph(body);

            // this will help us figure out where locals are defined.
            SimpleLocalDefs localDefs = new SimpleLocalDefs(unitGraph);

            for (Iterator units = body.getUnits().snapshotIterator(); units
                    .hasNext();) {
                Stmt unit = (Stmt) units.next();
View Full Code Here
522
523
524
525
526
527
528
529
530
531
532
    public SimpleLocalDefs getSimpleLocalDefs(Body body) {
        if (simpleLocalDefCache == null)
            simpleLocalDefCache = new HashMap<Body, SimpleLocalDefs>();
        if (!simpleLocalDefCache.containsKey(body)) {
            SimpleLocalDefs simpleLocalDefs = new SimpleLocalDefs(
                    new ExceptionalUnitGraph(body));
            simpleLocalDefCache.put(body, simpleLocalDefs);
        }
        return simpleLocalDefCache.get(body);
    }
View Full Code Here
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
     * @return the values the value can be assigned
     */
    public List<Value> getReachingValues(Value value, Stmt st, Body body) {
        List<Value> values = new ArrayList<Value>();
        if (value instanceof Local) {
            SimpleLocalDefs simpleLocalDefs = getSimpleLocalDefs(body);
            // find the actual type of the locals
            Local local = (Local) value;
            List<Unit> defsOfAt = simpleLocalDefs.getDefsOfAt(local, st);
            for (Unit unit : defsOfAt) {
                if (unit instanceof JAssignStmt) {
                    JAssignStmt assign = (JAssignStmt) unit;
                    values.add(assign.getRightOp());
                } else if (unit instanceof JIdentityStmt) {
View Full Code Here
234
235
236
237
238
239
240
241
242
243
244
245
246
        final boolean isNext = originatesFromNextCall(right, body, st);
        return !isNext;
    }

    private boolean originatesFromNextCall(JCastExpr right, Body body, Stmt st) {
        SimpleLocalDefs simpleLocalDefs = new SimpleLocalDefs(
                new ExceptionalUnitGraph(body));
        List<Unit> defsOfAt = simpleLocalDefs.getDefsOfAt(
                (Local) right.getOp(), st);
        // check all definitions, all must be invocations of next()
        for (Unit unit : defsOfAt) {
            if (unit instanceof AssignStmt) {
                AssignStmt assign = (AssignStmt) unit;
View Full Code Here
274
275
276
277
278
279
280
281
282
        return targetedWebApps;
    }

    public Set<Type> getReachingWebAppClassDescriptors(Value value, Stmt st,
            Body body) {
        SimpleLocalDefs simpleLocalDefs = resolver.getSimpleLocalDefs(body);
        return getReachingWebAppClassDescriptors(value, st, simpleLocalDefs,
                body.getMethod());
    }
View Full Code Here
TOP

Related Classes of soot.toolkits.scalar.SimpleLocalDefs

  • dk.brics.jwig.analysis.jaive.InterfaceInvocationLinker
  • dk.brics.jwig.analysis.jaive.InvocationDetector
  • dk.brics.jwig.analysis.JwigResolver
  • ptolemy.copernicus.java.DeadObjectEliminator
  • ptolemy.copernicus.java.FieldsForAttributesTransformer
  • ptolemy.copernicus.java.FieldsForEntitiesTransformer
  • ptolemy.copernicus.java.FieldsForPortsTransformer
  • ptolemy.copernicus.java.InlineParameterTransformer
  • ptolemy.copernicus.java.InlineTokenTransformer
  • ptolemy.copernicus.java.NamedObjEqualityEliminator
    • 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.