Kirill Cherkashin and Tsering Shrestha: The hidden benefits of static analysis