I'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 ab

I'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.)