Session
Linterで全プログラム解析を試みて失敗した話
Goには静的コード解析ツールを簡単に作ることのできるanalysisパッケージがあります。しかし、analysisパッケージで作成できるlinterの仕組みとしては、1パッケージずつしかスキャンすることができず、モジュラーになっています。このモジュラーなlinterでどのように全プログラム解析(プログラム全体を考慮した解析)を行うことができるのかについて考えました。
本トークではanalysisパッケージについて簡潔に紹介し、その後、ASTやSSAを使ったコード解析をサンプルを提示しながら説明します。後半では具体的なユースケースをもとに、
自らの考え方やアプローチを見せながら、なぜ失敗したのか、そして考えられる解決策について話したいと思います。
Please note that Sessionize is not responsible for the accuracy or validity of the data provided by speakers. If you suspect this profile to be fake or spam, please let us know.
Jump to top