This is an extension which integrates InferSharp into VS. Currently, this extension has only been tested for Windows.
Requirements
Please see the requirements for WSL; this extension relies on it for running InferSharp's analysis.
Getting Started
Run automatic setup via the Infer# Analysis command added to your Tools by the extension. Install progress is reported in the InferSharp channel within the Output tab. Wait for setup to complete (this should only take a couple of minutes).
After setup is complete, running Infer# Analysis will open File Explorer for you to select the root of the directory tree containing DLLs/PDBs to be analyzed. Please note that your selection will be saved in your project's root folder in the .infersharpconfig file for future executions (you will not see this prompt for this project again). If you want to configure this later, please edit the first line of the .infersharpconfig file.
Analysis will run, with progress updates being reported in the InferSharp window within the Output channel of VS. When it is completed, the warnings will be displayed and highlighted in your code. Additionally, it will copy the full analysis output infer-out/ directory to the directory you provided.
