Static Analysis - Ranzato, Francesco (Springer International Publishing, 2020)