search

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
730 stars 29 forks source link

MacOS support #80

Open dluc opened 2 years ago

dluc commented 2 years ago 
# ./run_infersharp.sh MyProject/LearningSomething.Web/bin/Debug/net5.0/LearningSomething.Web.dll
Processing {MyProject/LearningSomething.Web/bin/Debug/net5.0/LearningSomething.Web.dll}
Copying binaries to a staging folder...\n
cp: Cilsil/System.Private.CoreLib.dll: No such file or directory
Code translation started...
./run_infersharp.sh: line 60: ./Cilsil/Cilsil: No such file or directory
Code translation completed. Analyzing...

./run_infersharp.sh: line 62: /Users/me/workspace/learning/b1/infer/lib/infer/infer/bin/infer: No such file or directory
mkdir: infer-out: No such file or directory
./run_infersharp.sh: line 64: /Users/me/workspace/learning/b1/infer/lib/infer/infer/bin/infer: No such file or directory

Running from a bash shell in MacOS, looks like some paths are incorrect.

Are infersharp and run_infersharp.sh compatible with MacOS?

xinshiMSFT commented 2 years ago

Hi Devis, we have not tested Infer# on MacOS. We will look into this. Thanks for bringing this to our attention.

xinshiMSFT commented 2 years ago

Hi Devis, we tested the script on a Mac and it was able to work with the paths correctly with the latest v1.2 release. However, we currently do not have support for MacOS.

I will rename the issue and tag it as a feature request.