OPA/Regoによる汎用的なGo言語の静的解析