<div>Hi,</div>
<div> </div>
<div>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.</div>

<div> </div>
<div>I want to read some basic books about the topic, Thank you!</div>
<div> </div>
<div>With Best Regards to you£¡</div>