Skip to content

Latest commit

 

History

History
27 lines (20 loc) · 825 Bytes

RUNNING_INFERSHARP_ON_WINDOWS.md

File metadata and controls

27 lines (20 loc) · 825 Bytes
Raw

How to Run Infer# Locally on Windows via WSL2 (Windows Subsystem for Linux)

Prerequisite

Getting Started

  1. From Windows PowerShell, download and set up the InferSharp custom distro by executing the following commands:
wget https://github.com/microsoft/infersharp/releases/download/v1.4/infersharp-wsl-distro-v1.4.tar.gz && wsl --import infersharp1.4 C:\wslDistroStorage\infersharp1.4 infersharp-wsl-distro-v1.4.tar.gz && rm infersharp-wsl-distro-v1.4.tar.gz
  1. Launch the InferSharp custrom distro:
wsl ~ -d infersharp1.4
  1. Go to the infersharp folder:
cd infersharp
  1. Run Infer# against your binaries. For example, if the binaries are at C:\Code\MyApp\bin
./run_infersharp.sh /mnt/c/Code/MyApp/bin/