• Nullness support
• Other annotation domains
• Other aspects of static analysis
• Upstream