"My team at Google also plans to continue work on [the analyzer] on a part-time basis, as it's an important part of a larger project we're doing in this space."<p>Interesting... I wonder what Unladen Swallow or App Engine could do with type inference and static analysis?