これは Infer という名前の Linux アプリで、最新リリースは Inferversionv1.1.0.zip としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。
Infer with OnWorks という名前のこのアプリをオンラインで無料でダウンロードして実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショットは
Ad
推測する
DESCRIPTION
Infer は静的分析ツールです。Infer に Java または C/C++/Objective-C コードを与えると、潜在的なバグのリストが生成されます。 誰でも Infer を使用して重大なバグをユーザーに配布する前に阻止し、クラッシュやパフォーマンスの低下を防ぐことができます。 Infer は、Android および Java コードにおける null ポインター例外、リソース リーク、アノテーションの到達可能性、ロック ガードの欠落、および同時実行競合状態をチェックします。 Infer は、null ポインターの逆参照、メモリ リーク、コーディング規約、および使用できない API をチェックします。 まずは「入門ガイド」とその他のドキュメントをダウンロードして自分で Infer を試してください。 Infer はまだ進化しており、今後もオープンに開発していきたいと考えています。 他のプロジェクトにも役立つことを願っていますので、ぜひ試してみたり、貢献したり、コミュニティに参加してフィードバックをお寄せください。
特徴
- Infer は Facebook 内にデプロイされ、すべてのコード変更の選択されたプロパティを検証するために継続的に実行されます。
- 他のコードにも使用できます。Infer は C コードや Android 以外の Java コードも分析できます。
- Infer は、null ポインターの逆参照とリソースとメモリのリークによって引き起こされる問題を追跡しています
- Infer は、2013 年に検証スタートアップ Monoidics を買収して Facebook に参入しました。
- C ファイルを分析する場合、Infer は gcc コマンドをキャプチャし、代わりに Clang を実行して解析します。
- さらに、AL 言語を使用して浅い構文解析を記述するための Infer リンターもあります。
プログラミング言語
C + +
カテゴリー
これは、https://sourceforge.net/projects/infer.mirror/ から取得できるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。
