4
4

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

More than 5 years have passed since last update.

とりあえずInferを使ってみた。

Posted at

何?

  • 静的コード解析ツール
  • C / Java / Objective-C のコードを解析可能
  • C++は解析できないっぽい

インストール

バイナリ落としてくるのが楽。Macだと  https://github.com/facebook/infer/releases/download/v0.1.1/infer-osx-v0.1.1.tar.xz からv0.1.1を落としてこれる

落としてきて解答したら
infer/infer/bin にPATHを通しましょう。

解析

iOSということで、ずごく昔に作った
https://github.com/sassy/iOSFirstTwitterApp
を解析かけてみた。

$ git clone git@github.com:sassy/iOSFirstTwitterApp.git
$ cd mac:iOSFirstTwitterApp
$ infer -- xcodebuild -target TwitterViewer  -configuration Debug -sdk iphonesimulator

そしたら、

Starting analysis (Infer version v0.1.1)
Analysis done

5 files analyzed


No issues found

何も見つからなかった。
infer-out というディレクトリができていて、
その中のbugs.txtに結果が記録されている。

実際は
http://fbinfer.com/docs/hello-world.html#hello-world-ios
にあるみたいにいろいろ指摘がかかれるっぽい。

詳しくは

を見ましょう。

何かあったら追記します。

4
4
1

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
4
4

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?