• Whole-program analysis
• Local analysis
• JSpecify stance