Interprocedural Static Analysis for Finding Bugs in Go Programs
Crossref DOI link: https://doi.org/10.1134/S0361768821050030
Published Online: 2021-09-15
Published Print: 2021-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bolotnikov, I. V.
Borodin, A. E.
Text and Data Mining valid from 2021-09-01
Version of Record valid from 2021-09-01
Article History
Received: 12 April 2021
Revised: 21 April 2021
Accepted: 11 May 2021
First Online: 15 September 2021