It already kind of has it, it just requires a bit more of love and fewer false positives.

https://docs.microsoft.com/en-us/cpp/code-quality/using-the-...