microsoft / infersharp

Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.
MIT License
731 stars 29 forks source link

Installing on Linux VM host (with Windows guest) #190

Open the-black-wolf opened 1 year ago

the-black-wolf commented 1 year ago

Since our workstations effectively comprise of Linux boxes, with Windows running on VMWare for WPF/Winform projects, the WSL on those windows guests refuses to work (and it also seem pointless).

Is it possible to install Infersharp on the Linux host and reconfigure VS Extension on guest Windows OS to utilize infersharp on host? At least until you guys finish #189

xinshiMSFT commented 1 year ago

Is using VS extension a must? If you just want to run Infer# against your Windows built binaries, I believe you can already do so.

Download and extract the latest binary release infersharp-linux64-v1.4.tar.gz onto your Linux host. You may need to symlink like this.

As long as your host has visibility into the guest, you can manually trigger the analysis with a similar fashion of how we run using WSL.