「Goで静的解析ツールを作ってみたいけど、何から始めればいいの？」と思ったことはありませんか？
Goは「静的解析がやりやすいように設計しよう」という背景を持って作られたプログラミング言語なので、go/astやgo/typesといった解析用の標準ライブラリがとても充実しています。
しかし、いざ作ろうと思っても「skeletonで雛形は作れたけど、その先のgo/astパッケージやgo/typesパッケージを使って自分がやりたい解析ロジックをどう書いていけばいいのか全く分からない」という壁にぶつかる方も多いと思います。
この本では、そんな「静的解析ツールを作りたいけれど、最初の一歩が踏み出せない」という方のために、ASTや型情報の基礎知識から実践的な解析ロジックの書き方まで、実際に動くサンプルコードとともに解説します。
読み終わる頃には「自分でも静的解析ツールが書けそう！」という状態になっていることを目指します。

Goで作る静的解析ツール開発入門

はじめに

開発ディレクトリの作成

構文解析 - 抽象構文木(AST)を理解する

構文解析 - ASTの走査

構文解析 - 実例を見てみよう

型チェック - typesパッケージ

型チェック - プログラムソースコードからの型情報取得

型チェック - 実例を見てみよう

様々な解析を行うAnalyzer

おわりに

静的解析

さき(H.Saki)