nilaway どんなもの？ nil パニックによるランタイムエラーになる箇所を指摘してくれる静的解析ツール スタンドアロンで動く。golangci-lintで使用するにはカスタマイズが必要。 先行技術やツールと比べてどこがすごい？ 標準パッケージに同梱されているnilness[1]ではチェックできないnil パニックとなりうる箇所を指摘する 関数やパッケージの境界を跨いでnilフローを追跡 nil インターフェース値を報告 例えば以下のコードでは、nilnessはエラーを報告してくれないが、nilawayはnilパニックを報告してくれる。 var p *P if someCondition { p = &P{} } print(p.f) // nilness reports NO error here, but nilaway does. 技術のキモはどこ？ Our main idea
Viper (Verification Infrastructure for Permission-based Reasoning) is a language and suite of tools, providing an architecture on which new verification tools and prototypes can be developed simply and quickly. Viper is being developed at ETH Zurich in close collaboration with the team of Alex Summers at UBC. Viper comprises a novel intermediate verification language, also named Viper, and automa
Staticcheck is a state of the art linter for the Go programming language. Using static analysis, it finds bugs and performance issues, offers simplifications, and enforces style rules. Code obviously has to be correct. Unfortunately, it never is. Some code is more correct than other, but there’ll always be bugs. Tests catch some, your peers catch others, and Staticcheck catches some more. After co
はしがき 以前、go vetについて触れましたが、 公式以外でも循環複雑度解析をしてくれたりとか、 いろいろ良いライブラリがあるので、その辺の紹介を。(後おまけでvimの設定:p 静的解析ライブラリ 御三家的なアレ。 go vet [前の記事] (http://qiita.com/marnie_ms4/items/b343165efb4235906db7)でも紹介したgo謹製のツールですね。 go imports 保存時とかに掛けると、使ってないimportを自動でお掃除してくれたり、追加してくれたりする、賢い子です。 go lint 構文上微妙なものとかをsuggestしてくれます。 私はvimのファイル保存時にgo fmt,go lintは自動で掛けるようにしています :) 静的解析ライブラリ 複雑度、重複コードチェックとか少し凝ったやつ go cyclo 分岐数などのプログラムの構造
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
