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

Intraprocedural Analysis Based on Symbolic Execution for Bug Detection. - A. E. Borodin; I. A. Dudina (Program. Comput. Softw., 2021)