Tutorials

Tutorials for soot

Reference Material

• Command line options and Phase options
• A Survivor's Guide to Java Program Analysis with Soot (by Arni Einarsson and Janus Dam Nielsen)
• TODO: PLDI 2013 Tutorial

Getting Started

• Introduction: Soot as a command-line tool
• Here we show you how to invoke Soot on the command line.
• Disassembling classfiles
• Packs and phases in Soot
• Running Soot as Eclipse plugin
• Using Soot and TamiFlex to analyze DaCapo
• Using Soot with custom entry points

Using soot as a command-line tool

• A brief overview of Shimple
• Whole program Devirtualization Optimizations
• Annotation Options for Array Bounds and Null Pointer Checks
• Using Side-Effect Attributes
• Using Soot as a Program Optimizer

Using Soot as a compiler framework

• Creating a Class File from Scratch
• Fundamental Soot Objects
• Adding attributes to class files (Basic)
• Adding attributes to class files (Advanced)
• Adding profiling instructions to applications
• Java's Invokedynamic

Data-flow analysis with soot

• Implementing an intra-procedural data-flow analysis in Soot

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.