4 ms·
I haven't read it (it's on my list), but I'll pass along a recommendation by someone well suited to know: https://twitter.com/johnregehr/status/1037098838752784
by hyperpape 8y ago
I haven't read it (it's on my list), but I'll pass along a recommendation by someone well suited to know: https://twitter.com/johnregehr/status/1037098838752784384 https://twitter.com/johnregehr/status/1037098838752784384
- michaelmior 8y agoThis is the same document the original post links to :)
- hyperpape 8y agoYes, I should've said that. I meant "this isn't some random link posted to HN, it is well regarded."
- pbiggar 8y agoI've a PhD in static analysis. I only glanced at the table of contents but it's really great. This is exactly the important stuff to cover if you're learning about static analysis, want to build a static analyzer, etc. The only thing it doesn't cover is SSA form, which I think is fine: if you get the fundamentals in this book, then SSA will be easy to learn. [Also, I remember reading the author's paper on Type analysis in JS: https://cs.au.dk/~amoeller/papers/tajs/paper.pdf https://cs.au.dk/~amoeller/papers/tajs/paper.pdf, and remember it being really good.)