4 ms·
> but ultimately isn't this isomorphic to the halting problem? Take a look at http://matt.might.net/articles/intro-static-analysis/ http://matt.might.net/artic
by xjia 12y ago
> but ultimately isn't this isomorphic to the halting problem?
Take a look at http://matt.might.net/articles/intro-static-analysis/ http://matt.might.net/articles/intro-static-analysis/
- antiuniverse 12y agoWell, 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).