IntelliJ-Infersharp

This IntelliJ Platform Plugin provides static code analysis of your project using Microsoft Infer#.

Currently, it is based on WSL. This means it is windows-only for now.

Installation of the Plugin

• Using IDE built-in plugin system:

  Settings/Preferences > Plugins > Marketplace > Search for "infersharp" > Install Plugin

• Manually:

  Download the latest release and install it manually using Settings/Preferences > Plugins > ⚙️ > Install plugin from disk...

Features in planning

in no particular order:

• support for calling infer# via docker (should work on all systems)
• support for calling a locally installed infer# (should work on linux)
• Show errors "in code"
• Show errors by loading the sarif file manually (i.e. someone provided a bug report and attached the sarif output of infer#)
• support in Rider: Right-click on a project file -> the build output folder should be known. No need to ask for a folder.

installation of Infer#

Should be semi-automated, using Tools > Infer# > Install (WSL) TODO: Document the manual steps.

---

Plugin based on the IntelliJ Platform Plugin Template.