当前位置:首页 > 下载列表 > inferide

inferide 0.0.1

新的介绍内容:InferIDE是一款强大的扩展工具,利用MagpieBridge框架将FacebookInfer静态分析器集成到支持语言服务器协议的IDE中,目前专注于Java项目分析。通过InferIDE,您可以轻松享受Infer的静态分析功能,直接在IDE内查看分析结果。安装指南:自行安装Infer:MacOS:使用Homebrew安装,执行brewinstallinfer。Linux
分类:   下载/工具 · 工具软件 来源:  点击进入 版本:  0.0.1
日期:  2025-07-07 人气:   大小:  
标签:   Java facebook infer finfer infer static analyzer
点击下载 相关下载
功能介绍

新的介绍内容:

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的强大静态分析能力引入到您的开发流程中,提升代码质量和开发效率。

版本声明
本文转载于:https://marketplace.visualstudio.com/items?itemName=LinghuiLuo.inferide 如有侵犯,请联系study_golang@163.com删除
查看更多
课程推荐
  • Golang云原生架构师课程
    Golang云原生架构师课程
    Go是一门并发支持、垃圾回收的编译型系统编程语言;本课程转载自哔哩哔哩:https://www.bilibili.com/video/BV1Mh411M7A
    204次学习
  • MySQL数据管理之备份恢复案例解析视频教程
    MySQL数据管理之备份恢复案例解析视频教程
    《MySQL数据管理之备份恢复案例解析视频教程》MySQL是一个开放源码的小型关联式数据库管理系统,目前MySQL被广泛地应用在Internet上的中小型网站中。由于其体积小、速度快、总体拥有成本低,尤其是开放源码这一特点,许多中小型网站为了降低网站总体拥有成本而选择了MySQL作为网站数据库。
    160次学习
  • MySQL索引优化解决方案
    MySQL索引优化解决方案
    本套课程是根据MySQL索引的设计理念与数据结构、索引使用场景、索引分类、索引运用场景、索引性能分析、查询优化、MySQL索引的慢查询等组成,主要讲述了MySQL索引优化的解决方案,非常适合有MySQL使用基础或者有一定工作经验的同学。课程讲解了解决大数量查询慢的问题、如何编写一个高效的SQL、查询语句应该如何优化、索引的实现原理是什么、索引又应该如何优化...等诸多SQL索引优化的难点和面试点。
    182次学习
  • 极客学院Docker视频教程
    极客学院Docker视频教程
    Docker是PaaS提供商dotCloud开源的一个基于LXC的高级容器引擎,源代码托管在Github上,基于go语言并遵从Apache2.0协议开源。Docker自2013年以来非常火热,无论是从github上的代码活跃度,还是各大厂商的支持,都使Docker成为了时下最受关注的技术,甚至微软都声称在下一代WindowsServer中集成对Docker的支持。所以我们收集了《极客学院Docke
    243次学习
  • Golang进阶实战编程
    Golang进阶实战编程
    本课程是在《Go语言基础视频》基础之上录制的,是Go语言基础的后半部分。包括包的管理,IO操作,Go语言最大的亮点:高并发,goroutine,channel,反射等。本视频主要为了帮助Go语言的初学者,从零到一的快速入门。学完本套课程,可以学会如果通过包管理Go项目,并发模型,以及并发实现,channel通道如何传递数据,反射等等。
    127次学习
  • JavaScript极速入门
    JavaScript极速入门
    本套课程将帮助大家迅速掌握JavaScript这门高端的、动态的、弱类型编程语言。知识点简单明了,让你学习0压力,适合新手观看学习......
    431次学习
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议隐私政策
返回登录
  • 重置密码