Interprocedural Static Analysis for Finding Bugs in Go Programs. - I. V. Bolotnikov; A. E. Borodin (Program. Comput. Softw., 2021)