[Soot-list] soot

[Eric Bodden]

Hi.

 

Yes, this can happen. Soot uses a lot of Singletons which have to be
reset if you call main multiple times. You can reset all those
singletons by calling soot.G.reset().

 

Having said that, this is not what you wanna do. You can simply give
Soot multiple class files on the command line. It's all documented here:

http://www.sable.mcgill.ca/soot/tutorial/usage/

 

 

Eric

 

From: soot-list-bounces at sable.mcgill.ca
[mailto:soot-list-bounces at sable.mcgill.ca] On Behalf Of Peng Li
Sent: Wednesday, October 04, 2006 7:45 PM
To: soot-list at sable.mcgill.ca
Subject: [Soot-list] soot

 

HI 

I am using soot to analyze multiple class files. The method what I am
using is to run soot.Main.main(args) multiple times and each time give
different "args"  to soot.Main.main(); . However, the first soot run is
ok, the second soot run gives me the following mistakes. 

 

java.lang.RuntimeException: This operation requires resolving level
SIGNATURES but com.oreilly.struts.storefront.order.ShoppingCartActions
is at resolving level HIERARCHY
("com.oreilly.struts.storefront.order.ShoppingCartActions " is the 2nd
class name which is passed to soot.Main.main() )

 

The method what I am using looks very silly because it restarts soot
many time (depending on how many classes you have.). I am wondering if
there are any good ways to run soot analysis for multiple classes.
Could anyone help me  to figure out my problem? 

 

Thank you very much for your help.

 

Cheers

 

Peng 

import soot.*;
import soot.jimple.*;
import soot.toolkits.graph.BriefUnitGraph;
import soot.util.*;
import java.util.*;

public class ReturnInstrumenter extends BodyTransformer{
    private static ReturnInstrumenter instance = new
ReturnInstrumenter();
    private ReturnInstrumenter() {}

 public static ReturnInstrumenter v() { return instance; }

    public static void main(String[] args) 
    {
     String[] a={"com.oreilly.struts.storefront.order.CheckoutAction"};
     String[]
b={"com.oreilly.struts.storefront.order.ShoppingCartActions "};
 
Scene.v().setSootClassPath("C:/workspace/ReturnValue/sootOutput;C:/j2sdk
1.4.2_12/jre/lib/rt.jar");
     PhaseOptions.v().setPhaseOption("jop", "on");  
     PackManager.v ().getPack("jtp").add(new
Transform("jtp.instrumenter", ReturnInstrumenter.v()));
 
Scene.v().addBasicClass("java.io.PrintStream",SootClass.SIGNATURES);
        soot.Main.main(a); 
        soot.Main.main(b);
    }
    
 protected void internalTransform(Body body, String phase, Map options)
{
  BriefUnitGraph cfg=new BriefUnitGraph(body);
  SootMethod method = body.getMethod();
   System.out.println("instrumenting method : " +
method.getSignature());
    Chain units = body.getUnits();
  Iterator stmtIt = units.snapshotIterator();
  while(stmtIt.hasNext())
  {
   Stmt stmt = (Stmt) stmtIt.next();
  if(stmt instanceof ReturnStmt)
   {
    
     List predlist=cfg.getPredsOf(stmt);
    Stmt invokstmt = (Stmt) predlist.get(0);
    InvokeExpr invokexpr = invokstmt.getInvokeExpr();
     System.out.println(invokexpr.getArg(0));

   } }}

 

Output

Soot started on Thu Oct 05 07:43:03 CST 2006
Transforming com.oreilly.struts.storefront.order.CheckoutAction... 
instrumenting method :
<com.oreilly.struts.storefront.order.CheckoutAction: void <init>()> 
instrumenting method :
<com.oreilly.struts.storefront.order.CheckoutAction:
org.apache.struts.action.ActionForward
execute(org.apache.struts.action.ActionMapping,org.apache.struts.action.
ActionForm,javax.servlet.http.HttpServletRequest
,javax.servlet.http.HttpServletResponse)>
"Login"
"Success"
Writing to
sootOutput\com\oreilly\struts\storefront\order\CheckoutAction.class
Soot finished on Thu Oct 05 07:43:04 CST 2006
Soot has run for 0 min. 1 sec.
Soot started on Thu Oct 05 07:43:04 CST 2006
java.lang.RuntimeException: This operation requires resolving level
SIGNATURES but com.oreilly.struts.storefront.order.ShoppingCartActions
is at resolving level HIERARCHY 
 at soot.SootClass.checkLevel(SootClass.java:126)
 at soot.SootClass.addMethod(SootClass.java:581)
 at soot.coffi.Util.resolveFromClassFile(Util.java:252)
 at soot.CoffiClassSource.resolve(CoffiClassSource.java :37)
 at soot.SootResolver.bringToHierarchy(SootResolver.java:148)
 at soot.SootResolver.bringToSignatures(SootResolver.java:172)
 at soot.SootResolver.processResolveWorklist(SootResolver.java:104)
 at soot.SootResolver.resolveClass (SootResolver.java:89)
 at soot.Scene.loadClass(Scene.java:329)
 at soot.Scene.loadClassAndSupport(Scene.java:314)
 at soot.Scene.loadNecessaryClass(Scene.java:861)
 at soot.Scene.loadNecessaryClasses(Scene.java :880)
 at soot.Main.run(Main.java:177)
 at soot.Main.main(Main.java:153)
 at ReturnInstrumenter.main(ReturnInstrumenter.java:29)
Exception in thread "main" 

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20061004/31f379d0/attachment-0001.htm