microsoft/infersharpaction
About 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.
ShellMIT
Issues
- 0
Feature Request: Still generate a report when no linting issues have been found
#57 opened by christopher-watanabe-snkeos - 5
Unable to upload "infer-out/report.sarif" as it is not valid SARIF - startColumn/startLine must have a minimum value of 1
#51 opened by mj-dias - 0
- 10
Unable to get job output
#41 opened by omer-za - 3
- 3
Feature request: SARIF format support
#42 opened by rbut-husaim-gte - 2
Planning to upgrade logo on GitHub Marketplace to Microsoft logo by end of May 2021
#35 opened by jpadams - 2
Exception while analyzing a project: Cilsil.Services.ServiceExecutionException: Popping on empty stack at method
#32 opened by meziantou - 2
Where are the binary files supposed to be
#31 opened by juchom - 1
Usage with Unity projects
#25 opened by ZdenekM - 4
- 7
Analyzer fails to build container
#14 opened by jeremy-marcus - 2
Redundant files
#13 opened by Columpio