Static analyzer for Go

Authors

A. Borodin, V. Dvortsova, S. Vartanov and A. Volkov

PDF

Abstract

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) tosupport detection of syntactic-level issues (linter) and a powerfulinterprocedural summary-based analyzer (SVENG) with its ownintermediate representation.