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内查看分析结果。
安装指南:
自行安装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会在首次运行时自动拉取。
使用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云原生架构师课程
- Go是一门并发支持、垃圾回收的编译型系统编程语言;本课程转载自哔哩哔哩:https://www.bilibili.com/video/BV1Mh411M7A
- 204次学习
-
- MySQL数据管理之备份恢复案例解析视频教程
- 《MySQL数据管理之备份恢复案例解析视频教程》MySQL是一个开放源码的小型关联式数据库管理系统,目前MySQL被广泛地应用在Internet上的中小型网站中。由于其体积小、速度快、总体拥有成本低,尤其是开放源码这一特点,许多中小型网站为了降低网站总体拥有成本而选择了MySQL作为网站数据库。
- 160次学习
-
- MySQL索引优化解决方案
- 本套课程是根据MySQL索引的设计理念与数据结构、索引使用场景、索引分类、索引运用场景、索引性能分析、查询优化、MySQL索引的慢查询等组成,主要讲述了MySQL索引优化的解决方案,非常适合有MySQL使用基础或者有一定工作经验的同学。课程讲解了解决大数量查询慢的问题、如何编写一个高效的SQL、查询语句应该如何优化、索引的实现原理是什么、索引又应该如何优化...等诸多SQL索引优化的难点和面试点。
- 182次学习
-
- 极客学院Docker视频教程
- Docker是PaaS提供商dotCloud开源的一个基于LXC的高级容器引擎,源代码托管在Github上,基于go语言并遵从Apache2.0协议开源。Docker自2013年以来非常火热,无论是从github上的代码活跃度,还是各大厂商的支持,都使Docker成为了时下最受关注的技术,甚至微软都声称在下一代WindowsServer中集成对Docker的支持。所以我们收集了《极客学院Docke
- 243次学习
-
- Golang进阶实战编程
- 本课程是在《Go语言基础视频》基础之上录制的,是Go语言基础的后半部分。包括包的管理,IO操作,Go语言最大的亮点:高并发,goroutine,channel,反射等。本视频主要为了帮助Go语言的初学者,从零到一的快速入门。学完本套课程,可以学会如果通过包管理Go项目,并发模型,以及并发实现,channel通道如何传递数据,反射等等。
- 127次学习
-
- JavaScript极速入门
- 本套课程将帮助大家迅速掌握JavaScript这门高端的、动态的、弱类型编程语言。知识点简单明了,让你学习0压力,适合新手观看学习......
- 431次学习
查看更多
相关文章
-
- Golangmap实践及实现原理解析
- 2022-12-28 505浏览
-
- GoLand调式动态执行代码
- 2023-01-13 502浏览
-
- 试了下Golang实现try catch的方法
- 2022-12-27 502浏览
-
- 用Nginx反向代理部署go写的网站。
- 2023-01-17 502浏览
-
- MySQL主从切换的超详细步骤
- 2023-01-01 501浏览
-
- Mysql-普通索引的 change buffer
- 2023-01-25 501浏览