Java Language Security Compile Time Enforcement

• Validate language syntax

• Enforce method and variable access rules

• Enforce variable initialization

• Enforce some casting operations