[LLVMdev] who can recommand me some books?

[lucefe]

Hi,

Who can recommand me some books about static analysis including systems
verification, shape analysis and logic, termination analysis, security and
safety, abstract interpretation and algorithms, abstract domain and data
structures, pointer analysis, shape analysis, and data flow analysis.

I want to read some basic books about the topic, Thank you!

With Best Regards to you！
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100413/2787f093/attachment.html>