False positive: Missed 'readonly' opportunity for field used by Interlocked API

[sungam3r]

See https://github.com/sungam3r/SteroidsDI/security/code-scanning/90 and https://github.com/sungam3r/SteroidsDI/security/code-scanning/91

Adding readonly yields compiler error.

[MathiasVP]

Indeed, this looks like a false positive. Thank you for reporting it!

Our current focus is on improving our security analysis. Because your report does not relate to a security query, we will put this on our backlog and prioritize it if we get enough reports of the same underlying issue in other projects. If you think that your report is related to our security analysis, please clarify that in a comment. Either way, we'll let you know here as soon as it's fixed!

As you might know, all of our queries are open source. If you do have an idea for a code change, we encourage you to open a pull request. GitHub Code Scanning have facilities for suppressing individual alerts or disabling a query.