• Goals
• Creating a GotoInstrumenter
• Subclassing BodyTransformer
• Adding a Field
• Sanity check - find main() method
• Fetching or adding the field
• Add locals and statements
• Outputting annotated code
• Adding this transformation to Soot
• Conclusions
• More