meta/infer

これは何？

主な機能

• 01ヌル参照やメモリリーク、リソースリークなどのバグを静的解析で検出します。
• 02Java、C、C++、Objective-Cのコードベースに対応しています。
• 03パッケージ化されたリリースを利用でき、ソースからビルドすることもできます。
• 04OCamlで実装されており、MITライセンスで提供されています。

ユースケース

• リリース前に、CやC++のプロジェクトでメモリリークやリソースリークを検出する。
• コードレビューやCIで、Javaのコードベースにあるヌルポインタ関連のバグを見つける。
• Objective-CのiOSまたはmacOSのコードをスキャンして欠陥を検出する。

クイックスタート

1. 1

   パッケージ版のInferについては、Getting Startedページをご覧ください

2. 2

   ソースからビルドするには、INSTALL.mdに従ってください

使う前に知っておきたいこと

• !Javaサポートを有効にするには、GPLライセンスのコンポーネントをダウンロードしてインストールする必要がある場合があります。

トピック

よくある質問

infer とは？

Java、C、C++、Objective-Cのコードを実行せずにバグを検出する静的解析ツール。 Inferは、プログラムを実行せずに、ヌルポインタのデリファレンス、メモリリーク、リソースリークなどのバグがないかソースコードを検査する静的解析ツールです。Java、C、C++、Objective-Cに対応しており、OCamlで実装されています。

infer は無料で使えますか？ライセンスは？

infer は MIT ライセンスのオープンソースです。商用製品で使う前にライセンス条件を確認してください。

infer は今もメンテナンスされていますか？

活発にメンテナンス中。infer の最終コミットは 2026年11月5日 です。

infer は何に使えますか？

リリース前に、CやC++のプロジェクトでメモリリークやリソースリークを検出する。 コードレビューやCIで、Javaのコードベースにあるヌルポインタ関連のバグを見つける。 Objective-CのiOSまたはmacOSのコードをスキャンして欠陥を検出する。

infer のインストール方法は？

パッケージ版のInferについては、Getting Startedページをご覧ください ソースからビルドするには、INSTALL.mdに従ってください

infer はどこで入手できますか？

ソースコードとインストール手順は GitHub にあります：https://github.com/meta/infer