Static analyzer for Go
Alexey Evgenevich Borodin, Varvara Viktorovna Dvortsova, Sergey Pavlovitch Vartanov, Alexander Volkov · 2021
This paper describes a static analysis tool for soft-ware defects detection in source code written in Go language. We developed a fast lightweight AST-based analyzer (GOA) to support detection of syntactic-level issues (linter) and a powerful interprocedural summary-based analyzer (SVENG) with its own intermediate representation.