Go-Team veröffentlicht modulares Framework für statische Analyse
Go Analysis Framework: modular static analysis by go team
Das Go-Team hat das Paket analysis in golang.org/x/tools veröffentlicht, das eine gemeinsame Schnittstelle für modulare statische Analysen definiert. Damit lassen sich Checker wie der printf-Checker einfach in verschiedene Treiber integrieren – von Kommandozeilenwerkzeugen wie vet über IDEs bis hin zu Build-Systemen wie Bazel. Das Framework unterstützt modulare Analysen über Fakten und bietet mit analysistest eine einfache Testinfrastruktur.
Ein modulares Analysewerkzeug prüft jeweils ein Paket, kann aber Informationen aus einem Paket speichern und bei der Prüfung eines übergeordneten Pakets verwenden – vergleichbar mit der getrennten Kompilierung in einem Toolchain.