soot.util.Chain Java Examples

The following examples show how to use soot.util.Chain. You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.

Example #1

Source File: ReflectiveCallsInliner.java From JAADAS with GNU General Public License v3.0

6 votes

private void insertCastOrBoxingCode(Local lhs, Local rhs, Chain<Unit> newUnits) {
	//if assigning to a primitive type then there's nothing to do
	if(lhs.getType() instanceof RefLikeType) {
		if((rhs.getType() instanceof RefLikeType)) {
			//insert cast
			newUnits.add(Jimple.v().newAssignStmt(lhs, Jimple.v().newCastExpr(rhs, lhs.getType())));
		} else {
			//primitive type in rhs; insert boxing code
		    RefType boxedType = ((PrimType)rhs.getType()).boxedType();
			SootMethodRef ref = Scene.v().makeMethodRef(
				      boxedType.getSootClass(),
				      "valueOf",
				      Collections.<Type>singletonList(rhs.getType()),
				      boxedType,
				      true
				    );
			newUnits.add(Jimple.v().newAssignStmt(lhs, Jimple.v().newStaticInvokeExpr(ref,rhs)));
		}
	}
}

Example #2

Source File: ReflectiveCallsInliner.java From JAADAS with GNU General Public License v3.0

6 votes

private void insertCastOrUnboxingCode(Local lhs, Local rhs, Chain<Unit> newUnits) {
	//if assigning to a reference type then there's nothing to do
	if(lhs.getType() instanceof PrimType) {
		if((rhs.getType() instanceof PrimType)) {
			//insert cast
			newUnits.add(Jimple.v().newAssignStmt(lhs, Jimple.v().newCastExpr(rhs, lhs.getType())));
		} else {
			//reference type in rhs; insert unboxing code
		    RefType boxedType = (RefType) rhs.getType();
			SootMethodRef ref = Scene.v().makeMethodRef(
				      boxedType.getSootClass(),
				      lhs.getType().toString() + "Value",
				      Collections.<Type>emptyList(),
				      lhs.getType(),
				      false
				    );
			newUnits.add(Jimple.v().newAssignStmt(lhs, Jimple.v().newVirtualInvokeExpr(rhs, ref)));
		}
	}
}

Example #3

Source File: NopEliminator.java From JAADAS with GNU General Public License v3.0

5 votes

/** Removes {@link NopStmt}s from the passed body (which must be
a {@link JimpleBody}).  Complexity is linear 
       with respect to the statements.
   */
   
   protected void internalTransform(Body b, String phaseName, Map<String, String> options)
   {
       JimpleBody body = (JimpleBody)b;
       
       if(Options.v().verbose())
           G.v().out.println("[" + body.getMethod().getName() +
               "] Removing nops...");
               
       Chain<Unit> units = body.getUnits();
       
       // Just do one trivial pass.
       {
           Iterator<Unit> stmtIt = units.snapshotIterator();
           
           while(stmtIt.hasNext()) 
           {
               Unit u = stmtIt.next();
			if (u instanceof NopStmt) {
				// Hack: do not remove nop, if is is used for a Trap which
				// is at the very end of the code.
				boolean keepNop = false;
				if (b.getUnits().getLast() == u) {
					for (Trap t : b.getTraps()) {
						if (t.getEndUnit() == u) {
							keepNop = true;
						}
					}
				}
				if (!keepNop) {
					units.remove(u);
				}
			}
           }
       }
   }

Example #4

Source File: EnhancedUnitGraph.java From JAADAS with GNU General Public License v3.0

5 votes

/**
 * This method adds a STOP node to the graph, if necessary, to make the CFG
 * single-tailed.
 */

protected void handleMultipleReturns()
{

	if(this.getTails().size() > 1)
	{
		Unit stop = new ExitStmt();
	    List<Unit> predsOfstop = new ArrayList<Unit>();

	    
		for(Iterator<Unit> tailItr = this.getTails().iterator(); tailItr.hasNext(); )
		{
			Unit tail = tailItr.next();
			predsOfstop.add(tail);
		
			List<Unit> tailSuccs = this.unitToSuccs.get(tail);
			tailSuccs.add(stop);	
		}
		
	    this.unitToPreds.put(stop, predsOfstop);
	    this.unitToSuccs.put(stop, new ArrayList<Unit>());

	    Chain<Unit> units = body.getUnits().getNonPatchingChain();
	    if(!units.contains(stop))
	    	units.addLast(stop);	    
	}
}

Example #5