Rule S3077 frequently generates a false positive

Hey, it’s been very quiet here for the last 2 years, but the problem still exists, so I want to resurrect the thread with a few suggestions.

As already mentioned in other treads as well immutable types are not a problem. Thread safe types should not be reported too.

How about having ThreadSafe and Immutable annotations which are taken into account during the code analysis for this rule. If I have private volatile SomeObject object;, where SomeObject is marked with any of the annotations above, then the rule should not detect any problems.
Since SomeObject might be a 3rd party class which we cannot annotate, we should also have some external annotation mechanism like this one in IntelliJ, which gives me the mechanism for controlling the above.

What do you think about this? Or do you maybe have another solution, yet?

Thanks,
Todor