新的介绍内容：

InferIDE是一款强大的扩展工具，利用MagpieBridge框架将Facebook Infer静态分析器集成到支持语言服务器协议的IDE中，目前专注于Java项目分析。通过InferIDE，您可以轻松享受Infer的静态分析功能，直接在IDE内查看分析结果。

安装指南：

1. 自行安装Infer：

   • MacOS： 使用Homebrew安装，执行brew install infer。

   • Linux： 请参考Infer的官方文档以获取最新版本的安装指令。截至目前，您可以使用以下命令安装0.17.0版本：

     VERSION=0.17.0; \
     curl -sSL "https://github.com/facebook/infer/releases/download/v$VERSION/infer-linux64-v$VERSION.tar.xz" \
     | sudo tar -C /opt -xJ && \
     ln -s "/opt/infer-linux64-v$VERSION/bin/infer" /usr/local/bin/infer

   • Windows： Infer不直接支持Windows环境，但您可以通过Docker运行。

   • Docker： 如果已安装Docker且系统中未找到Infer，InferIDE将启动一个已安装Infer的容器。默认使用Docker Hub上的jonasmanuel/inferdocker镜像，该镜像基于本仓库中的Dockerfile构建。如果您想使用自定义镜像，可以通过命令行选项-i指定。如果镜像尚未在您的系统上安装，Docker会在首次运行时自动拉取。

2. 使用InferIDE：

   • 打开您的Java项目，即可享受InferIDE带来的静态分析便利。

Infer何时运行？

InferIDE提供了两种触发Infer的方式：

• 全自动模式（默认）： 基于用户在IDE中的交互，Infer会在用户首次打开项目中的源文件时自动触发。此外，InferIDE会检测用户是否在IDE中闲置（例如，5分钟未输入），并在此期间触发Infer。
• 用户控制模式： InferIDE会在您的网络浏览器中显示一个HTML页面，允许您配置Infer的运行命令，并通过点击按钮触发Infer。禁用自动模式将启用此模式。

默认内置命令：

• Maven项目：

  • 首次运行：infer run --reactive -- mvn clean compile
  • 后续运行：infer run --reactive -- mvn compile

• Gradle项目：

  • 首次运行：infer run --reactive -- ./gradlew clean build
  • 后续运行：infer run --reactive -- ./gradlew build

通过InferIDE，您可以无缝地将Facebook Infer的强大静态分析能力引入到您的开发流程中，提升代码质量和开发效率。