The top books in static analysis are by the Nielsons:

* https://link.springer.com/book/10.1007/978-3-662-03811-6

* https://arxiv.org/abs/2012.10086