Package soot.toolkits.graph

Examples of soot.toolkits.graph.CompleteUnitGraph

493
494
495
496
497
498
499
500
501
502
503
                    continue;
                }

                JimpleBody body = (JimpleBody) method.retrieveActiveBody();

                CompleteUnitGraph unitGraph = new CompleteUnitGraph(body);
                SimpleLocalDefs localDefs = new SimpleLocalDefs(unitGraph);
                SimpleLocalUses localUses = new SimpleLocalUses(unitGraph,
                        localDefs);

                //  TokenTypeAnalysis typeAnalysis =
View Full Code Here
895
896
897
898
899
900
901
902
903
904
905
                    .hasNext();) {
                SootMethod method = (SootMethod) methods.next();

                JimpleBody body = (JimpleBody) method.retrieveActiveBody();

                CompleteUnitGraph unitGraph = new CompleteUnitGraph(body);
                SimpleLocalDefs localDefs = new SimpleLocalDefs(unitGraph);
                SimpleLocalUses localUses = new SimpleLocalUses(unitGraph,
                        localDefs);

                //  TokenTypeAnalysis typeAnalysis =
View Full Code Here
163
164
165
166
167
168
169
170
171
172
173
            while (doneSomething) {
                doneSomething = false;

                // System.out.println("Inlining tokens iteration " + count++);
                CompleteUnitGraph unitGraph = new CompleteUnitGraph(body);

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

                // Analyze and tokens that are constructed in this
View Full Code Here
307
308
309
310
311
312
313
314
315
316
317
                        throw new RuntimeException("unknown return type = "
                                + returnType);
                    }

                    // Reanalyze the locals... since this may have changed.
                    CompleteUnitGraph unitGraph = new CompleteUnitGraph(body);
                    _localDefs = new SimpleLocalDefs(unitGraph);
                }
            }
        }
View Full Code Here
161
162
163
164
165
166
167
168
169
170
171
     *  fields.
     */
    public static void _removeSideEffectFreeMethodCalls(SootMethod method,
            CallGraph callGraph, SideEffectAnalysis analysis) {
        Body body = method.retrieveActiveBody();
        CompleteUnitGraph unitGraph = new CompleteUnitGraph(body);

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

View Full Code Here
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
        // Now loop through all the reachable uses of the new definition
        // and replace references to the local with references to the
        // static class.
        // FIXME this only traces through locals.  What if we set the
        // value to a field?
        CompleteUnitGraph unitGraph = new CompleteUnitGraph(containerBody);

        // this will help us figure out where locals are defined.
        SimpleLocalDefs localDefs = new SimpleLocalDefs(unitGraph);
        SimpleLocalUses localUses = new SimpleLocalUses(unitGraph, localDefs);
        List useList = localUses.getUsesOf(newStmt);
View Full Code Here
251
252
253
254
255
256
257
258
259
260
261
        }

        // Resolve thisRef for this class.
        NamedObj referredObject = ModelTransformer.getObjectForClass(theClass);

        CompleteUnitGraph unitGraph = new CompleteUnitGraph(body);

        // this will help us figure out where locals are defined.
        SimpleLocalDefs localDefs = new SimpleLocalDefs(unitGraph);
        SimpleLocalUses localUses = new SimpleLocalUses(unitGraph, localDefs);
        NamedObjAnalysis namedObjAnalysis = new NamedObjAnalysis(method,
View Full Code Here
151
152
153
154
155
156
157
158
159
160
161
        if (debug) {
            System.out.println("Removing object comparisons in " + method);
        }

        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);
        SimpleLocalUses localUses = new SimpleLocalUses(unitGraph, localDefs);
View Full Code Here
105
106
107
108
109
110
111
112
113
114
115
     *  creation may have side effects that will not be seen.  We use
     *  this when we have knowledge of the given class that side
     *  effects are not possible, or that the object is immutable.
     */
    private static void _removeDeadObjectCreation(Body body, Set classSet) {
        CompleteUnitGraph unitGraph = new CompleteUnitGraph(body);

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

View Full Code Here
102
103
104
105
106
107
108
109
110
111
112
            Set unsafeLocalSet, boolean debug) {
        System.out.println("eliminating token casts and instanceofs in "
                + body.getMethod());
        // Analyze the types of variables which refer to tokens.
        TokenTypeAnalysis tokenTypes = new TokenTypeAnalysis(body.getMethod(),
                new CompleteUnitGraph(body));

        for (Iterator units = body.getUnits().iterator(); units.hasNext();) {
            Unit unit = (Unit) units.next();

            for (Iterator boxes = unit.getUseBoxes().iterator(); boxes
View Full Code Here
TOP

Related Classes of soot.toolkits.graph.CompleteUnitGraph

  • dk.brics.jwig.analysis.jaive.InterfaceInvocationChecker
  • dk.brics.jwig.analysis.jaive.InvocationDetector
  • dk.brics.jwig.analysis.jaive.MyStringAnalysis
  • dk.brics.jwig.analysis.JwigResolver
  • dk.brics.string.StringAnalysis
  • dk.brics.xact.analysis.soot.Jimple2FlowGraph
  • ptolemy.copernicus.java.DeadObjectEliminator
  • ptolemy.copernicus.java.FieldsForAttributesTransformer
  • ptolemy.copernicus.java.FieldsForEntitiesTransformer
  • ptolemy.copernicus.java.FieldsForPortsTransformer
    • 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.