• Phase options
• jb: Jimple Body Creation
• Whole-program packs
• Jimple packs jtp, jop, jap
• Packs bb and tag
• The Dava body pack db
• Which packs are enabled when?