Thank you @milbrandt , I’ve opened #5217.
On a different thread for S3900, I’ve explained in detail our plans with our Symbolic Execution (data flow analysis) rules - please read that to have more context on our plans to improve the situation.
Having this said, I’ll look into how we can reduce the noise of the current implementation until we finish the migration. When re-writing the rule on top of the Roslyn CFG, we’ll consider this scenario for sure.
Enjoy the Christmas holidays.
Best regards,
Andrei