Another book on static program analysis and an education website

[Xulei Liu]

If you find them useful, feel free to add them to the list.

Principles of program analysis

I studied Principles of program analysis from Automatic program analysis at Utrecht University. It covers a couple of topics such as monotone framework, control flow analysis and abstraction interpretation. Old as it is, it's still useful today.

N.B. An expert in pointer analysis

Yannis Smaragdakis is an expert in pointer analysis. I read many papers written by him.

[Ningning Shi(史宁宁)]

Thanks

COMMITTED: fe7691f