microsoft/InferSharp

Scalable and interprocedural C# code analyzer for detecting race condition, null pointer derefs and resource leaks

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stale
License
None
namedescriptionrequireddefault
binary-pathThe path where the binaries (.dll and .pdb) are located.yes.
optional-flagsOptional flags, see https://fbinfer.com/docs/man-infer-run/#OPTIONS for the complete list.no
github-sarifIf set true automaticaly address issue https://github.com/microsoft/infersharpaction/issues/51.nofalse
namedescription
resultsThe analysis results