[LLVMdev] who can recommand me some books?

lucefe noviceup at gmail.com
Mon Apr 12 17:46:15 PDT 2010


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>

More information about the llvm-dev mailing list