microsoft/infersharp

Issues

• False positive "Pulse Resource Leak" when storing data in collections

  #221 opened a year ago by crener
  5

• Azure Pipeline Example does not use the latest version (v1.5)

  #222 opened a year ago by SamiKorhonen
  0

• WSL "Nothing to compile. Try cleaning the build first."

  #219 opened 2 years ago by crener
  15

• Getting warning "Nothing to compile. Try cleaning the build first."

  #213 opened 2 years ago by IvanFeric
  11

• Visual Studio MarketPlace?

  #218 opened 2 years ago by ncook-hxgn
  3

• False positive on EncoderParameter?

  #217 opened 2 years ago by kiwiant
  1

• Can infersharp support "struct" in parser.

  #215 opened 2 years ago by skyleaworlder
  2

• Configure suppressions

  #188 opened 2 years ago by centreboard
  3

• InferSharp 1.41 Crashes Visual Studio Pro 2022 17.4.4

  #209 opened 2 years ago by kabua
  15

• Analisys fail with System.NotImplementedException: GenericInst

  #206 opened 2 years ago by mfilippov
  14

• Multiple root folders

  #205 opened 2 years ago by FixRM
  4

• VS Extension: The SARIF viewer received one or more SARIF logs in which the analysis tool did not detect any results.

  #183 opened 2 years ago by Kuinox
  17

• Unhandled exception: System.Reflection.TargetInvocationException

  #198 opened 2 years ago by Da5hes
  2

• report.sarif not generated

  #196 opened 2 years ago by jkuek
  5

• Questions about infersharp implementation

  #191 opened 2 years ago by skyleaworlder
  11

• Change browse folder dialog to one that allows a path to be input

  #195 opened 2 years ago by chris835
  1

• VS 2022 Extension - There was nothing to analyze

  #192 opened 2 years ago by LouHendricks
  10

• Infersharp run ending with msg: infersharp/run_infersharp.sh: line 60: 758 Killed

  #193 opened 2 years ago by GreggSwanson
  2

• Remove dependency on WSL?

  #189 opened 2 years ago by strich
  1

• Installing on Linux VM host (with Windows guest)

  #190 opened 2 years ago by the-black-wolf
  1

• Crash in the beginning of code analysis: cannot create special file

  #186 opened 2 years ago by SukharevAndrey
  3

• False positive on stream leak in HttpClient StreamContent and CryptoStream?

  #187 opened 2 years ago by akatakritos
  1

• When I scan the C# project with the docker container, there seems to be an error, integer overflow, and no vulnerabilities scanned

  #152 opened 2 years ago by chenkehao1998
  17

• Crash when trying to use intersharp

  #184 opened 2 years ago by Xwilarg
  7

• Document or provide a way for simple command line usage

  #182 opened 2 years ago by Kuinox
  0

• Unable to translate Unicode character \\uDC00

  #143 opened 2 years ago by MortenAanaes
  3

• Copy only DLLs and PDBs in bash script

  #176 opened 2 years ago by matjin
  0

• False positive leak on Task<>

  #175 opened 2 years ago by matjin
  0

• Variable Address False Positive Null Dereference

  #128 opened 2 years ago by matjin
  1

• Handle translation of nested exception blocks

  #169 opened 2 years ago by matjin
  0

• Translation gap: Ldftn and other CIL instr

  #168 opened 2 years ago by matjin
  0

• Redo Tests for Pulse (merge Examples into Test Suite)

  #167 opened 2 years ago by matjin
  0

• Infersharp Visual Studio 2022 plugin doesn't handle spaces in directory path correct.

  #151 opened 3 years ago by timg83
  1

• Investigate False Negatives on Resource Leaks (nested resources)

  #129 opened 3 years ago by matjin
  1

• Array dimensions exceeded supported range

  #130 opened 3 years ago by MortenAanaes
  5

• if there is a memory leak or null pointer found by infer#, a meaningful return type is expected.

  #141 opened 3 years ago by arash-fasihi-snkeos
  2

• Resource Leaks Descriptive Message For Resource Fields

  #125 opened 3 years ago by matjin
  3

• Investigate Finally Blocks Not Being Located

  #134 opened 3 years ago by matjin
  0

• Expected binaries not detected; please wait while they are downloaded and extracted.

  #122 opened 3 years ago by iisfaq
  2

• Model Compatibility with Pulse

  #84 opened 3 years ago by matjin
  0

• Resources Returned By Create Not Tracked By Leak Checker

  #120 opened 3 years ago by matjin
  0

• Hide DOTNET_RESOURCE_LEAK on empty IDisposable implementations

  #118 opened 3 years ago by Dimension4
  2

• Running via Visual Studio 2022 doesn't appear to work due to attempt to write to internal Microsoft file share.

  #112 opened 3 years ago by Tim-Utelogy
  1

• run_infersharp.sh parameter must be an absolute path, relative paths do not work

  #108 opened 3 years ago by peter-villadsen
  1

• Need a way to know what version of infer# is installed.

  #109 opened 3 years ago by peter-villadsen
  1

• Sarif in Azure DevOps

  #97 opened 3 years ago by buckleyGI
  3

• Resource leak does not display leaked resource type.

  #92 opened 3 years ago by Kuinox
  9

• Infer# not producing any analysis results

  #91 opened 3 years ago by harilachu
  7

• Doesn't recognise "throw helpers", such as `ArgumentNullException.ThrowIfNull`

  #90 opened 3 years ago by cocowalla
  1

• Azure pipelines instructions for v1.2

  #85 opened 3 years ago by matjin
  0