Goの静的解析に入門した

Mon, 17 Jul 2023 05:21:29 +0000

tenntenn Conference 2023 にスポンサーし、Goの静的解析を完全に理解した話を読んでから静的解析が気になっていたのでこれをやってみた。

以下のようなソースコードからGopher型を探し出す簡単な解析スクリプトを通してGoでの静的解析の流れやASTの探索方法、型チェックを用いたより詳細な解析方法などを学べた。

package main

import (
        "fmt"
)

type Gopher struct { // ここ
        Gopher string `json:"gopher"`
}

func main() {
        const gopher = "GOPHER"
        gogopher := GOPHER()
        gogopher.Gopher = gopher
        fmt.Println(gogopher)
}

func GOPHER() (gopher *Gopher) { // ここ
        gopher = &Gopher{Gopher: "gopher"} // ここ
        return
}

https://golangtokyo.github.io/codelab/find-gophers/?index=codelab#2 より

解説がかなり丁寧でわかりやすかったので静的解析初心者にはかなりありがたかった。

静的解析を使えば単なるgrepではできないことができるイメージが実際に掴めたので早速linterを作ってみようと思う。

静的解析 on blog.kyu08.com

Goの静的解析に入門した