- #BYTECODE CONTROL FLOW GRAPH BUILDER MAC OS X#
- #BYTECODE CONTROL FLOW GRAPH BUILDER INSTALL#
- #BYTECODE CONTROL FLOW GRAPH BUILDER LICENSE#
in Java bytecode has a number of instructions for adding integers, longs, etc.). Baf abstracts away the constant pool and collapses type dependent variations of instructions to a single instruction (e.g. Represents a method body and comes in different flavors, corresponding to different IRs (e.g., JimpleBody).īaf is a streamlined stack-based representation of Java bytecode. Represents a single class loaded into Soot or created using Soot. The Scene class represents the complete environment the analysis takes place in. The Soot framework builds data structures to represent the following: Each of the IRs have different levels of abstraction that give different benefits when analyzing Java bytecode. One of the main benefits of Soot is that it provides four different Intermediate Representations (IR) for analysis purposes. Internals Soot's objective is to provide tools leading to the better understanding and faster execution of Java programs. A Control Flow Graph (CFG) is displayed when run interactively. The dialog has a complete set of options for Soot and can provide verbose output to the Eclipse console.įigure 3 shows Soot run in interactive mode.
#BYTECODE CONTROL FLOW GRAPH BUILDER MAC OS X#
Figure 1 shows Soot being run from the Eclipse project menu on the Foo Java class.įigure 1: Soot Plug-in in Eclipse 3.4 IDE on Mac OS X 10.5įigure 2 shows Soot run dialog. All Soot output is placed in the Java project inside the sootOutput folder. Intraprocedural optimizations can be turned on by specifying the -O switch and whole program optimizations with -W.Ī much more graphical approach to Soot is using the Soot Eclipse plug-in. Using c for the output format or simply omitting the -f parameter will produce standard Java class files. This will produce the Baf IR with the Foo class in a file called sootOutput/Foo.baf. Soot can produce the intermediate representations by invoking Soot with the -f parameter as shown below. Using Soot from the command line is much like using a compiler such as gcc. An installation guide for installing Soot as an Eclipse plug-in can be found here. Soot's Eclipse Plugin integrates Soot with Eclipse, allowing the user to optimize class files automatically and use more advanced optimization options, import class files and decompile them using the Dava Decompiler, use a Jimple editor with syntax highlighting, view attribute information at source and IR levels, and develop analyses with an interactive control flow graph. $ export CLASSPATH="$:/directory/to/soot/jars" Below is an example of Soot running from the command line.
Set the CLASSPATH environmental variable to contain the path to the pre-compiled JARs. Three pre-compiled JARs are needed: sootclasses-2.3.0.jar, jasminclasses-2.3.0.jar, and polyglotclasses-2.3.0.jar.
#BYTECODE CONTROL FLOW GRAPH BUILDER INSTALL#
To install and use as a standalone tool, the Soot framework should be downloaded from here. Soot can be downloaded and installed as a standalone tool or as an Eclipse plug-in.
#BYTECODE CONTROL FLOW GRAPH BUILDER LICENSE#
Soot is released under the GNU Lesser General Public License and the latest version, 2.3.0, was released on June 3rd, 2008. Its developed by Sable Research Group and has a long list of contributors and is currently maintained by Patrick Lam, Feng Qian, Ondrej Lhotak, and Eric Bodden. Soot can be used as a standalone tool to optimize or inspect class files, as well as a framework to develop optimizations or transformations on Java bytecode. The Soot framework comes with various built-in intraprocedural and whole program analyses and optimizations. Baf, a streamlined representation of Java bytecode Jimple, a stackless typed 3-address intermediate representation Shimple, a Static Single Assignment (SSA) form of the Jimple representation and Grimp, an aggregated version of Jimple suitable for decompilation. Soot is a Java optimization framework that provides four intermediate representations for analyzing and transforming Java bytecode.
Sushanth Kumar Reddy Abstract Soot is a Java optimization framework that provides four intermediate representations for analyzing and transforming Java bytecode.
0 kommentar(er)
