-
-
Notifications
You must be signed in to change notification settings - Fork 708
Introduction: Soot as a command line tool
You can always download the latest release version of Soot from here. From the "Build" folder you can choose a bunch of different options but usually you will just be needing the following:
- sootclasses-trunk-jar-with-dependencies.jar
Here we are using Soot 3.0.1. After having downloaded the file we can give soot a try:
$ java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main
Soot version trunk
Copyright (C) 1997-2010 Raja Vallee-Rai and others.
All rights reserved.
...
For the really brave among you, the Software Engineering Group at Paderborn University provides a nightly build that is directly drawn from our Github repository. Usually, the latest nightly build is the most stable version of Soot because tend to test code before we commit it. However, this may not always be true. The Soot webpage tells you where to download the nightly builds.
Ok, so it seems to be working but what can we do with it now? Let’s have a look at the command line options:
$ java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main --help
General Options:
-coffi Use the good old Coffi front end for parsing
Java bytecode (instead of using ASM).
-asm-backend Use the ASM back end for generating Java
bytecode (instead of using Jasmin).
-h -help Display help and exit
-pl -phase-list Print list of available phases
-ph PHASE -phase-help PHASE Print help for specified PHASE
-version Display version information and exit
-v -verbose Verbose mode
...
The full list of command line options is always available here and we encourage every Soot beginner to have a look at this documentation.
Soot in general processes a bunch of classes. These classes can come in one of three formats:
- Java source code, i.e., .java files,
- Java bytecode, i.e., .class files, and
- Jimple source, i.e., .jimple files.
In case you don’t know yet, Jimple is Soot’s primary intermediate representation, a three-address code that is basically a sort of simplified version of Java that only requires around 15 different kinds of statements. You can instruct Soot to convert .java or .class files to .jimple files or the other hand around. You can even have Soot generate .jimple from .java, modify the .jimple with a normal text editor and then convert your .jimple to .class, virtually hand-optimizing your program. But we are getting off-track here...
The principle way to have Soot process two classes A and B is just to add them to the command line, which makes them application classes:
$ ls *.java
A.java B.java
Now, if you're working with JDK8, these Java files need to be compiled before they can be passed on as command-line parameters:
$ javac *.java
$ ls *.class
A.class B.class
$ java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main A B
Soot started on Tue Feb 20 05:52:52 CET 2018
soot.SootResolver$SootClassNotFoundException: couldn't find class: A (is your soot-class-path set properly?)
Whooops, what went wrong there? Well, I omitted an important detail: Soot has its own classpath!
Soot has its own classpath and will load files only from JAR files or directories on that path. By default, this path is empty and therefore in the above example Soot does not “see” the classes A and B although they exist. So let’s just add the current directory “.”:
$ java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main -cp . A B
Soot started on Tue Feb 20 05:54:48 CET 2018
soot.SootResolver$SootClassNotFoundException: couldn't find class: java.lang.Object (is your soot-class-path set properly?)
What’s wrong now? Apparently Soot was able to find A and B (at least it doesn’t complain about these any more) but now it’s missing java.lang.Object
.
Why does Soot care about java.lang.Object
anyway? In order to do anything meaningful with your program, Soot needs to have typing information and in particular it needs to reconstruct types for local variables and in order to do so it needs to know the complete type hierarchy of the classes you want to process.
Regarding the exception, there are three ways to resolve it:
- add
rt.jar
to your classpath - add the
–pp
option, given yourCLASSPATH
variable comprisesrt.jar
orJAVA_HOME
is set correctly - use the
–allow-phantom-refs
option (not recommended)
In the first option you add your JDK’s rt.jar
to Soot’s classpath (not the JVM’s classpath!). This JAR file contains the class java.lang.Object
:
$ java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main -cp .:/home/user/ebodde/bin/jre1.8.0_161/lib/rt.jar A B
Soot started on Tue Feb 20 06:11:59 CET 2018
Transforming B...
Transforming A...
Writing to sootOutput\B.class
Writing to sootOutput\A.class
Soot finished on Tue Feb 20 06:12:01 CET 2018
Soot has run for 0 min. 1 sec.
Note: On Windows, you should use ;
as path splitter, not :
.
Heureka! This seems to have worked. Soot successfully processed the two .java
files and placed resulting .class
files into the sootOutput folder. Note that in general, Soot will process all classes you name on the command line and all classes referenced by those classes.
Beware, though, a common mistake is the following:
$ java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main -cp .:~/bin/sun-jdk1.6.0_05/jre/lib/rt.jar A B
Soot started on Tue Feb 20 05:59:48 CET 2018
Exception in thread "main" java.lang.RuntimeException: couldn't find class: java.lang.Object (is your soot-class-path set properly?)
What went wrong? Well, you tried to use ~
because that points to your home directory, no? Well yes, but the problem is that usually ~
is expanded by the shell, but not in this case. Soot gets the raw ~
string as a command line option and currently Soot is unable to expand that string into the right string for your home directory. So always use full or relative paths in Soot’s classpath.
The second option is to use –pp
:
$ java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main -cp . -pp A B
Soot started on Tue Feb 20 06:13:51 CET 2018
Transforming A...
Transforming B...
Writing to sootOutput\A.class
Writing to sootOutput\B.class
Soot finished on Tue Feb 20 06:13:52 CET 2018
Soot has run for 0 min. 1 sec.
Wow, that was much easier than adding this dawn classpath all the time, wasn’t it? Exactly and that’s why we added this option. –pp
stands for “prepend path” and it means that Soot automatically adds the following to it’s own classpath (in that order):
- the contents of your current
CLASSPATH
variable, -
${JAVA_HOME}/lib/rt.jar
, and - if you are in whole-program mode (i.e. the
–w
option is enabled; more to come) then it also adds${JAVA_HOME}/lib/jce.jar
The third way (not recommended) to make Soot sort of happy is the option –allow-phantom-refs
:
$ java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main -allow-phantom-refs -cp . A B
Soot started on Tue Feb 20 06:15:39 CET 2018
Transforming Transforming A...
B...
Writing to sootOutput\B.class
Writing to sootOutput\A.class
Soot finished on Tue Feb 20 06:15:40 CET 2018
Soot has run for 0 min. 0 sec.
So what does that do? Basically, this option tells Soot: “Well, I really don’t want to give you the classes you are missing (maybe because you just don’t have those classes) but please make the best effort even without them.” Soot creates a “phantom class” for each class that it cannot resolve and tells you about it. Note that this approach is very limited and in many cases does not lead to the results you need. Only use this option if you know what you are doing
Important note for Windows users Soot will treat drive letters correctly, but under Windows the path separator must be a backslash, not a forward slash. And the path separator should be ';' (semi-colon) instead of ':' (colon).
You can also process entire directories or JAR files using Soot, using the –process-dir
option:
java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main -cp . -pp -process-dir .
Soot started on Fri Feb 23 18:09:59 CET 2018
Transforming B...
Transforming A...
Writing to sootOutput\B.class
Writing to sootOutput\A.class
Soot finished on Fri Feb 23 18:10:00 CET 2018
Soot has run for 0 min. 1 sec.
To process a JAR file, just use the same option but provide a path to a JAR instead of a directory. Nice, eh? Be careful, though: If you apply the very same command again to the very same folder you will run into a problem now:
$ java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main -cp . -pp -process-dir .
Soot started on Fri Feb 23 18:22:21 CET 2018
java.lang.RuntimeException: Class names not equal! A != sootOutput.A
What happened? Well, as I noted earlier, Soot places the generated .class files into the folder sootOutput, which resides in the current directory “.”. Therefore Soot now processed the previously generated files, at the same time complaining about the fact that a class of name “A” resides at location ./sootOutput/A and therefore should actually have the name sootOutput.A, i.e. be in the sootOutput package. Therefore, when using the –process-dir
option also use the –d
option to redirect Soot’s output:
$ java -cp sootclasses-trunk-jar-with-dependencies.jar soot.Main -cp . -pp -process-dir . -d /tmp/sootout
Soot started on Fri Feb 23 18:15:55 CET 2018
Transforming B...
Transforming A...
Writing to \tmp\sootout\A.class
Writing to \tmp\sootout\B.class
Soot finished on Fri Feb 23 18:15:56 CET 2018
Soot has run for 0 min. 1 sec.
This redirects Soot’s output to /tmp/sootout, which is not a sub-directory of the current directory. Voila.
Assume you have a directory that contains both A.java
and A.class
and you invoke Soot as before. In this case Soot will load the definition of A from the file A.class. This may not always be what you want. The –src-prec
option tells Soot which input type it should prefer over others. There are four options:
-
c
orclass
(default): favour class files as Soot source, -
only-class
: use only class files as Soot source, -
J
orjimple
: favour Jimple files as Soot source, and -
java
: favour Java files as Soot source.
So e.g. -src-prec java
will load A.java
in the above example.
Classes that Soot actually processes are called application classes. This is opposed to library classes, which Soot does not process but only uses for type resolution. Application classes are usually those explicitly stated on the command line or those classes that reside in a directory referred to via –process-dir
.
When you use the -app
option, however, then Soot also processes all classes referenced by these classes. It will not, however, process any classes in the JDK, i.e. classes in one of the java.*
and com.sun.*
packages. If you wish to include those too you have to use the special –i
option, e.g. -i java
. See the guide on command line options for this and other command line options.
Also check out Soot's webpage.
NOTE: If you find any bugs in those tutorials (or other parts of Soot) please help us out by reporting them in our issue tracker.
- Home
- Getting Help
- Tutorials
- Reference Material
- General Notions
- Getting Started
- A Few Uses of Soot
- Using Soot as a Command-Line Tool
- Using the Soot Eclipse Plugin
- Using Soot as a Compiler Framework
- Building Soot
- Coding Conventions
- Contributing to Soot
- Updating the Soot Web Page
- Reporting Bugs
- Preparing a New Soot Release