Hacker News Reader

> but ultimately isn't this isomorphic to the halting problem?

Take a look at http://matt.might.net/articles/intro-static-analysis/

Well, it's kind of uncanny how precisely that article addresses my misconceptions at the outset. Thanks for an awesome link (and the related k-CFA article at the bottom).

Reply on news.ycombinator.com