Interprocedural Static Analysis for Finding Bugs in Go Programs

Interprocedural Static Analysis for Finding Bugs in Go Programs

In recent years, the popularity of the Go programming language has been growing. However, currently, there are only lightweight static analyzers (linters) available for Go. We fill this gap by adapting the Svace static analyzer for Go programs. We implement an interprocedural and intermodular static...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Programming and computer software 2021-09, Vol.47 (5), p.344-352
Hauptverfasser: Bolotnikov, I. V., Borodin, A. E.
Format: Artikel
Sprache:eng
Schlagworte:
Analyzers
Artificial Intelligence
Computer Science
Operating Systems
Performance evaluation
Programming languages
Sensitivity analysis
Software Engineering
Software Engineering/Programming and Operating Systems
Variables
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In recent years, the popularity of the Go programming language has been growing. However, currently, there are only lightweight static analyzers (linters) available for Go. We fill this gap by adapting the Svace static analyzer for Go programs. We implement an interprocedural and intermodular static analyzer that possesses both flow sensitivity and path sensitivity. To evaluate its performance, we use ten open source projects. The sixteen evaluated checkers emitted 6817 warnings with 76% true positive rate.
ISSN:0361-7688
1608-3261
DOI:10.1134/S0361768821050030