False positive for cs/dereferenced-value-is-always-null in CSharp

[wwwjwww]

Description of the false positive

Hi, I wonder if this is a false positive in cs/dereferenced-value-is-always-null. From my understanding, the program would never run L975.

Code samples or links to source code

[mbg]

Hi again @wwwjwww 👋

Thanks for reporting this one as well. Based on the code in the screenshot, this does look like a false positive to me. We will track this internally, but addressing false positives is not currently a product priority, so I can't say when this may get looked into -- especially since this is a correctness query, not a security one.

[wwwjwww]

Thanks!