Static Analysis - Cezara Drăgoi; Mukherjee, Suvam; Namjoshi, Kedar (Springer International Publishing, 2021)