• Structure of annotation
• Adding method attributes in Soot
• The Array Bounds Check Annotation Example
• Known shortcomings