Examples of containsInvokeExpr()

Examples of soot.jimple.Stmt.containsInvokeExpr()

700
701
702
703
704
705
706
707
708
709
710
                    calledMethod.retrieveActiveBody());
            // check every statement for a next() invocation
            for (Unit aCug : cug) {
                assert aCug instanceof Stmt;
                final Stmt stmt = (Stmt) aCug;
                if (stmt.containsInvokeExpr()) {
                    if (isNext(stmt.getInvokeExpr().getMethod())) {
                        return true;
                    }
                }
            }
View Full Code Here

Examples of soot.jimple.Stmt.containsInvokeExpr()

761
762
763
764
765
766
767
768
769
770
771
                if (sm.isConcrete()) {
                    CompleteUnitGraph cug = new CompleteUnitGraph(sm.retrieveActiveBody());
                    Iterator si = cug.iterator();
                    while (si.hasNext()) {
                        Stmt stmt = (Stmt) si.next();
                        if (stmt.containsInvokeExpr()) {
                            InvokeExpr expr = stmt.getInvokeExpr();
                            if (expr.getMethodRef().getSignature().equals(sig)) {
                                ValueBox box = expr.getArgBox(argnum);
                                list.add(box);
                            }
View Full Code Here

Examples of soot.jimple.Stmt.containsInvokeExpr()

126
127
128
129
130
131
132
133
134
135
136
                SootMethod sm = (SootMethod) mi.next();
                if (sm.isConcrete()) {
                   
                    for (Unit unit : sm.getActiveBody().getUnits()) {
                        Stmt stmt = (Stmt) unit;
                        if (stmt.containsInvokeExpr()) {
                            InvokeExpr expr = stmt.getInvokeExpr();
                            if (expr.getMethod().getSignature().equals("<dk.brics.string.runtime.Strings: java.lang.String analyze(java.lang.String,java.lang.String)>")) {
                                ValueBox spot = expr.getArgBox(0);
                                Automaton expected = getRegExp(expr).toAutomaton(bindings);
                                hotspots.add(new RuntimeHotspot(spot, expected, HotspotKind.ANALYZE));
View Full Code Here

Examples of soot.jimple.Stmt.containsInvokeExpr()

111
112
113
114
115
116
117
118
119
120
121
            final Body body = method.retrieveActiveBody();
            CompleteUnitGraph cug = new CompleteUnitGraph(body);
            for (Unit aCug : cug) {
                assert aCug instanceof Stmt;
                Stmt st = (Stmt) aCug;
                if (st.containsInvokeExpr()) {
                    handlePlug(st, body, stateMachine);
                    queue.addAll(handleInvocation(stateMachine, method, st));
                } else if (st instanceof AssignStmt) {
                    // will not alter control flow, but an unanalyzable rhs
                    // might pop up
View Full Code Here

Examples of soot.jimple.Stmt.containsInvokeExpr()

55
56
57
58
59
60
61
62
63
64
65
                    CompleteUnitGraph cug = new CompleteUnitGraph(
                            method.retrieveActiveBody());
                    // each statement in the unit in the class
                    for (Unit unit : cug) {
                        Stmt stmt = (Stmt) unit;
                        if (stmt.containsInvokeExpr()) {
                            InvokeExpr expr = stmt.getInvokeExpr();
                            final String invokedSignature = expr.getMethod()
                                    .getSignature();
                            if (invokedSignature.equals(targetSignature)) {
                                // we have found an invocation of our target
View Full Code Here

Examples of soot.jimple.internal.JAssignStmt.containsInvokeExpr()

182
183
184
185
186
187
188
189
190
191
192
          if (succs.size() == 1) {
            Stmt s2 = (Stmt) succs.get(0);
            if (s1 instanceof JAssignStmt && s2 instanceof JInvokeStmt && mbug.getPredsOf(s2).size() == 1) {
              JAssignStmt js1 = (JAssignStmt) s1;
              JInvokeStmt js2 = (JInvokeStmt) s2;
              if (js1.containsInvokeExpr()
                  && (js1.getInvokeExpr().getMethod().getSignature().equals("<dk.brics.xact.XML: java.util.Map getNamespaceMap()>")
                      || js1.getInvokeExpr().getMethod().getSignature().equals("<dk.brics.xact.XML: java.util.Map getThreadNamespaceMap()>"))
                  && js2.getInvokeExpr().getMethod().getSignature().equals("<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>")
                  && js1.getDefBoxes().size() == 1 && js1.getDefBoxes().get(0) instanceof AbstractValueBox
                  && js2.getInvokeExpr() instanceof JInterfaceInvokeExpr) {
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.